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).

back