Presentations

Conferences

• Place-Boundedness for VASS with one zero-test
  (FSTTCS, 16 decembre 2010)
• Ordinal Theory for Expressiveness of Well-Structured Transition Systems
  (FOSSACS, 28 mars 2011)
• The reachability problem for VAS with one zero-test
  (MFCS, 25 aout 2011)
• LTL Model-Checking for VAS with one zero-test
  (RP, 30 septembre 2011)

Seminaires externes

• Forward Analysis for WSTS : Beyond Regular Accelerations
  (LaBRI, 5 avril 2012)
• Reachability for VAS with one zero-test
  (v1, ULB, 14 decembre 2011) (v2, LIAFA, 17 fevrier 2012)
  (v3, Oxford, 24 fevrier 2012)
• Ordinal Theory for Expressiveness of WSTS
  (LIF, 26 mai 2011)
• Cover of a VASS with one zero-test
  (LIAFA, 9 novembre 2010)

Seminaires internes

• Forward Analysis for WSTS : Beyond Regular Accelerations (GdT INFINI, 10 avril 2012)
• Reachability for Vector Addition Systems with one zero-test (GdT INFINI, 3 mai 2011)
• Ordinal Theory for Expressiveness of Well-Structured Transition Systems (GdT INFINI, 25 janvier 2011)
• State-based comparison of WSTS (Barbizon, 17 juin 2010)
• Cover of a VASS with one zero-test (GdT INFINI, 11 mai 2010)
• Data Nets and Communicating Affine Nets (GdT INFINI, 17 novembre 2009).

Autres presentations

• Well-structured Petri Net extensions with data (Soutenance EPFL, 14 avril 2010).

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique