Logo EU

TACL 2017 Summer School

The summer school associated to the TACL2017 conference will be held at the Faculty of Science of Palacký University Olomouc from 20 to 24 June 2017.


Arrival: 19/06/2017
School: 20/06 - 24/06, lunchtime
Departure: 24/06/2017


Steve Vickers (University of Birmingham), Topology: Coming together to make Grothendieck’s generalized topology

Martin Goldstern (University of Technology in Wien), Algebra: Algebra Clones on finite sets

Jiří Velebil (Czech Technical University in Prague), Categories: Beck’s Monadicity Theorem: A categorical approach to universal algebra

Tommaso Moraschini (Institute of Computer Science, CAS), Logic: An introduction to Abstract Algebraic Logic

Special Evening Lecture: Pavel Pudlák (Mathematical Institute, CAS)

Organized by Faculty of Science, Palacký University Olomouc and ICS - CAS
Organizing Committee: Radomír Halaš (chair), Martin Broušek, Jan Kühr