Talks & Seminars

2005

2006

[Feb. 2006] Tokyo Programming Seminar (Tokyo University)
[Feb. 2006] Honiden Laboratory Student Seminar (National Institute of Informatics, Tokyo)

2007

2008

2010

2011

[Mar. 2011] Seminar of PPS/X/MeASI Team (LiX – CEA, Palaiseau)
[Mar. 2011] GRACE Seminar on Advanced Software Science and Engineering (National Institute of Informatics, Tokyo, Japan)
[Mar. 2011] Collaborative Research Team for Verification Seminar (AIST Kobe, Japan)

2012

2013

[Jan. 2013] LIST Seminar (CEA, Palaiseau, France)
[Apr. 2013] Journée FAC – Formalisation des activités concurrentes (Toulouse, France)
[Apr. 2013] Invited speaker at OBEO Roadshow (Toulouse, France)
[May 2013] Seminar at ENSTA-Paristech (Palaiseau, France)
[June 2013] Stanford Department of Aeronautics and Astronautics Seminar (Stanford, CA, USA)
[June 2013] Keynote at Control Software Verification Workshop CSVW (Moffett Field, CA, USA)
[July 2013] SRI International (Menlo Park, CA, USA)
[Dec. 2013] Keynote and organization of Aerospace 2050, in honor of Marc Pelegrin 90th birthday (Toulouse, France)

2015

[Mar. 2015] Invited speaker at NSF project SORTIES 1st workshop (Boulder, CO, USA)
[Apr. 2015] Invited speaker at GT Shy – Groupe de Travail Système HYbride of DigiCosme Labex (Palaiseau, France)
[Oct. 2015] Kestrel Institute (Palo Alto, CA, USA)
[Oct. 2015] SRI International (Menlo Park, CA, USA)
[Oct. 2015] NASA Ames (Moffett field, CA, USA)
[Oct. 2015] United Tech Research Center (Berkeley, CA)

2016

[Mar. 2016] Invited speaker at NSF project SORTIES 2nd workshop (Boulder, CO, USA)
[May 2016] United Tech Research Center (Cork, Ireland)
[June 2016] Keynote speaker at CEA FramaC days
[July 2016] NASA Langley (Hampton, VA, USA)
[July 2016] Univ. of Minnesota, Software Engineering Center (UMSEC), Minneapolis, MN, USA
[July 2016] Univ. of Michigan (Ann Arbor, MI), Dpt. of Aerospace
[July 2016] Toyota Technical Center (Ann Arbor, MI, USA)
[Nov. 2016] INRIA Sophia-Antipolis, Séminaire de l’équipe McTAO
[Nov. 2016] IMT Lucca (Lucca, Italy)
[Nov. 2016] United Tech Research Center (East Hartford, CT, USA)

2017

[Feb. 2017] Univ. Technique de Prague, Czech Republic
[June 2017] Price Induction (Anglet)
[June 2017] SRI International (Menlo Park, CA, USA)
[Oct. 2017] Ales – UTRC Italy (Rome, Italy)
[Nov. 2017] RSE seminar, NASA Ames (Moffett field, CA, USA)
[Dec. 2017] Groupe de travail VS-CPS Vérification et Synthèse de Systèmes Cyber-Physiques

2018

[Mar. 2018] University of Washington, Aeronautics and Astronautics Dpt, Seattle, WA, USA
[Mar. 2018] United Tech Research Center (Berkeley, CA)
[June 2018] Invited speaker at Nonlinear and Computational Control: A Workshop to Honor Prof. John Hauser on his 60th Birthday (Milwaukee, WI, USA)
[July 2018] Invited speaker at Numerical Software Verification, a FloC event (Oxford, UK)
[Sep. 2018] Invited speaker at the Forum on specification & Design Languages, special session on Logic and Mathematics behind Design Automation (Munich, Germany)
[Oct. 2018] Adacore (Paris, France)

2019

[Mar. 2019] Univ. of Colorado Boulder (Boulder, CO, USA)
[June 2019] Seminar of INRIA Rennes (Rennes, France)
[June 2019] Project meeting AID Swarms of Drones project (ISAE, Toulouse, France)
[Nov. 2019] Project meeting AID Swarms of Drones project (Polytechnique, Palaiseau, France)
[Nov. 2019] Meeting with DLR (Deutsches Zentrum für Luft- und Raumfahrt) (Onera, Palaiseau, France)

2020