Séminaire des doctorants

Séminaire dans lequel les doctorant.e.s et les stagiaires présentent leur travaux devant une audience moins intimidante puisqu'elle est composée des autres doctorant.e.s, stagiaires et éventuellement post-docs.

Date et lieu : le mercredi à 11h, Sophie Germain

Responsables : Laurent Feuilloley, Nicolas Jeannerod, Théo Zimmermann

Mercredi 25 janvier 2017 · 11h00 · Salle 3052

Thibaut Girka (Équipe PPS) · TBA


Mercredi 11 janvier 2017 · 11h00 · Salle 3052

Fabian Reiter (Équipe Automates et Applications) · Asynchronous Distributed Automata

The goal of this talk is to raise interest in the connections between distributed computing and formal logic. I will illustrate this relatively unexplored area of research by presenting an equivalence result between two very specific systems. The distributed computing side will be represented by a network of identical finite-state machines that communicate in an asynchronous manner, while the formal logic side will be represented by a small fragment of least fixpoint logic (more specifically, a fragment of the modal mu-calculus).

Voir les archives sur l'ancien site web : http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards