Download the academic program as .pdf here.

Tuesday - July 7

8:30	Registration
10:00	Opening
10:15	Dana S. Scott: Mixing Modality and Probability
11:15	Bas Spitters: A topos for algebraic quantum theory
11:45	James Raftery: Order algebraizable logics
12:15	Lunch / Registration
14:15	Alex Citkin	Adrian Pigors	Jules Desharnais, Peter Jipsen and Georg Struth
14:40	Leo Esakia and Benedikt Löwe	Sándor Jenei	Janusz M. Czelakowski
15:05	Nick Bezhanishvili and Guram Bezhanishvili	Rostislav Horcik	David Kruml
15:30	Coffee Break
16:00	Hajnal Andreka and Szabolcs Mikulas: The equational theory of representable ordered monoids
16:30	Break
18:00	Reception

Tuesday (7) -- Wednesday (8) -- Thursday (9) -- Friday (10) -- Saturday (11)

Wednesday - July 8

9:00	Kazushige Terui: Algebraic proof theory for substructural logics II
10:00	Chris Heunen and Bart Jacobs: Quantum logic in dagger categories with kernels
10:30	Coffee Break
11:00	Enrico Marchioni		Raul Leal Rodriguez
11:25	Simone Bova	Jan Kühr	Corina Cirstea, Clemens Kupke and Dirk Pattinson
11:50	Angel J. Gil	Anatolij Dvurecenskij	Tomasz Brengos and Vera Trnkova
12:15	Roman Fric	Sergio Arturo Celani and Leonardo Manuel Cabrer	Marta Bilkova, Alessandra Palmigiano and Yde Venema
12:40	Lunch
14:15	Anna Romanowska, Jonathan D. H. Smith and Ewa Orlowska	Dmitrij Skvortsov	Sergejs Solovjovs
14:40	John Harding, Carol Walker and Elbert Walker	Katarzyna Slomczynska	Alessandra Palmigiano
15:05	Afrodita Iorgulescu	Wojciech Dzik	Robert Goldblatt
15:30	Coffee Break
16:00	Franco Montagna and Carles Noguera: Arithmetical hierarchy of fuzzy logics over rational and finite-chain semantics
16:30	Lutz Schroeder: Coalgebraic Logics

Tuesday (7) -- Wednesday (8) -- Thursday (9) -- Friday (10) -- Saturday (11)

Thursday - July 9

9:00	Ales Pultr: Some logical aspects of Priestley duality.
10:00	Marcel Erne: Quasicoherent domains and hyperspectral spaces: a missing link in Stone-Priestley duality
10:30	Coffee Break
11:00	Felix Bou		Leonardo Manuel Cabrer
11:25	Jiri Rachunek	Alexei Muravitsky	Pietro Codara and Vincenzo Marra
11:50	Radomir Halas and Michal Botur	Yutaka Miyazaki	Luigi Santocanale
12:15	Lavinia Ciungu and Anatolij Dvurecenskij	Zofia Kostrzycka	Daniela Petrisan and M. Andrew Moshier
12:40	Lunch
14:15	Ramaz Liparteliani	Petrucio Viana and Renata de Freitas	Guram Bezhanishvili and M. Andrew Moshier
14:40	Dana Salounova	Tadeusz Litak, Jan Hidders and Szabolcs Mikulas	Sam van Gool
15:05	Revaz Grigolia, Antonio Di Nola and Luca Spada	Robin Hirsch and Marcel Jackson	Jacob Vosmaer
15:30	Coffee Break
16:00	Ioana Leustean and Vincenzo Marra: The Kakutani duality for MV-algebras
16:30	Costas Tsinakis: Interpolation and amalgamation in ordered algebras.
17:30	Conference Dinner

Tuesday (7) -- Wednesday (8) -- Thursday (9) -- Friday (10) -- Saturday (11)

Friday - July 10

9:00	Achim Jung: TBA
10:00	Peter Jipsen and M. Andrew Moshier: Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions
10:30	Coffee Break
11:00	Peter Jipsen and M. Andrew Moshier	Levan Uridia	Janis Cirulis
11:25	Rafal Gruszczynski and Andrzej Pietruszczak	Ilya Shapirovsky	Ivan Chajda and Radomir Halas
11:50	Mustafa Demirci	Willem Conradie and Alessandra Palmigiano	Luca Spada
12:15	Antonio Pulgarin and Miroslav Husek	Kensuke Kojima	Nikolaos Galatos and Peter Jipsen
12:40	Lunch
14:15	Roman Kontchakov, Ian Pratt-Hartmann and Michael Zakharyaschev		Daniela Petrisan and Alexander Kurz
14:40	Samuel G. da Silva		Loes Olde Loohuis and Yde Venema
15:05	David Fernandez		Petr Cintula and Carles Noguera
15:30	Coffee Break
16:00	Wojciech Buszkowski and Lin Zhe: Letter Promotion Problem in Pregroups
16:30	Martin Hyland: Multicategories in and around algebra and logic

Tuesday (7) -- Wednesday (8) -- Thursday (9) -- Friday (10) -- Saturday (11)

Saturday - July 11

9:00	Paul-Andre Mellies: Logical proofs as topological knots
10:00	Benno van den Berg: Homotopy-theoretic models of type theory
10:30	Coffee Break
11:00	Ieke Moerdijk: Topological constructions and derived rules
12:00	Break
12:30	Excursion

Tuesday (7) -- Wednesday (8) -- Thursday (9) -- Friday (10) -- Saturday (11)