CONFERENCE
Computational problems in low-dimensional topology
Problèmes algorithmiques en topologie de petite dimension
15 – 19 February, 2027
Scientific Committee
Comité scientifique
Arnaud De Mesmay (CNRS, Université Gustave Eiffel)
Saul Schleimer (University of Warwick)
Anastasia Tsvietkova (Rutgers University)
Organizing Commitee
Comité d’organisation
Arnaud De Mesmay (CNRS, Université Gustave Eiffel)
Pierre Dehornoy (Aix-Marseille Université)
Vincent Delecroix (CNRS)
Many core problems in low-dimensional topology, geometry, and knot theory are essentially decision problems. While complexity theory has built a vast web of intractable problems across many fields, low-dimensional topology remains a unique frontier: many of its basic questions (like link equivalence or 3-manifold homeomorphism) lack both known polynomial algorithms and proofs of NP-hardness. Even when exact complexity remains elusive, computer-assisted research has been transformative. Over the past 50 years, software for hyperbolic structures and normal surface theory has significantly advanced the field. Our goal is to explore these modern developments where algorithmic efficiency and topological theory intersect.
De nombreux problèmes fondamentaux en topologie de basse dimension, en géométrie et en théorie des nœuds sont essentiellement des problèmes de décision. Alors que la théorie de la complexité a tissé une vaste toile de problèmes difficiles dans de nombreux domaines, la topologie de basse dimension demeure une domaine unique : plusieurs de ses questions de base (telles que l’équivalence des liens ou l’homéomorphisme des variétés de dimension 3) ne disposent ni d’algorithmes polynomiaux connus, ni de preuves de NP-difficulté. Même lorsque la complexité exacte reste insaisissable, la recherche assistée par ordinateur s’est révélée essentielle. Au cours des 50 dernières années, les logiciels dédiés aux structures hyperboliques et à la théorie des surfaces normales ont fait progresser le domaine de manière significative. Notre objectif est d’explorer ces développements modernes où l’efficacité algorithmique et la théorie topologique se rencontrent.
SPEAKERS
The event will follow an unconventional format: upon registration, you will be asked if you wish to give a talk, and the scientific committee will then design the schedule accordingly. This approach ensures that everyone has the opportunity to present their results, without imposing a presentation on those who prefer to listen and engage in informal discussions.
The following persons have already declared their intention to attend the workshop:
Mark Bell (independant)
Ben Burton (University of Queensland)
Erin Wolf Chambers (University of Notre Dame)
Eric Colin de Verdière (CNRS, Université Gustave Eiffel)
Nathan Dunfield (University of Illinois)
Ivan Dynnikov (Moscow State University)
Susan Hermiller (University of Nebraska)
Kate Pertersen (University of Minnesota Duluth)
Jessica Purcell (Monash University)
Anna Roig-Sanchis (Université côte d’Azur)
Eric Sedgwick (DePaul University)
Henry Segerman (Oklahoma State University)
SPONSORS
