TACL 2019 Summer School

Île de Porquerolles,  10 - 15 June 2019

The summer school is a satellite event of the TACL 2019 conference. Both events focus on logic and the tools provided by topology, algebra, and category theory. Hence the name TACL, for Topology, Algebra, and Categories in Logic. TACL conferences and schools provide a healthy environment for interactions between computer scientists and mathematicians working in logic. The TACL conference has been held every two years since 2003 and since 2013 a summer school, such as the present one, has been associated to the conference.

The week is organized around four advanced lectures on central themes of TACL. Each lecture consists of five sessions of one hour and two exercise sessions of two hours each. Besides, one or two sessions of short presentations (15 minutes + questions) and a poster session will be organized.


The summer school will take place in the week before the conference. The arrival on the island will be on Monday 10 June 2019, in the afternoon/evening. Then, the school’s programme will start on Tuesday 11 June 2019 in the morning and will end on Saturday 15 June 2019 in the afternoon. A bus transfer from and to Nice (airport and city) will be arranged by the organizers. Please be warned that most people will need to be accommodated in a room shared with 1-3 other summer school participants.

This page is going to gather all the important information concerning the summer school. Check out the venue location!

Important dates

Pre-registration deadline:
Reduced fee request by:
31 March 2019
31 March 2019
Notification: 10 April 2019
Final registration and payment: 30 April 2019

For more information about pre-registration and registration, go to registration page.


Maria Manuel Clementino
Coimbra University

Title: Category Theory

André Joyal
University of Quebec - Montreal

Title: Topos Theory

George Metcalfe
University of Bern

Title: Bridges between Algebra and Logic

Yde Venema
University of Amsterdam

Title: Duality Theory