Invited speakers:

Bahareh Afshari

I obtained my PhD in Mathematics from the University of Leeds, UK. Before joining Gothenburg University I have held research and teaching positions at the University of Edinburgh (School of Informatics), University of Oxford (Department of Computer Science and Keble College) and Vienna University of Technology (Institute of Discrete Mathematics and Geometry). I hold a Starting Grant from the Swedish Research Council. Since January 2019, I am a MacGillavry Fellow at the University of Amsterdam.

Nick Bezhanishvili

Nick Bezhanishvili obtained his PhD in 2006 from the ILLC (Institute for Logic, Language and Computation), University of Amsterdam, under the supervision of Professors Dick de Jongh and Yde Venema. He held postdoctoral positions at the University of Leicester (2006--2008), Imperial College London (2008--2012), and Utrecht University (2012--2013). Since 2014, Nick holds an Assistant Professorship at the ILLC. He has more than 70 publications in the top journals, refereed conference proceedings, and book chapters in his area of research, which is centered on applications of algebraic and topological methods in the study of non-classical logics (such as modal and intuitionistic logics). An important feature of this work is the theory of Stone-like dualities, which gives rise to topological and geometric semantics for intuitionistic and modal logics.

Melvin Fitting

I have developed tableau methods for many modal logics, which have been successfully implemented on computers. My work on Kripke-like theories of truth has also been applied to provide semantics for certain programming languages. Some of this work has also found application in non-monotonic reasoning. Recently I have been interested in first- and higher-order modal logics. Applications here range from an explication of Goedel's ontological argument, to semantics for databases of a rather complex sort. I received the Herbrand Award in 2012, for work in tableau-based automated theorem proving. I have a recent book, “Justification Logic: Reasoning with Reasons”, joint with Sergei Artemov, which appeared with Cambridge in 2019. I also received an honorary doctorate in October of 2019, from the University of Bucharest. My current research involves adding or removing various features from quantified modal logics, to see what the formal consequences are.

Nina Gierasimczuk

Nina Gierasimczuk, Ph.D., is an Associate Professor in Logic at the Department of Applied Mathematics and Computer Science, Technical University of Denmark, and a Visiting Fellow at the Institute for Logic, Language and Computation, University of Amsterdam. Her main research interests lie in the logical aspects of learning in both single- and multi-agent context, and involve learning theory, modal logic, and computability theory. Her current projects focus on symbolic learning in artificial intelligence in the context of action models, belief revision, multi-agent systems, and social networks. She is also interested in the coordination mechanisms involved in natural language evolution and in the role of logic and logical modeling in cognitive science.