GETCO 2018

September 10-14, 2018

Oaxaca, Mexico

The Geometric and Topological Methods in Computer Science (GETCO) conference series focus on applications of algebraic topology in computer science with special emphasis in 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 topological methods in

Concurrency

Distributed Computing

Directed algebraic topology

Neural networks

Robotics

Wireless networks

Data analysis

The program is here

Conference highlights:

Reception at Hotel Victoria: Sunday 18:00 - 20:00

Tutorial day: Monday 9:00 - 19:00

Technical talks: Tuesday 9:00 through Friday 15:00

Excursion to archaeological site Monte Alban: Wednesday 15:00 - 18:00

Dinner at Hotel Victoria: Wednesday 19:00 - 22:00

Afternoon session at Burgoa Library: Thursday 14:00 - 18:00

Mezcal tasting and talk by Maestros Mezcaleros La Madre, during the Sunday Reception and Wednesday Dinner

History- 10th Anniversary celebration of GETCO !

The first GETCO conference was 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 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 in Penn State University, in 2000, Aalborg in 2001, Toulouse 2002, Marseille, 2003, Amsterdam 2004, San Francisco 2005, 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. Since then, a new ESF network ACAT, Applied and Computational Algebraic Topology, has been established, and two books have 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. And now in its 10th edition with GETCO 2018, expanding further to neuroscience and learning applications.

Publication

A special issue of the Journal of Applied and Computational Topology has been published on February 2020, dedicated to selected papers from the conference.

Tutorials (Monday September 10)

Directed algebraic topology by Martin Raussen, Aalborg University. Slides
Combinatorial topology and distributed computing by Sergio Rajsbaum, UNAM. Slides
Combinatorial topology by Dmitry Feichtner-Kozlov, University of Bremen. Slides.
Topology in neural networks by Ran Levi, University of Aberdeen. Slides.

Research talks (Tuesday to Friday)

Titles and abstracts

Slides of some of the talks:

Lisbeth Fajstrup, Symmetries in the PV-model
Patrizio Frosini, The theory of group equivariant non-expansive operators in topological data analysis
Ran Levi, Synaptic plasticity through topological methods
Jesús Gonzalez, Simplicial complexity: piecewise linear motion planning in robotics
Roy Meshulam, Topology and Combinatorics of the Complex of Flags
Eric Goubault, Directed topological complexity
Armando Castañeda, Specifying Concurrent Problems: Beyond Linearizability
Thomas Kahl, Labeled homology of higher-dimensional automata
Gard Spreemann, Homological clustering and simplicial convolutional neural networks

Information for participantes

Dates:

The main conference will be Tuesday September 11 to Friday September 14

Monday September 10 we are planning to have introductory tutorials.

Venue:

Hotel Victoria, city of Oaxaca, Mexico.

Some events will be in the beautiful Biblioteca Burgoa, in Santo Domingo Cultural Center.

The city of Oaxaca is the capital of the state of Mexico with the same name, in the south of the country. The city (and Oaxaca state), is famous for its large variety of pre-hispanic cultures, handcrafts, archeological sites, beautiful mountains and beaches, and its exquisite cuisine. It is easily reached from Mexico City either by very comfortable (and inexpensive) first class buses, or airplane. The airport of Oaxaca is approximately 7 km south of the city centre with several flights from Mexico City every day, and from other cities in Mexico.

Registration:

Please fill the following registration form before August 3: https://paginas.matem.unam.mx/getco/particpants

The registration fee is $50 USD for students and $200 USD for postdocs and researchers. It does not include hotel room and breakfast during the event. Once the registration form is sent, you will receive an email with all information for paying the registration fee and the information for making a reservation in Hotel Victoria Oaxaca.

Questions? Please send an email to Alma Diaz.