First Workshop on
Knowledge and Logic Oriented Software Engineering

Venue:	Tata Institute of Fundamental Research
	Homi Bhabha Road, Colaba, Mumbai 400 005
Dates:	19-21 January 2005

Goal and Motivations. As our society is becoming more dependant of the use of software system, consolidation and innovation of methodologies and techniques for managing and controlling the software development process is bound to have an increasing impact on our lives.

The workshop addresses the use of logic and knowledge based reasoning in various aspects of Software Engineering. The workshop will focus on rigorous techniques and tools covering different aspects of the software development process in emerging applicative areas.

The workshop is held under the aegis of ITPAR (Computer Science Project) collaboration. The workshop provides an opportunity for the researchers in the area to discuss on-going work with focus on building collaborations.

The workshop also features lectures by leading researchers in the area on emerging themes.

Topics and Preliminary Program. See Topics for a list of topics and Preliminary Program for the preliminary program of the workshop.

Participation and Participants. Participation to the workshop is by invitation (List of Participants). Interested participants may get in touch with the Organizing Committee.