Bonjour,
Petit rappel du séminaire de Damien Pous qui débutera à 11H en 1D06 mais vous êtes les bienvenus dès 10H45 autour d'un café.
Les détails sont rappelés ci-dessous.
Alexis
---------- Message transféré ----------
De : Alexis Saurin PPS <alexis.saurin@pps.univ-paris-diderot.fr>
Date : 5 novembre 2012 13:40
Objet : Jeudi 8/11 à 11h en salle 1D06, séance séminaire PPS avec Damien Pous
À : seminaire-pps@pps.jussieu.fr, auliafa@liafa.jussieu.fr
Bonjour,
Comme annoncé lors de la dernière séance du séminaire, nous accueillerons Damien Pous ce jeudi 8 novembre qui viendra nous présenter un article accepté à POPL'13 intitulé Checking NFA equivalence with bisimulations up to congruence (co-écrit avec Filippo Bonchi).
Le séminaire intéressera aussi bien les membres de PPS que ceux du LIAFA.
La séance aura lieu Jeudi 8/11 à 11h en salle 1D06 et nous vous rappelons que café et thé seront servis dès 10h45 dans la salle du séminaire où nous espérons vous voir nombreux.
Résumé: We introduce "bisimulation up to congruence" as a technique for
proving language equivalence of non-deterministic finite automata.
Exploiting this technique, we devise an optimisation of the classical
algorithm by Hopcroft and Karp which, as we show, is exploiting a
weaker "bisimulation up to equivalence" technique. The resulting
algorithm can be exponentially faster than the recently introduced
"antichain algorithms".
Cordialement,
L'équipe du Séminaire
De : Alexis Saurin PPS <alexis.saurin@pps.univ-paris-diderot.fr>
Date : 5 novembre 2012 13:40
Objet : Jeudi 8/11 à 11h en salle 1D06, séance séminaire PPS avec Damien Pous
À : seminaire-pps@pps.jussieu.fr, auliafa@liafa.jussieu.fr
Bonjour,
Comme annoncé lors de la dernière séance du séminaire, nous accueillerons Damien Pous ce jeudi 8 novembre qui viendra nous présenter un article accepté à POPL'13 intitulé Checking NFA equivalence with bisimulations up to congruence (co-écrit avec Filippo Bonchi).
Le séminaire intéressera aussi bien les membres de PPS que ceux du LIAFA.
La séance aura lieu Jeudi 8/11 à 11h en salle 1D06 et nous vous rappelons que café et thé seront servis dès 10h45 dans la salle du séminaire où nous espérons vous voir nombreux.
Checking NFA equivalence with bisimulations up to congruence
Damien Pous (CNRS & ENS-Lyon)
Jeudi 8/11 à 11h en salle 1D06
http://www.pps.univ-paris-diderot.fr/seminaire/sem2012/abstracts/Pous
Damien Pous (CNRS & ENS-Lyon)
Jeudi 8/11 à 11h en salle 1D06
http://www.pps.univ-paris-diderot.fr/seminaire/sem2012/abstracts/Pous
Résumé: We introduce "bisimulation up to congruence" as a technique for
proving language equivalence of non-deterministic finite automata.
Exploiting this technique, we devise an optimisation of the classical
algorithm by Hopcroft and Karp which, as we show, is exploiting a
weaker "bisimulation up to equivalence" technique. The resulting
algorithm can be exponentially faster than the recently introduced
"antichain algorithms".
Cordialement,
L'équipe du Séminaire
--
Alexis Saurin
Chargé de Recherche CNRS
Laboratoire PPS, UMR 7126
Équipe PiR2
CNRS, Université Paris Diderot et INRIA
alexis.saurin@pps.univ-paris-diderot.fr
http://www.pps.univ-paris-diderot.fr/~saurin
Mettez à jour votre carnet d'adresses: mon adresse email professionnelle change, la nouvelle adresse est maintenant alexis.saurin@pps.univ-paris-diderot.fr
Aucun commentaire:
Enregistrer un commentaire