ICLA 2011 Programme

9 January 2011
8:00	Registration
8:50	Opening Remarks
Session 1: Invited Talk CHAIR: Mohua Banerjee
9:00	Peter Gärdenfors Semantics Based on Conceptual Spaces
10:00	Coffee break
Session 2: Contributed Talks CHAIR: Jouko Väänänen
10:30	Pietro Galliani Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings
11:00	Yanjing Wang Reasoning about protocol change and knowledge
11:30	Break
11:45	Ernst-Erich Doberkat A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
12:15	Jeff Paris and Alena Vencovska A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic
12:45	Lunch
Session 3: Invited Talk CHAIR: Anil Seth
14:00	Wolfgang Thomas Infinite Games and Uniformization
15:00	Coffee break
Session 4: Contributed Talks CHAIR: S P Suresh
15:30	Patrick Doherty, Tomasz Michalak, Jacek Sroka, and Andrzej Szałas Contextual Coalitional Games
16:00	Jesse Alama and Sara Uckelman A curious dialogical logic and its composition problem
16:30	Yanjing Wang and Floor Sietsma A note on counting models modulo bisimulation
10 January 2011
Session 5: Contributed Talks CHAIR: Andrzej Szalas
10:00	Priyedarshi Jetli The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift
10:30	Sara L. Uckelman Indian Logic and Medieval Western Logic: The Interactive and Epistemological Turn
11:00	Coffee break
Session 6: Contributed Talks CHAIR: Hans van Ditmarsch
11:30	Nina Gierasimczuk and Jakub Szymanik Muddy Children, Generalized Quantifiers and Internal Complexity
12:00	Walter Dean and Rohit Parikh The Logic of Campaigning
12:30	Lunch
14:00	Jeremy Seligman, Fenrong Liu, and Patrick Girard Logic in the Community
14:30	Benedikt Löwe, Eric Pacuit, and Andreas Witzel Planning based on dynamic epistemic logic
15:00	Coffee break
Session 7: Contributed Talks CHAIR: Dietmar Berwanger
15:30	Denis I. Saveliev Models consisting of ultrafilters
16:00	Katsuhiko Sano First-Order Inquisitive Pair Logic
16:30	Coffee break
17:00	ALI business meeting
18:30	Conference dinner
11 January 2011
Session 8: Contributed Talks CHAIR: Benedikt Löwe
9:30	Mihir K. Chakraborty On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
10:00	Md. Aquil Khan and Minghui Ma A Modal Logic for Multi-agent Tolerance Approximation Systems
10:30	Coffee break
11:00	Sujata Ghosh and Fernando Velazquez-Quesada A qualitative approach to uncertainty
11:30	Hans van Ditmarsch and Tim French Becoming aware of propositional variables
12:00	Session 9: Open session CHAIR: R Ramanujam
12:45	Closing remarks
13:00	Lunch