Special Session “Applied and Computational Algebraic Topology“;
ACA 2017  conference:

Jerusalem (Israel) July 17-21, 2017


This special session is included in the 23nd Conference on Applications of Computer Algebra and it  will be celebrated from July, 17 up to July, 21, 2017 at  Lev campus of the Jerusalem College of Technology (JCT), Israel.


Algebraic Topology was in its origin an area of pure mathematics with deep algebraic and geometrical roots, which has had an intense development in the last 120 years. However, in this period this discipline has become the core of several areas of application-oriented research using algebraic topology methods in biology, statistics, engineering, computer science,… The growing number of these interactions has given rise to the field of applied and computational algebraic topology. 
This session is therefore mainly devoted to the computational aspects of this emerging field in all possible directions which include, but are not restricted to: 

  • Computational algebraic topology
  • Computational homological algebra
  • Computational topological dynamics
  • Coding theory and cohomology of groups
  • Topological analysis and processing of digital images
  • Topological analysis of data
  • Stochastic algebraic topology
  • Topological pattern recognition
  • Topological robotics
  • Topology, computer science and parallelism

Thus, as a sequel of the successful sessions held in ACA2010, ACA2011, ACA2013, ACA 2015 and ACA2016 on the same subject held, our aim is to welcome contributions with an active interest in potential and actual applications of algebraic topology in the lines above as well as the computational techniques and problems related to algorithmic algebraic topology. 


Submission of talks :

April 30th, 2017: deadline for submission of talks
May 31st, 2017 : notification of acceptance
Early submission is encouraged, and early notification of acceptance will follow.
Please note that you  have to register for the conference, 
via the ACA 2017 main page.
Final version of abstracts : June 25th, 2017
ACA2017 conference: July,17-21, Jerusalem College Technology, Jerusalem


Sessions talks will be 25 minutes (plus 5 minutes for discussions). If you are interesting in giving a talk, abstracts or extended abstracts (up to four pages, including references) must be submitted in electronic format as LaTeX source+compiled PDF files  (please use the ACA LaTeX template for your abstract ) before the submission deadline  both to one of the organizers. Send also the pdf file to our 

online workshop management system ACAT-ACA2017 

It is planned an special issue on an international journal in “Computational Mathematics”. Papers extending the accepted abstracts at ACAT-ACA2017 will be the main candidates to be reviewed for inclusion in that special issue. 


Graham Ellis
School of Mathematics,
National University of Ireland, Galway, Ireland

Marian Mrozek
Institute of Computer Science and Computational Mathematics
Jagiellonian University, Poland

Aniceto Murillo
Departamento de Algebra, Geometria y Topologia,
Universidad de Malaga, Spain

Pedro Real
Institute of Mathematics (IMUS)
Dept. of Applied Mathematics I
University of Seville, Spain

Eduardo Saenz de Cabezon
Mathematics and Computation,
Universidad de La Rioja, La Rioja, Spain

Call for participation: Applied and Computational Algebraic Topology program

Call for participation:
Next year 2017, the Hausdorff Research Institute for Mathematics in Bonn, Germany, will host a special program Applied and Computational Algebraic Topology. It consists of
– a spring school (April 24 – 28, 2017)
– an international conference (May 2-6, 2017), and
– four weeks of collaboration between experts in the area (September 4-29, 2017)
The program will focus on three areas of investigation:

· Topological and statistical analysis of shapes, images, and multi-dimensional data sets
· Stochastic topology
· Topological contributions to the theory of concurrent computation and computer networks

Financial support is available (for senior scientists, postdocs, and PhD students). The deadline for applications is November 15, 2016. Please send applications (including CV and, for postdocs and PhD students, a letter of recommendation) using this online application form. Please circulate information among your colleagues and students.
Further details can be found on the program website.

ATMCS7 Torino Applied Topology: Methods, Computation, and Science

The 7th edition of the ATMCS conference series will take place 25-29 July 2016 in Torino, Italy.

Applied and computational topology refers to the adaptation of classical topological theory and techniques to other fields of science and engineering. A key goal in the conference series is the further development of topological techniques for use in applications and the creation of new areas of applications in the subject.

ATMCS is a biennial conference series on algebraic topology with an important focus on its role in computer science and applications. The 1st edition was held in 2001 at Stanford University in California, USA, with subsquent editions held at international, transatlantic institutions.

