Complete Schedules

The schedule may be found by clicking here.

Invited Speakers

Adriana Compagnoni (Stevens Institute, USA)
Modeling Language Design for Complex Systems Simulation [abstract]

Nina Gierasimczuk (University of Amsterdam)
Learning in the Limit, General Topology and Modal Logic

John Harrison (Intel, USA)
Formalization of Mathematics for Fun and Profit [abstract]

Peter Jipsen (Chapman U, USA)
From Residuated Lattices via GBI-algebras to BAOs [abstract]

André Joyal (U du Québec Montreal, Canada)
Categories of Games [abstract]

Mehrnoosh Sadrzadeh (Queen Mary, UK)
Multi-Linear Algebraic Semantics for Natural Language [abstract]

Chung-chieh Shan (Indiana U, USA)

Alexandra Silva (Radboud U Nijmegen, The Netherlands)
Towards a Nominal Chomsky Hierarchy. [abstract]

Tutorials

Nina Gierasimczuk (University of Amsterdam) Formal Learning Theory; see this site.

John Harrison (Intel, USA) The HOL Light Theorem Prover [abstract]

André Joyal (U du Québec Montreal, Canada) A categorification of Conway’s theory of games [abstract]

Alexandra Silva (Radboud U Nijmegen, The Netherlands) A tutorial on Coalgebra and Co-Induction [abstract]

Contributed Papers

James Belk and Robert W. McGrail, The Word Problem for Finitely Presented Quandles is Undecidable [abstract]

Prasit Bhattacharya, The p-adic Integers as Final Coalgebra [abstract]

Liron Cohen and Robert Constable Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language [abstract]

Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, An Epistemic Separation Logic [abstract]

Joerg Endrullis and Lawrence S. Moss, Syllogistic Logic with "Most" [abstract]

Zoltan Esik, Equational Properties of Stratified Least Fixed Points [abstract]

Alessandro Facchini, Filip Murlak and Michał Skrzypczak, On the Weak Index Problem for Game Automata [abstract]

Neil Ghani, Fredrik Nordvall Forsberg and Federico Orsanigo, Parametric Polymorphism - Universally [abstract]

Philippe de Groote, Proof-theoretic Aspects of the Lambek-Grishin Calculus [abstract]

Ronald de Haan and Jakub Szymanik, A Dichotomy Result for Ramsey Quantifiers [abstract]

Bernhard Heinemann, On Topologically Relevant Fragments of the Logic of Linear Flows of Time [abstract]

Roberto Maieli and Vito Michele Abrusci, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing [abstract]

Andreia Mordido and Carlos Caleiro, An Equation-Based Classical Logic [abstract]

Katsuhiko Sano and Jonni Virtema, Characterizing Frame Definability in Team Semantics via The Universal Modality [abstract]