Talks

This is the latest list of my talks from Google Maps.


Afficher Sylvain's talks sur une carte plus grande

Talks in refereed international conferences

Please refer to my list of publications. Many of my papers come with the presentation slides associated with them.

Invited talks

  1. Solving equations on words with Morphisms and Anti-Morphisms. Invited talk at Université Paris-Diderot, Paris, France, July 8th 2016
  2. Runtime monitoring of a temporal logic with quantification. Invited talks at:
    • ETH Zürich, Switzerland, October 27th 2009
    • University of South Australia, Adelaide, September 21st 2009 Watch the video (76 mins)
  3. Le runtime monitoring d'une logique temporelle (in French; English title: "Runtime monitoring of a temporal logic"). Invited talk at Université de Savoie, Chambéry, France, June 25th 2009
  4. La quantification du premier ordre en logique temporelle: applications aux documents XML et aux services web (in French; English title: "First-order quantification in temporal logic: application to XML and web services"). Invited talk at École normale supérieure de Cachan, France, Sep. 9th 2008
  5. Runtime monitoring de propriétés temporelles par (streaming) XML (in French; English title: "Runtime monitoring of temporal properties with streaming XML"). Invited talk at École normale supérieure de Cachan, France, Sep. 12th 2008

Other talks

  1. Validation and monitoring of web applications: a brief overview. Google Test and Automation Conference (GTAC 2009), Zurich, Switzerland, October 2009 ("Lightning Talk" session). Watch the video (the first 5 minutes are me).
  2. Math en jeu. Colloque annuel de l'Association mathématique du Québec (AMQ), Shawinigan, Canada, October 2006 (in French)
  3. Math en jeu. Mini-session du Groupe des responsables en mathématiques au secondaire (GRMS), Drummondville, Canada, October 2006 (in French)
  4. Plonger une logique spatiale dans une logique temporelle. Colloque ISM des étudiants avancés, Université Laval, Québec, Canada, May 2006 (in French)
  5. Service Orchestration and Validation in UCLP. CANARIE UCLPv2 Workshop, March 15-17, 2006, Ottawa
  6. Logiques temporelles pour la validation des configurations réseau. Colloque ISM des étudiants avancés, Université de Montréal, Montréal, Canada, May 2004 (in French)
  7. Les EBF creuses. Colloque ISM des étudiants avancés, Université Laval, Québec, Canada, May 2003 (in French)
  8. The Refinement of Program Specifications. Rose-Hulman Undergraduate Mathematics Conference, Rose-Hulman Institute of Technology, Terre Haute, USA, March 2001

Navigation