Workshops
The following workshops will be run in the afternoons during ISLA 2012.
Automated reasoning using logic
Kumkum Garg, MIT, Manipal University
Logical Constants and Semantic Invariance
Colin Caret (University of St. Andrews)
Roy Cook (University of Minnesota)
Gillian Russell (Washington University, St. Louis)
Isidora Stojanovic (Institut Jean-Nicod, Paris)
Convener
Isidora Stojanovic (Institut Jean-Nicod, Paris)
Logics for Interactive Computation
Giorgi Japaridze (Villanova University)
Simon Kramer (University of Luxemborg)
Rohit Parikh (CUNY Graduate Center, New York)
Giuseppe Primiero (Ghent University)
R Ramanujam (IMSc, Chennai)
Convener
Simon Kramer (University of Luxemborg)
Qualitative Spatial and Temporal Reasoning
Mehul Bhatt (Universität Bremen)
Stefano Borgo (University of Bolzano)
Frank Dylla (Universität Bremen)
Shyamanta Hazarika (Tezpur University)
Oliver Kutz (Universität Bremen)
Conveners
Shyamanta Hazarika (Tezpur University)
Mehul Bhatt (Universität Bremen)
Indian Systems of Logic
Amita Chatterjee (Jadavpur University)
Mihir Chakraborty (Calcutta University)
Tushar Sarkar (Jadavpur University)
Prabal Sen (Calcutta University)
Convener
Mihir Chakraborty (Calcutta University)