Workshops
The following workshops will be run in the afternoons during ISLA 2010.
The emergence of modern logic (PDF)
18 January 2010
Priyedarshi Jetli (University of Delhi)
Relational structures in reasoning with incomplete information
(Workshop page)
19–22 January 2010Joanna Golińska-Pilarek (University of Warsaw)
Churn-Jung Liau (Academia Sinica, Taiwan)
Convener
Mohua Banerjee (Indian Institute of Technology, Kanpur)
Logic for information security (Workshop page)
19–22 January 2010A Baskar (Chennai Mathematical Institute)
Hans van Ditmarsch (University of Seville)
K Gopinath (Indian Institute of Science, Bangalore)
Valentin Goranko (Technical University of Denmark, Lyngby)
Simon Kramer (University of Tsukuba)
Sanjiva Prasad (Indian Institute of Technology, Delhi)
K R Raghavendra (Indian Institute of Science, Bangalore)
R Ramanujam (Institute of Mathematical Sciences, Chennai)
Conveners
Hans van Ditmarsch (University of Seville)
S P Suresh (Chennai Mathematical Institute)
Practical computer formalization of mathematics with the Mizar proof assistant (Workshop page)
25–28 January 2010Czeslaw Byliński (University of Białystok, Poland)
Artur Kornilowicz (University of Białystok, Poland)
Josef Urban (Radboud University, Nijmegen)
Convener
Adam Naumowicz (University of Białystok, Poland)
Alternative approaches to belief change: a consolidated perspective (Workshop page)
25–29 January 2010
[Schedule +]Monday, 25 January 2010 12:00–13:00 Richard Booth
The AGM theory of belief revision
14:15–15:15 Alexandru Baltag
Interactive belief revision: Part I
Tuesday, 26 January 2010 14:15–15:15 Sonja Smets
Interactive belief revision: Part II
Wednesday, 27 January 2010 14:15–15:15 Aditya Ghose
To be announced
Thursday, 28 January 2010 14:15–15:15 Gabriele Kern-Isberner
Probabilistic approaches to belief revision
Alexandru Baltag (University of Oxford Computing Laboratory)
Richard Booth (University of Luxemborg)
Aditya Ghose (University of Wollongong)
Gabriele Kern-Isberner (University of Dortmund)
Sonja Smets (University of Groningen)
Convener
Sujata Ghosh (University of Groningen)
Set theory (Workshop page, Abstracts)
25–29 January 2010Tristan Bice (Kobe University, Japan)
Andrew Brooke-Taylor (Bristol University, UK)
Andrés Caicedo (Boise State University, Idaho, USA)
Natasha Dobrinen (University of Denver, Colorado, USA)
Gregor Dolinar (University of Ljubljana, Slovenia)
Stefan Geschke (University of Bonn, Germany)
Daisuke Ikegami (University of Amsterdam, Netherlands)
Thomas Jech (Pennsylvania State University, USA/Academy of Sciences, Czech Republic)
Yurii Khomskii (University of Amsterdam, Netherlands)
Maciej Malicki (Polish Academy of Sciences, Poland)
Denis I. Saveliev (Moscow State University, Russia)
Shashi Mohan Srivastava (Indian Statistical Institute, Kolkata, India)
Conveners
Benedikt Löwe (Institute for Logic, Language, and Computation, Amsterdam)
Agatha Walczak-Typke (University of Helsinki, Finland)
Philip Welch (University of Bristol)