Proof Theory and Computation
- Lutz Strassburger (INRIA, Paris), July, 2, 10:30--11:10, Amphitheatre North
- What is the Problem with Proof Nets for Classical Logic?
- Samuel Mimram (CEA LIST, Gif-sur-Yvette), July, 2, 11:15--11:55, Amphitheatre North
- Focusing in Asynchronous Games
- Paulo Oliva (Queen Mary, London), July, 4, 10:30--11:10, Amphitheatre North
- Computational Interpretations of Analysis via Products of Selection Functions
- Thorsten Altenkirch (University of Notthingham), July, 4, 11:15--11:55, Amphitheatre North
Reasoning as Computation from Leibniz to Boole
- Michèle Friend (The George Washington University), July, 2, 10:30--11:10, Aula Magna
- Boole: From Calculating Numbers to Calculating Thoughts
- Olga Pombo (Universidade de Lisboa), July, 2, 11:15--11:55, Aula Magna
- Three roots of Leibniz Contribution for the Computational Conception of Reason
- Nimrod Bar-Am (Sapir Academic College), July, 4, 10:30--11:10, Aula Magna
- Extensionalism: the Breakthrough in Computational Reasoning
- Sara Uckelman (University of Amsterdam), July, 4, 11:15--11:55, Aula Magna
- Computing with Concepts, Computing with Numbers: Llull, Leibniz, & Boole
Web Algorithms and Computation
- Hannah Bast (University of Freiburg), July, 2, 10:30--11:10, Amphitheatre South
- The CompleteSearch Engine-Basics and Recent Developments
- Debora Donato (Yahoo! Research Barcelona), July, 2, 11:15--11:55, Amphitheatre South
- Graph Structures and Algorithms for Query-Log Analysis
- Alex Hall (Google Switzerland GmbH), July, 4, 10:30--11:10, Amphitheatre South
- Jeannette Janssen (Dalhousie University), July, 4, 11:15--11:55, Amphitheatre South
- Spatial Models for Virtual Networks
