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
University of Melbourne
University College London
University of Salerno
University of Birmingham
Conference |
School |
||
including conference material, welcome party & Boat trip | 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 |
|
|
Monday 26 | Tuesday 27 | Wednesday 28 | Thursday 29 | Friday 30 | |
---|---|---|---|---|---|
8:00 - 9:15h | Registration (Room 111) | 9:15 - 9:30h | Opening of TACL2017 | Hájek KGS Award ceremony | |
9:30 - 10:30h | Mai Gehrke | Luca Spada | Steve Vickers | Alexandra Silva | Contributed talks |
10:30 - 11:00h | Coffee break |
||||
11:00 - 13:00h | Contributed talks | ||||
13:00 - 15:00h | Lunch break |
||||
15:00 - 16:00h | Bart Jacobs | Martín Escardó | Greg Restall | Boat trip | Alexandru Baltag |
16:00 - 16:30h | Coffee break |
Coffee break |
|||
16:30 - 18:30h | Contributed talks | Contributed talks | |||
18:30 - 19:30h | SYSMICS meeting | Banquet | 19:30 - ... | Welcome party |
University of Birmingham
Czech Technical University in Prague
Institute of Computer Science, CAS
Mathematical Institute, CAS