Official LSV Web Site

Mes Exposés

Année 2011

05 Septembre : Seminar LORIA, Nancy, France -- Decision procedure for trace equivalence -- PDF - Keynote
05 Septembre : Workshop SecCo 2011, Aachen, Allemagne -- Decision procedure for trace equivalence -- PDF - Keynote
27 juin : Conférence CSF 2011, Vaux de Cernay, France -- 5 min talk : Decision procedure for trace equivalence -- PDF - Keynote

Année 2010

10 décembre : Réunion générale du projet ANR AVOTE, Cachan, France -- A decision procedure for proving trace equivalence (Work in progress)
19 juillet : Conférence IJCAR, Edimbourg, Ecosse -- A decision procedure for proving symbolic equivalence
18 juin : Workshop SeCret 2010, Valence, Espagne -- A decision procedure for proving symbolic equivalence

Année 2009

07/09/2009: Soutenance de stage (Master 2 MPRI), Cachan, France -- Algorithme de décision de l'équivalence symbolique de systèmes de contraintes
05/09/2009: Workshop SecCo09, Bologne, Italie -- A decision procedure for proving observational equivalence (Work in progress)

About LSV

Private Pages