Conference Programme


5 January 2017
8:30 Registration
Invited Talk
9:30 - 10:30 Natasha Dobrinen
Ramsey Theory on Trees and Applications
10:30 - 11:00 Coffee
11:00 - 12:30 Contributed Talks
Ramanathan S. Thinniyam
Definability of Recursive Predicates in the Induced Subgraph Order
Arun Kumar and Mohua Banerjee
A Semantic Analysis of Stone and dual Stone Negations with Regularity
Zeinab Bakhtiari, Hans van Ditmarsch and Helle Hvid Hansen
Neighbourhood Contingency Bisimulation
12:30 Lunch
14:00 - 15:00 Contributed Talks
Herman Geuvers and Tonny Hurkens
Deriving natural deduction rules from truth tables
Minghui Ma and Ahti-Veikko Pietarinen
Peirce's Sequent Proofs of Distributivity
15:00 - 15:30 Coffee
Invited Talk
15:30 - 16:30 Nicholas Asher
Conversation and Games
16:30 - 17:00 Contributed Talks
Arka Banerjee, Samir Karmakar, Soumya Ghosh, Sayantani Banerjee
Grammar as Graph: A Lexicalist Treatment of Traditional Bangla Grammar
6 January 2017
Invited Talk
9:00 - 10:00 Richard Zach
Semantics and Proof Theory of the Epsilon Calculus
10:00 - 10:30 Coffee
10:30 - 12:30 Contributed Talks
Jan van Eijck, Malvin Gattinger and Yanjing Wang
Knowing Values and Public Inspection
Didier Galmiche, Pierre Kimmel and David Pym
A Substructural Epistemic Resource Logic
Yanjun Li and Yanjing Wang
Achieving while maintaining: A logic of knowing how with intermediate constraints
Hidenori Kurokawa and Hirohiko Kushida
Linear Logic with S5 modality
12:30 Lunch
14:00 - 15:00 Contributed Talks
Jeff Paris and Alena Vencovska
Ancient Indian Logic and Analogy
Manidipa Sanyal
Modality in the tradition of nyaya
15:00 - 15:30 Coffee
15:30 - 16:30 Contributed Talks
Ignacio Ojea Quintana
On Semantic Gamification
Anand Pratap Singh and S. P. Tiwari
On study of L-fuzzy transform
17:00 - 18:00 ALI Business Meeting
7 January 2017
Invited Talk
9:00 - 10:00 Luke Ong
Automata, Logic and Games for the Lambda Calculus
10:00 - 10:30 Coffee
10:30 - 12:30 Contributed Talks
Corey Fisher, Moshe Vardi and Seth Fogarty
Random Models for Evaluating Efficient Buchi Universality Checking
Hans Kleine Buning, Piotr Wojciechowski and K. Subramani
The Complexity of Finding Read-Once NAE-Resolution Refutations
Przemyslaw Andrzej Walega
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
Abhishek Kr Singh
Fully Mechanized Proofs of Dilworth's Theorem and Mirsky's Theorem
12:30 - 14:00 Lunch and Closing