Algebraic structures in CS | Lattices with operators | Proofs and types |
Algebraic logic | Modal logics | Residuated structures |
Coalgebra | Non-classical logics | Semantics |
Categorical methods in logic | Ordered topological spaces | Stone-type dualities |
Domain theory | Ordered algebraic structures | Substructural logics |
Fuzzy and many-valued logics | Pointfree topology | Topological semantics of modal logic |
Lattice theory |
University of Amsterdam
University of Birmingham
University of Paris Diderot
Radboud University Nijmegen
Technical University of Darmstadt
University of Melbourne
University College London
University of Salerno
Conference |
School |
||
including conference material & welcome party | including welcome party | ||
Student registration: | 1.400 CZK | Registration #: | 1.600 CZK |
Early regular registration: | 3.000 CZK | Registration + accommodation #: | 4.000 CZK |
Late regular registration: | 4.000 CZK | ||
Banquet: | 1.000 CZK | ||
Conference datesArrival: 25/06/2017
Talks: 26/06 - 30/06 |
|
|
Czech Technical University in Prague
Beck’s Monadicity Theorem: A categorical approach to universal algebra
Mathematical Institute, CAS