The summer school of TACL is primarily (but not exclusively) directed to master and doctoral students, and postdoctoral researchers. Four tutorials covering a topic in topology, algebra and categories in logic will be offered by leading researchers in these areas. The school is also an excellent opportunity for young researchers to meet and socialize in a vibrant scientific environment.
We are happy to announce the organization will offer accomodation during the school week (entering the 24/06/ and leaving the 29/06) for the first 50 interested attendees that register to the school. If you want to be announced of the opening of the registration period, please subscibe to the TACL mailing list in https://math.univ-cotedazur.fr/tacl/ .
University College London
The mathematical theory of contextuality: topological, algebraic, categorical and logical aspects
Slides: L1 , L2 , L3 , L4
University of Barcelona
Non-Classical Temporal Logic in Topological Dynamics
Slides: L1 , L2 , L3
University of Paris
A category-theoretic approach to automata minimization and learning
Slides: L1 , L2 , L3
Vienna University of Technology
The power of polymorphisms: the triangle of universal algebra, model theory, and theoretical computer science
Slides
|
|
Tuesday | Wednesday | Thursday | Friday |
8:15-8:30h | REGISTRATION | ||||
8:30-8:50h | REGISTRATION | ||||
8:50-9:00h | Opening | ||||
|
9:00-11:00h | S. Abramsky | S. Abramsky | D. Fernandez-Duque | S. Abramsky |
|
11:00-11:30h | Coffee Break | |||
|
11:30-13:30h | D. Petrisan | D. Fernandez-Duque | D. Petrisan | D. Petrisan |
|
13:30-15:30h | Lunch Break | |||
|
15:30-17:30h | D. Fernandez-Duque | M. Pinsker | M. Pinsker | M. Pinsker |
|
17:00-20:00h |
|
|||
20:00-...h |
|
DINNER |
Registration for the conference and the school is open. Early registration will be open until the 8th of June.
* The reduced fee for the conference is aimed at people who want to attend the conference and have limited funding. To apply for it, please send an email to 2024TACL@gmail.com before the early registration closes with the subject "reduced fee name_surname", briefly explaining your situation, and whether you are a speaker at the conference. The OC will make a decision as soon as possible, and if awarded, you will be provided with a discount "registration code" that you will be able to include in the registration form.
From the fees above, you can see that attendees to both the school and the conference get the reduced conference fee by default, so it is not necessary to apply for it in that case.
** Accommodation during the school (entering the 24/06, leaving the 29/06) will be offered to the first 50 people that register choosing that option. There will be limited single and shared rooms in the Residencia d'Investigadors and in the Hostal centric. If you have issues sharing a room, or want to share with a particular person or group of people (rooms from 2 to 4), let us know as soon as you register so we can try to accommodate your requests.
Faculty of Mathematics and Computer Science of the University of Barcelona
Gran Via de les Corts Catalanes, 585. Barcelona, Spain.