Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Reachability problems for classical mathematical objects

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Igor Potapov
Le mardi 17 mai 2016 à 11:00
Auditorium Daniel Chemla (Bât. Institut D'Alembert)
Igor Potapov (University of Liverpool)

Reachability is a fundamental problem in the context of many finite and infinite state systems, computational models, hybrid and dynamical systems, rewriting systems, probabilistic and parametric systems, and open systems modelled as games. In general terms, it can be formalized as follows: for a computation model specified via a set of allowed rules or transformations, decide whether a certain state is reachable from a given initial state.

The proposed talk will be focused on reachability problems for classical mathematical objects, which naturally appear in many computational processes and abstractions. I will mainly focus on such objects as words, matrices, iterative maps, knots, braids and will aim to highlight most recent developments on decidability and complexity results in the area and will illustrate connections of reachability questions with fundamental long standing open problems in mathematics and computer science.

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents