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.


GIPHOD (Group Invariant Persistent HOmology Demonstrator) is a program realized to show how persistent homology can be made invariant with respect to any given group G of homeomorphisms, still preserving non-invariance with respect to the homeomorphisms that do not belong to G. This property is important for applications in computer vision and pattern recognition.
GIPHOD uses a dataset of 10000 quite simple synthetic gray-scale images, represented as functions from the square [0,1]x[0,1] to the interval [0,1] (1=white, 0=black). 1000 images (call this set X) are randomly generated, whereas the rest 9000 images are obtained by applying transformations composed of translations, rotations and reflections to the images in the set X (let us call this set Y).
The user can choose one of the invariance groups and one of the query images that we propose. The query images that can be selected are taken from the set X, and it is possible to change their list by clicking on the “Random images” button. GIPHOD looks for the ten most similar images in our dataset (consisting of the sets X and Y), with respect to the invariance group that has been chosen. Among these ten images, the ones that are judged to be close to the query image are displayed in green.

GIPHOD is available online at

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.

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.