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.
This page is going to gather all the important information concerning the summer school. Check out the venue location!
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
Title: Category Theory
University of Bern
Title: Algebraic Methods in Proof Theory
University of Amsterdam
Title: Duality Theory