Call-for-papers: APPLIED AND COMPUTATIONAL ALGEBRAIC TOPOLOGY

===================

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

Jerusalem (Israel) July 17-21, 2017

APPLIED AND COMPUTATIONAL ALGEBRAIC TOPOLOGY

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.

OVERVIEW OF THE SESSION

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. 

IMPORTANT DATES:

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

SUBMISSIONS:

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. 

Organizers:

Graham Ellis
School of Mathematics,
National University of Ireland, Galway, Ireland
E-mail: graham.ellis@nuigalway.ie

Marian Mrozek
Institute of Computer Science and Computational Mathematics
Jagiellonian University, Poland
E-mail: mrozek@ii.uj.edu.pl

Aniceto Murillo
Departamento de Algebra, Geometria y Topologia,
Universidad de Malaga, Spain
E-mail: aniceto@uma.es

Pedro Real
Institute of Mathematics (IMUS)
Dept. of Applied Mathematics I
University of Seville, Spain
E-mail: real@us.es

Eduardo Saenz de Cabezon
Mathematics and Computation,
Universidad de La Rioja, La Rioja, Spain
E-mail:eduardo.saenz-de-cabezon@unirioja.es

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.

New journal JACT: Call for submissions

A new “Journal of Applied and Computational Topology” (APCT) will start appearing in the beginning of 2017 published by Springer. Information about the scope of the journal, the editorial team and the submission procedure can be found here.
The main goals of the journal are to provide a forum for the parts of topology that have new and exciting applications within mathematics and the sciences, as well as to facilitate the development of relevant algorithms.

Please submit your current work to APCT.  We strive for an excellent quality journal, and  we need the support of the community to achieve this.

APCT_flyer

GIPHOD 1.0 IS NOW ONLINE

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 http://giphod.ii.uj.edu.pl

TGDA @ OSU 2016 conference

Topology, Geometry and Data Analysis Conference at OSU
TGDA @ OSU 2016
May 16 — 20, 2016
The Ohio State University
Supported by NSF, MRI and MBI
===================

We are pleased to announce that the conference TGDA@OSU (Topology, Geometry, and Data Analysis at OSU) will take place at the Ohio State University in Columbus OH, May 16-20, 2016.

The website for the conference is http://www.tgda.osu.edu/tgda-conf-osu.html

The registration for the conference is now open! There are also potential funding support for graduate students and young researchers. See below for details.

General information:
In recent years topological and geometric methods have been been availed as new promising tools for analyzing complex and diverse data. To broaden the scope of TGDA further we need stronger synergy among mathematical fields such as algebraic topology and algorithmic developments such as those in computational geometry. We also need tighter interaction with applied scientific domains.

The TGDA@OSU 2016 conference aims to bring together researchers from mathematics and computational and applied sciences in order to exchange ideas and consolidate synergistic activities through fostering collaborations.

The conference will feature a range of invited talks on theoretical, computational, and experimental aspects of Computational Topology and its application to Data Analysis over 5 days. There would also be a poster session during the week. We hope that you will be able to participate in the conference.

This conference is supported by the National Science Foundation, the Mathematics Research Institute at OSU, and the Mathematical Biology Institute at OSU.

Registration and financial support:
Please register at the following website if you intend to participate:
https://u.osu.edu/tgda/tgda-osu-2016-registration/
The general registration deadline is April 15, 2016. However, since the capacity of the conference is limited (due to accomodation constraints), we encourage you to register as early as possible — Registration will be accepted in a first-come-first-serve basis.

We encourage anyone working in this field to attend the conference. One of the main targets of the conference is to reach out to the young researchers who intend to work in the field. We have obtained some amount of funding from the National Science Fundation to help support domestic PhD students and junior researchers to attend the conference. The details of applying for the travel support are provided below, and also on the conference web-page. It is important to note that the deadline for applying for funding is March 1st, 2016.

Deadlines:
General public registration: April 15, 2016
Application for funding for junior researchers: March 1st, 2016.

Application requirement for Young-research travel support:
Current PhD students and young researchers within 5 years of the PhD degree are qualified to apply for partial travel / accomodation support to attend the TGDA conference. To apply for the Young Researcher Travel Support, you should submit (i) your contact information, and (ii) your current CV via http://u.osu.edu/tgda/tgda-osu-2016-registration/ . You should also arrange a letter of support from your advisor or other researcher familiar with your work and/or interests to be sent to tgda@osu.edu . The deadline for submitting your application is March 1st, 2016.

Further information:
More information about the conference, including lodging suggestions, can be found at the conference website http://www.tgda.osu.edu/tgda-conf-osu.html .
If you have any questions / inquires, please send an email to tgda@osu.edu , or feel free to contact any of the conference organizers.

Cordially,
The TGDA@OSU organization team:
Tamal Dey, Matthew Kahle, Facundo Memoli, Yusu Wang

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 http://atmcs7.appliedtopology.org for more information.

ICERM Semester Program on “Topology in Motion”

website

Introduction
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

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

Motivation
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.

Classification
Data Structures / Algorithms / Complexity
Networks
Semantics / Formal Methods
Keywords
Distributed protocols
Solvability
Shared-memory communication
Concurrency
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.

ACAT

ACAT was an ESF networking programme about Applied and Computational Algebraic Topology. See the brochure and the
detailed programme proposal for more information.

The revolutionary growth of experimental data in the sciences and the availability of unprecedented computing power pose many challenges to contemporary mathematics. The ESF Research Network on Applied and Computational Algebraic Topology will combine efforts of researchers from thirteen European countries to develop mathematical tools for the following broad research themes:
The topological and statistical analysis of shapes, images, and large multidimensional data sets;
Algorithms for motion planning and the study of configuration spaces of mechanical systems;
Statistical topology and the study of large growing systems;
The theory of concurrent computation and computer networks.
Research on these themes is currently carried out in small groups spread over several European countries. The Network will facilitate intensified interactions and cross-fertilization, which we predict will lead to new results and entire new research directions as well as to commercial applications in industry. The Network will organize summer schools and conferences to support the formation of an integrated research community in Applied and Computational Algebraic Topology and to attract an increasing number of students to the field. The Network will actively collaborate with experts outside Europe.