GETCO 2018

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
• Jesú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 Castañ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.

Organization

Scientific Committee

Armando Castañeda, Universidad Nacional Autónoma de México, Mexico.

Dmitry Feichtner-Kozlov, University of Bremen, Germany.

Eric Goubault, École Polytechnique, France.

Maurice Herlihy, Brown University, USA.

Ran Levi, University of Aberdeen, UK.

Sergio Rajsbaum, Universidad Nacional Autónoma de México, Mexico.

Martin Raussen, Aalborg University, Denmark.

Organizers

Armando Castañeda, Rolando Jiménez, Sergio Rajsbaum

Speakers

• Armando Castañeda, UNAM, Mexico
• Ulrich Fahrenberg, École Polytechnique, France
• Lisbeth Fajstrup, Aalborg University, Denmark
• Brittany Terese Fasy, Montana State University, USA
• Dmitry Feichtner-Kozlov, University of Bremen, Germany
• Patrizio Frosini, Università di Bologna, Italy
• Rob van Glabbeek, NICTA, Australia
• Dejan Govc, University of Aberdeen, UK
• José Carlos Gómez Larrañaga, CIMAT, Mexico
• Jesús González, CINVESTAV, Mexico
• Eric Goubault, École Polytechnique, France
• Vladimir Itskov, Pennsylvania State University, USA
• Thomas Kahl, Universidade do Minho, Portugal
• Jérémy Ledent, École Polytechnique, France
• Ran Levi, University of Aberdeen, UK
• Roy Meshulam, Technion, Israel
• Neza Mramor Kosta, Univ. Ljubljana, Slovenia
• Jose Perea, Michigan State University, USA
• Sergio Rajsbaum, UNAM, Mexico
• Martin Raussen, Aalborg University
• Antonio Rieser, CIMAT, Mexico
• Thibault Rieutord, Telecom, Paris
• Vikram Saraph, Brown University, USA
• Gard Spreemann, EPFL, Switzerland
• Ziga Virk, Univ. Ljubljana, Slovenia
• Philipp Woelfel, University of Calgary, Canada
• Krzysztof Ziemiański, University of Warsaw, Poland

We are very grateful for the support of PAPIIT-UNAM IN109917