Differences

This shows you the differences between two versions of the page.

Link to this comparison view

talks [2014/05/25 09:39]
mz
talks [2014/06/20 17:59] (current)
mz
Line 15: Line 15:
   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​2011-09-VASS0.pdf|Model-Checking Vector Addition Systems with One Zero-test]],​ Sept. 2011, LaBRI, Bordeaux.   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​2011-09-VASS0.pdf|Model-Checking Vector Addition Systems with One Zero-test]],​ Sept. 2011, LaBRI, Bordeaux.
   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​MFCS11-BCGZ-Nested-traces.pdf|Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model-Checking]],​ Aug. 2011, MFCS'​11,​ Warsaw.   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​MFCS11-BCGZ-Nested-traces.pdf|Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model-Checking]],​ Aug. 2011, MFCS'​11,​ Warsaw.
-  * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​2011-09-VASS0.pdf|Weighted and counter systems]], June 2011, Barbizon-LSV,​ Pierrefonds.+  * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​Barbizon2011-Marc-Zeitoun.pdf|Weighted and counter systems]], June 2011, Barbizon-LSV,​ Pierrefonds.
   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​WA-LIAFA-20-05-2011.pdf|Weighted expressions and one-way pebble automata]], ​ May 2011, LIAFA, U. Paris Diderot.   * [[http://​www.labri.fr/​~zeitoun/​research/​lectures/​WA-LIAFA-20-05-2011.pdf|Weighted expressions and one-way pebble automata]], ​ May 2011, LIAFA, U. Paris Diderot.
  
  
 **[[http://​www.labri.fr/​~zeitoun/​research/​lectures.html|2010 and before]]** **[[http://​www.labri.fr/​~zeitoun/​research/​lectures.html|2010 and before]]**