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