TUTORIAL AND WORKSHOP

Students from all disciplines of computer science and logic are welcome to participate. We encourage participants to get in contact with us before the school, should there be questions, comments, or suggestions for the inclusion of certain topics of interest.
Please note that *registration* and *breakfast+lunch* are free, and participation is subject to the general requirements for ISLA 2012. Please consult the school website for further details.
Indian School on Logic and it Applications
ISLA 2011, Manipal, India
Jan 9 - 20 2012
The Association for Logic in India (ALI) regularly organizes ISLA, a winter school on logic and applications; ISLA 2012 is based at Manipal University during January 9-20, 2012. Graduate students with a background in logic and an interest in research are welcome to apply. Active researchers and teachers of the subject may apply as well. Further details about the school may be found at the school website: http://ali.cmi.ac.in/isla2012/
Workshop and Tutorial Panel
- Mehul Bhatt (University of Bremen, Germany)
- Stefano Borgo (University of Bolzano, Italy)
- Frank Dylla (University of Bremen, Germany)
- Shyamanta Hazarika (Tezpur University, India)
- Oliver Kutz (University of Bremen, Germany)
Topics / Talks (in order of presentation)
- Commonsense Spatial Reasoning: Theory and Applications. by Mehul Bhatt
- Qualitative Spatial Change in Classical Mereotopology. by Shyamanta Hazarika
- Integrated Inductive-Abductive Reasoning about Space. by Frank Dylla
- Geometries and Mereogeometries. by Stefano Borgo
- Connecting Abstract Description Systems. by Oliver Kutz
Organising co-chairs:
Shyamanta Hazarika (Tezpur University, India)
Mehul Bhatt (University of Bremen, Germany)
Shyamanta Hazarika (Tezpur University, India)
Mehul Bhatt (University of Bremen, Germany)
Coming to Manipal
Instructions on how to reach Manipal may be found: Getting to Manipal
Tourist information on places to visit in the region: Tourism
Instructions on how to reach Manipal may be found: Getting to Manipal
Tourist information on places to visit in the region: Tourism