On this page you will find information about invited and contributed talks as well as the schedule for the scientific and social program.

Invited talks

Bahareh Afshari. An infinitary treatment of full mu-calculus

Miguel Campercholi. Algebraic Functions

Silvio Ghilardi. Free algebras endomorphisms: Ruitenburg’s Theorem and Beyond

Sam van Gool. Pro-aperiodic monoids via Stone duality

Wesley Holliday. Inquisitive Intuitionistic Logic: An Application of Nuclear Semantics

Tomáš Kroupa. Positive Subreducts in Finitely Generated Varieties of MV-algebras

Valeria de Paiva. A Dialectica Model of Relevant Type Theory

Amanda Vidal. On the axiomatizability of modal many-valued logics


Public Lecture

On Thursday 24 January 2019 at 20:00, Frank van Harmelen will give a public lecture in De Balie entitled

AI? That’s logical! Attendance is free of charge. Conference participants are automatically registered for the public lecture. Registration for the public lecture is now closed. The slides of the talk are published here under the Creative Commons License CC BY 3.0: Allowed to copy, redistribute remix & transform. But must attribute.


Contributed talks

A booklet of abstracts of all accepted talks can be found here.

Guillermo Badia, Vicent Costa, Pilar Dellunde and Carles Noguera. Preservation theorems in graded model theory
Almudena Colacito. Universal Objects for Orders on Groups, and their Dual Spaces
Roberto Giuntini, Claudia Muresan and Francesco Paoli. Generators and Axiomatizations for Varietes of PBZ*-lattices
Willem Heijltjes, Dominic Hughes and Lutz Straßburger. On Intuitionistic Combinatorial Proofs
Marcelo Coniglio, Aldo Figallo-Orellano and Ana Claudia Golzio. Multialgebraic First-Order Structures for QmbC (cancelled)
Francesco Antonio Genco, Federico Aschieri and Agata Ciabattoni. Intermediate Logic Proofs as Concurrent Programs
Almudena Colacito, Nikolaos Galatos and George Metcalfe. Theorems of Alternatives: An Application to Densifiability
Davide Grossi and Simon Rey. Credulous Acceptability, Poison Games and Modal Logic
Francesc Esteva, Lluis Godo, Ricardo Oscar Rodriguez and Olim Tuyt. Simplified Kripke semantics for a generalized possibilistic Gödel logic
Antonio Di Nola, Serafina Lapenta and Ioana Leustean. Infinitary connectives and Borel functions in Lukasiewicz logic
Rafal Gruszczynski and Andrzej Pietruszczak. Representation theorems for Grzegorczyk contact algebras
Tomasz Jarmużek and Mateusz Klonowski. From Tableaux to Axiomatic Proofs. A Case of Relating Logic
Xavier Caicedo, Ricardo Oscar Rodriguez, George Metcalfe and Olim Tuyt. The One-Variable Fragment of Corsi Logic
Benedikt Löwe, Robert Passmann and Sourav Tarafder. Constructing illoyal algebra-valued models of set theory
Tommaso Moraschini and Jamie Wannenburg. Epimorphisms in varieties of Heyting algebras
Raheleh Jalali and Amir Akbar Tabatabai. Semi-analytic Rules and Craig Interpolation
Joel Lucero-Bryan, Guram Bezhanishvili, Nick Bezhanishvili and Jan van Mill. Trees and Topological Semantics of Modal Logic
Luca Carai and Guram Bezhanishvili. Characterization of metrizable Esakia spaces via some forbidden configurations
Alexandru Baltag, Nick Bezhanishvili and Saul Fernandez Gonzalez. Multi-Agent Topological Evidence Logics
Saul Fernandez Gonzalez, Nick Bezhanishvili and Alexandru Baltag. The McKinsey-Tarski Theorem for Topological Evidence Models
Dick de Jongh and Fatemeh Shirmohammadzadeh Maleki. Below Gödel-Dummett
Igor Sedlar. Substructural PDL
Tomáš Lávička and Adam Přenosil. Syntactical approach to Glivenko-like theorems
Didier Galmiche, Daniel Mery and Michel Marti. From Bunches to Labels and Back in BI Logic
Matteo Acclavio and Lutz Straßburger. Combinatorial Proofs for the Modal Logic K
Marcelo Coniglio, Francesc Esteva, Tommaso Flaminio and Lluis Godo. Prime numbers and implication free reducts of MV_n-chains
Fan Yang. Propositional Union Closed Team Logics: Expressive Power and Axiomatizations
Björn Lellmann. Countermodels for non-normal modal logics via nested sequents
Frank Feys, Helle Hvid Hansen and Larry Moss. (Co)Algebraic Techniques for Markov Decision Processes
Zeinab Bakhtiari, Helle Hvid Hansen and Alexander Kurz. A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
Valentin Shekhtman and Dmitry Shkatov. On one-variable fragments of modal predicate logics
Aldo Figallo Orellano and Juan Sebastian Slagter. An algebraic study of First Order intuitionistic fragment of 3-valued Lukasiewicz logic (cancelled)
Ana Sokolova and Harald Woracek. Proper Convex Functors



The full program for the conference may be found here.


Lunch suggestions 

A list of places to eat near the conference venue may be found here.


Social events

There will be a reception on Monday 21 January 2019 from 18:00 onwards at Kapitein Zeppos, (Directions).

The social dinner will take place on Wednesday 23 January 2019 from 19:30 onwards at Restaurant de Palmboom of the Radisson Blu Hotel Amsterdam, (Directions). Please register for the dinner here.