Geometric and Topological Methods in Computer Science (GETCO) 2024
13th International Workshop on Geometric and Topological Methods in Computer Science (GETCO 2024)
GETCO 2024 will take place in Tallinn on Saturday 6 and Sunday 7 July 2024, as a workshop associated with ICALP, LICS and FSCD.
The Geometric and Topological Methods in Computer Science (GETCO) conference series focuses on applications of algebraic topology in computer science with special emphasis on concurrency, distributed computing, networking and other situations related to systems of sequential computers that communicate with each other. It is aimed at mathematicians and computer scientists working in or interested in these subjects, including researchers and graduate students. The aim of the conference is to exchange ideas and to initiate or expand research collaborations.
Special emphasis will be on:
- Directed topology, concurrency, and distributed computing
- Geometric aspects of logics, higher categories, and rewriting
Invited Talks and Tutorials
- Uli Fahrenberg: Directed algebraic topology and concurrency
- Amar Hadzihasanovic: Combinatorics of higher-categorical diagrams
- Jérémy Ledent: The simplicial approach to distributed computing
- Georg Struth: Single-set cubical categories and their formalisation with a proof assistant
Accepted Contributions
- Safa Zouari: Bisimulations and Logics for Higher-Dimensional Automata
- Clémence Chanavat: Diagrammatic sets as a model of homotopy types
- Catarina Faustino: On the topology of concurrent systems
- Nick Hu: Coherent invertibility in associative n-categories
- Ahmed Bouabdallah: The fractal nature of the properties of reactive and concurrent programs
Important Dates
- Deadline for contribunions:
30 May 2024 - Author notification:
3 June 2024 - Registration deadline: 19 June 2024
- Conference dates: 6-7 July 2024
Schedule (preliminary)
Saturday 6 July
- 9:00
- Opening
- 9:15
- Tutorial: Uli Fahrenberg: Directed algebraic topology and concurrency I
- 10:00
- Coffee tea etc.
- 10:30
- Tutorial: Uli Fahrenberg: Directed algebraic topology and concurrency II
- 11:15
- Break
- 11:30
- Catarina Faustino: On the topology of concurrent systems
- 12:30
- Lunch
- 14:00
- Tutorial: Jérémy Ledent: The simplicial approach to distributed computing
- 15:30
- Coffee tea etc.
- 16:00
- Safa Zouari: Bisimulations and Logics for Higher-Dimensional Automata
Sunday 7 July
- 9:00
- Opening
- 9:15
- Tutorial: Amar Hadzihasanovic: Combinatorics of higher-categorical diagrams I
- 10:00
- Coffee tea etc.
- 10:30
- Tutorial: Amar Hadzihasanovic: Combinatorics of higher-categorical diagrams II
- 11:15
- Break
- 11:30
- Nick Hu: Coherent invertibility in associative n-categories
- 12:30
- Lunch
- 14:00
- Invited talk: Georg Struth: Single-set cubical categories and their formalisation with a proof assistant
- 15:30
- Coffee tea etc.
- 16:00
- Clémence Chanavat: Diagrammatic sets as a model of homotopy types
- 17:00
- Ahmed Bouabdallah: The fractal nature of the properties of reactive and concurrent programs
Registration
The registration is open here:
Full Registration: 200 Euro
Student Registration: 160 Euro
You can register to GETCO by selecting a "workshop_n day(s) regular/student" ticket or an "all inclusive" ticket on the registration page. The latter allows you to participate in the workshops and the main conferences ICALP, LICS, and FSCD with whom we are colocated.
During registration, please ensure to tick the boxes ICALP/LiCS workshop "The Geometric and Topological Methods in Computer Science" (GETCO), July 6 (or 7 or both) to help us better estimate the number of participants.
Committees
Organizing Committee
| Name | Affiliation |
|---|---|
| Amazigh Amrane | EPITA, Paris, France |
| Uli Fahrenberg | EPITA, Rennes, France |
| Lisbeth Fajstrup | Aalborg University, Denmark |
| Eric Goubault | École polytechnique, Paris, France |
| Amar Hadzihasanovic | TalTech, Tallinn, Estonia |
| Jérémy Ledent | IRIF, Université Paris Cité, France |
| Sergio Rajsbaum | UNAM, Mexico; IRIF, Paris, France |
Steering Committee
| Name | Affiliation |
|---|---|
| Uli Fahrenberg | EPITA, Rennes, France |
| Lisbeth Fajstrup | Aalborg University, Denmark |
| Dmitry Feichtner-Kozlov | University of Bremen, Germany |
| Eric Goubault | École polytechnique, Paris, France |
| Samuel Mimram | École polytechnique, Paris, France |
| Sergio Rajsbaum | UNAM, IRIF, Mexico, Paris, France |
| Martin Raussen | Aalborg University, Denmark |
History of GETCO
The first GETCO conference was held in Aalborg in 1999. Applications of algebraic topology in concurrency was a new subject, fostered by seminal papers such as those by Vaughn Pratt in ACM POPL 1991 and Eric Goubault at CONCUR 1992 and CONCUR 1993, on the formal methods side, and the ACM STOC 1993 papers by Herlihy-Shavit and Saks-Zaharoglou, on the distributed computing side; brought to attention in the Workshop on New Connections between Mathematics and Computer Science, organized by Jeremy Gunawardena in Cambridge Nov. 1995.
The following seven GETCO workshops were held as satellites to CONCUR or DISC, the main conferences on concurrency and distributed computing. The 2nd was held at Penn State University, in 2000, then in Aalborg in 2001, Toulouse 2002, Marseille 2003, Amsterdam 2004, San Francisco 2005, and Bonn 2006.
The 2010 workshop had a broader scope and included further applications of algebraic topology including robotics and shape analysis. GETCO was back in Aalborg for its 9th edition in 2015, expanding to topics such as data analysis. By then, an ESF network ACAT, Applied and Computational Algebraic Topology, had been established, and two books had been published, Distributed Computing Through Combinatorial Topology and Directed Algebraic Topology and Concurrency; some of many indications that applications of algebraic topology to concurrent systems is now a mature subject, widespread and with impact in many fields.
The 10th GETCO, which took place in Oaxaca, Mexico in 2018, expanded further to neuroscience and learning applications. The 11th edition was originally planned for 2020 and was held in 2022 in Paris. The 12th GETCO was held as a special session of the Nordic Congress of Mathematicians in Aalborg in 2023.