Combining relational and algebraic semantics Puncochár Vít, Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, CZECH REPUBLIC
The modal logic of symmetric forcing Alexander Carstensen Block, Department of Mathematics, University of Hamburg, Hamburg, GERMANY
The proof-theoretic approach to evolutionary biology - can we work out a logic of evolution? Andreea Esanu, Theoretical Philosophy and Logic, University of Bucharest, Bucharest, ROMANIA
Quantified intuitionistic and modal logic over metrizable spaces Philip Kremer, Philosophy, University of Toronto Scarborough, Toronto, CANADA