Publications
News
- Habilitation day: 19th September 2016
- 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