Logo EU

TACL 2017 Summer School

Submitted by rslesinger on 27. April 2017 - 23:29

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.

Dates

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

Lecturers

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