Official LSV Web Site
Slides of some recent talks
Paul Gastin
- Weighted automata with pebbles and weighted FO logic with transitive closures.
Seminar at Dagstuhl Advances and Applications of Automata on Words and Trees, December 13-17, 2010.
Slides et
Printable version.
- Rudiments de Calculabilité et de Complexité.
Séminaire Informatique et sciences du numérique, 2 juin, 2010.
Présentation et
version imprimable.
- Tutorial on Quantitative Logics and Weighted Automata.
Weighted Automata: Theory and Applications (WATA'10), May 3-7, 2010.
Slides.
- Reconciling Weighted MSO and Probabilistic CTL.
ACTS II, February 1st, 2010 and
Seminar at Dagstuhl Quantitative Models: Expressiveness and Analysis, January 17-22, 2010.
Slides and
Printable version.
- Weighted versus Probabilistic Logics.
Invited conference at DLT'09, June 30, 2009.
Slides and
Printable version.
- Distributed Timed Automata with Independently Evolving Clocks.
Séminaire au LIAFA, April 6, 2009.
Slides and
Printable version.
- How to get decidability of distributed synthesis?
Séminaire à Bordeaux, LaBRI, March 12, 2009.
Slides and
Printable version.
- How to get decidability of distributed synthesis for asynchronous systems.
Workshop on Automata, Concurrency and Timed Systems, CMI, Chennai, January 29-31, 2009.
Slides and
Printable version.
- Testing with asynchronous communication.
Groupe de travail Tempo, LSV, Cachan, October 29, 2008.
Slides and
Printable version.
- Local safety and local liveness for distributed systems.
Developments and New Tracks in Trace Theory, DNTTT'08, Cremona, October 9-11, 2008.
Slides and
Printable version.
- Distributed Timed Automata with Independently Evolving Clocks.
CONCUR'08, Toronto, August 29-22, 2008.
Slides and
Printable version.
- Distributed Timed Automata with Independently Evolving Clocks.
Logic and
Algorithms Workshop, Edinburgh, July 21-25, 2008.
Slides and
Printable version.
- Local testing of MSCs.
Meeting ANR DOTS, Bordeaux, January 31, 2008.
Slides and
Printable version.
- Refinements and Abstractions of Signal-Event (Timed) Languages.
Workshop on
Recent Advances in Timed Systems, December 11-12, 2006,
Pre-FSTTCS 2006 workshop.
Slides and
Printable version.
- Distributed synthesis for synchronous systems.
Seminar on December 6th, 2006,
Chennai Mathematical Institute.
Slides and
Printable version.
- Refinements and Abstractions of Signal-Event (Timed) Languages.
In 4th International Conference on Formal Modelling and Analysis of Timed Systems
(FORMATS 2006).
Slides and
Printable version.
- A fresh look at testing for synchronous communication.
Seminar on June 28th, 2006,
Logic and Algorithms program,
Isaac Newton Institute for Mathematical Sciences.
Slides and
Printable version.
- Distributed synthesis: synchronous and asynchronous semantics.
In 34th Spring School in Theoretical Computer Science
(EPIT 2006)
on Games in semantics and verification.
Slides and
Printable version.
- Refinements and Abstractions of Signal-Event (Timed) Languages.
In 22nd Conference on the Mathematical Foundations of Programming Semantics
(MFPS 2006),
Special Session on Timed Systems.
Slides and
Printable version.
- Basics of Model Checking.
In 6th Summer School on MOdelling and VErifying parallel Processes
(MOVEP 2004).
Slides and
Printable version.