Confirmed Invited Speakers

  • Robert Adler, Technion–Israel Institute of Technology, Israel
  • Yuliy Baryshnikov, University of Illinois at Urbana-Champaigne, USA
  • Uli Bauer, Technische Universität München, Germany
  • Gunnar Carlsson, Stanford University, USA
  • Lisbeth Fajstrup, Aalborg University, Denmark
  • Kathryn Hess, Swiss Federal Institute of Technology at Lausanne (EPFL), Switzerland
  • Yasu Hiraoka, Tohoku University, Japan
  • Claudia Landi, University of Modena and Reggio Emilia, Italy
  • Tom Leinster, University of Edinburgh, Scotland
  • Raúl Rabadán, Columbia University, USA
  • Mariel Vazquez, University of California at Davis, USA

See for more information.

ICERM Semester Program on “Topology in Motion”


This thematic semester aims at exploring those areas of topology where the research challenges stem from scientific and engineering problem and computer experiments rather than the intrinsic development of the topology proper. In this context, topology is a toolbox of mathematical results and constructions which impacts and inspires developments in other areas. Born as a supporting discipline, aimed at creating a foundation of intuitive notions immensely useful in differential equations and complex analysis, algebraic topology remains indispensable in many disciplines.

Our goal here is to concentrate on relatively recent areas of research enabled, in particular, by the computational revolution in mathematical discovery.

The past decade has seen a surge of interest in applied topology, a vaguely defined area that became a focus of attraction for several communities neighboring mathematics proper – biology, engineering, computer science, data analysis, to name a few. The central lure of this emerging area is the feeling that the flexibility afforded by the passage from geometric constructions to analysis situs, analysis of (mutual) positions, can be a powerful force in applications. The meta-goal of this project is to contribute to the development of the original view of topology as analysis situs: the extraction of discrete, combinatorial invariants from continuous shapes.

Here is a sample of the topics to be covered: moduli spaces of linkages, hinges and origami; configuration spaces of hard disks and coverings; topological robotics; topology of random simplicial complexes and random varieties; topology in condensed matter; high-dimensional expanders; equipartitions and Tverberg type theorems.

Associated Events: Fall 2016 Semester Workshops
September 12-16, 2016 Unusual Configuration Spaces Yuliy Baryshnikov, Michael Farber, Misha Kapovich, Randall Kamien, Ileana Streinu
October 17-21, 2016 Stochastic Topology and Thermodynamic Limits Matthew Kahle, Sayan Mukherjee, Shmuel Weinberger, Ileana Streinu, Patrick Charbonneau
November 28-December 2, 2016 Topology and Geometry in a Discrete Setting Eva Maria Feichtner, Larry Guth, Gil Kalai, Roman Karasev, Elchanan Mossel, Igor Pak, Rade Zivaljevic

Topological Methods in Distributed Computing

July 10 – 15 , 2016, Dagstuhl Seminar 16282

Dmitry Feichtner-Kozlov (Universität Bremen, DE)
Sergio Rajsbaum (Universidad Nacional Autonoma – Mexico, MX)
Michel Raynal (University of Rennes, FR)
Damien Imbs (Universität Bremen, DE)

In the early 1990’s, it was realized that topological methods are applicable in proving impossibility results in theoretical distributed computing. There followed a process of further penetration of simplicial and combinatorial methods, which by now have gained a definite foothold in distributed computing.

The mathematics needed for the wait-free shared memory model is essentially that of simplicial complexes and carrier maps between them. With subsequent maturing of the theory and diversification of the considered questions, many further mathematical fields are coming in: for example, one needs to consider group actions and equivariant maps, as well as simplicial and carrier maps which satisfy other, less standard conditions. Many of the questions which arise in this setup are somewhat different from the questions classically studied in the simplicial context.

There has been some work on mathematical foundations, though much remains to be done when it comes to precise definitions and rigorous proofs. There is a large variety of distributed tasks (e.g., computing the independent set in a graph) where the mathematical component is very substantial, and the answer would need to be phrased mathematically.

The main goal of this seminar is to bring together experts in different fields of computer science and mathematics so as to create an interdisciplinary forum at which the current state of the art of the subject can be clearly communicated, and future developments can be outlined in broad terms.

Data Structures / Algorithms / Complexity
Semantics / Formal Methods
Distributed protocols
Shared-memory communication
Combinatorial topology

See the corresponding webpage.

Current Issues in the Philosophy of Practice of Mathematics & Informatics

4th April – 1st July 2016

The thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics” will be held from 4th April to 1st July 2016 at the Centre International de Mathématiques et d’Informatique de Toulouse (CIMI).

This thematic trimester is organised by an interdisciplinary team of researchers in Mathematics, Philosophy, and Computer Science from the Institut de Mathématiques de Toulouse (IMT) & the Institut de Recherche en Informatique de Toulouse (IRIT).

It will feature sessions courses, workshops, and a thematic school on themes at the interface of Philosophy, Mathematics and Computer Science.

See the corresponding webpage.