ICTAC 2022

Summer School of the 19th International Colloquium on Theoretical Aspects of Computing

September 26-30, 2022, Tbilisi, Georgia

Overview

Part of the Computational Logic Autumn Summit(CLAS 2022)

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.


ICTAC School

The ICTAC summer school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics.


Lecturers


Program

TIME Mon Tue Wed Thu Fri
26-Sep 27-Sep 28-Sep 29-Sep 30-Sep
08:00-09:00 Registration
09:00-10:30 Nominal techniques
(Maribel Fernandez)
Parity Games
(Manfred Kufleitner)
Gödel logics - the dominance of order
(Matthias Baaz)
Gödel logics - the dominance of order
(Matthias Baaz)
10:30-11:00 Coffee break Coffee break Excursion & Dinner Coffee break Coffee break
11:00-12:30 The semantically reflected digital twin
(Einar Broch Johnsen)
The semantically reflected digital twin
(Einar Broch Johnsen)
Logical framework with union and intersection types
(Luigi Liquori)
Logical framework with union and intersection types
(Luigi Liquori)
12:30-14:00 Lunch Lunch Lunch Lunch
14:00-15:30 Learning meets verification
(Martin Leucker)
Learning meets verification
(Martin Leucker)
To prove with a proof assistant or not to prove
(Dmitriy Traytel)
Parity Games
(Manfred Kufleitner)
15:30-16:00 Coffee break Coffee break Coffee break Coffee break
16:00-17:30 A logical basis for the verification of imperative programs
(Tudor Jebelean)
To prove with a proof assistant or not to prove
(Dmitriy Traytel)

Registration

For the registration visit the Easychair system

The registration fee is 200/250 Euro for students (early till July 31/late till August 31) and 350/400 for non-students (early till July 31/late till August 31), which will include access to school materials, coffee breaks, and social events (excursion and banquet). The registration fee for an accompanying person is 150 Euro and includes only social events. Participants affiliated with Ukrainian and Georgian universities will have the registration fee waived. Further support will be announced if funds get available.


Organizers