Slides of presentations
Alex Borgida - Description Logics: formal foundations and applications.
Martín Escardó - Algorithmic topology of program types.
Sebastian Link and Sven Hartmann - Numerical constraints for XML.
Andre Luiz Galdino, Cesar Munoz and Mauricio Ayala-Rincon - Formal verification of an optimal air traffic conflict resolution and recovery algorithm.
Raffaella Bernardi and Michael Moortgat - Continuation semantics for symmetric categorial grammar.
Marcos Villagra and Benjamin Baran - Ant colony optimization With adaptive fitness function for satisfiability testing.
Ariya Ishihara - Hydra games and tree ordinals.
Paulo Oliva - Computational interpretations of classical linear logic.
Michael Moortgat - Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus.
Yde Venema - A modal distributive law.
Thomas Bolander and Rene Rydhof Hansen - Hybrid logical analyses of the ambient calculus.
Louis Kaufman, UIC - Spin networks and anyonic topological quantum computing (Tutorial/Invited talk).
Louis Kaufman, UIC - BioLogic (Invited talk).