18-29 Jan 2010
Hyderabad, India
Indian School on Logic and Applications (ISLA 2010), Hyderabad (India), 18- 29 Jan 2010 ISLA 2010 Call for Participation http://ali.cmi.ac.in/isla2010/ ALI announces a two-week winter school on logic and applications at the University of Hyderabad, Gachibowli, during January 18-29, 2010. Graduate students with a background in logic and an interest in research ar e welcome to apply. Active researchers and teachers of the subject may apply as well. The program consists of the following invited courses: Hans van Ditmarsch (University of Seville) Dynamic Epistemic Logic and Belief Revision Antony Galton (University of Exeter) Spatial and Temporal Knowledge Representation Valentin Goranko (TU Denmark, Lyngby) Model theory of modal logic Neil Immerman (University of Massachussets, Amherst) Logic and Complexity Steven Lindell (Haverford College) Logic and Models of Computation Tobias Nipkow (Technische Universität München) A Practical Introduction to Theorem Proving with the Isabelle System The following workshops happen in the afternoons: Relational structures in reasoning with incomplete information 19-22 January 2010 Convener(s): Mohua Banerjee (IIT Kanpur) Logic for information security 19-23 January 2010 Convener(s): Hans van Ditmarsch (University of Seville) S P Suresh (Chennai Mathematical Institute) Practical computer formalization of mathematics with the Mizar proof assist ant 25-28 January 2010 Convener(s): Adam Naumowicz (University of Biaystok, Poland) Alternative approaches to belief change: a consolidated perspective 25-29 January 2010 Convener(s): Sujata Ghosh (University of Groningen) Set theory 25-29 January 2010 Convener(s): Benedikt Lwe (ILLC, Amsterdam) Agatha Walczak-Typke (visiting Institut Mittag-Leffler, Sweden) Philip Welch (University of Bristol) Online registration is open on October 16, 2009. The link to the registrati on form is available at http://ali.cmi.ac.in/isla2010/reg.php. The deadline fo r receiving applications is November 13, 2009. Notification of selected India n participants will appear on this webpage on November 17, 2009. Participants from outside India needing to make travel plans will be inform ed within a week of applying. Upon being selected, you have to ensure that you obtain the necessary leave from your organization to attend the school. There are no registration fees for the school for academic participants. Lu nch will be covered by the school. Shared accommodation at the University of Hyderabad may be provided on request. For Indian participants from outside Hyderabad, 2nd class sleeper train fare by the shortest route may be provid ed on request. For any clarifications, please contact icla AT imsc.res.in.