Pierre-Loïc Garoche

News

• Feria-SVF seminar in Toulouse: Séminaire vérification de Toulouse

Teaching

• Functionnal Programming
• Concurrent Systems
• TLA : Temporal Logic of Action by Leslie Lamport
  • Leslie Lamport, The temporal logic of actions, ACM TOPLAS, v.16(3) 1994 - [available at ACM]
  • Lamport's TLA webpage (with book and tools)

Where and how to contact me

My office is located in the Onera - Toulouse center, in the south east of Toulouse, near the Rangueil scientific campus and the ISAE (former Supaero) Engineer school.

• phone +33 (0)5 62 25 29 33,
• fax +33 (0)9 55 35 75 62,
• and by snail mail:
  Onera, Centre Midi-Pyrénées
  BP 74025 -- 2, avenue Édouard Belin
  31055 TOULOUSE CEDEX 4

My email : pierre-loic.garoche@(REMOVE THIS ANTISPAM)onera.fr