18-29 Jan 2010
Hyderabad, India
ISLA 2010 Call for Participation -------------------------------- 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 are 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 Universitt Mnchen) A Practical Introduction to Theorem Proving with the Isabelle System The following workshops happen in the afternoons: Relational structures in reasoning with incomplete information 1922 January 2010 Convener(s): Mohua Banerjee (IIT Kanpur) Logic for information security 1923 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 assistant 2528 January 2010 Convener(s): Adam Naumowicz (University of Biaystok, Poland) Alternative approaches to belief change: a consolidated perspective 2529 January 2010 Convener(s): Sujata Ghosh (University of Groningen) Set theory 2529 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 registration form is available at http://ali.cmi.ac.in/isla2010/reg.php. The deadline for receiving applications is November 13, 2009. Notification of selected Indian participants will appear on this webpage on November 17, 2009. Participants from outside India needing to make travel plans will be informed 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. Lunch 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 provided on request. For any clarifications, please contact icla AT imsc.res.in. School website: http://ali.cmi.ac.in/isla2010 Suresh (on behalf of ISLA 2010 organisers)