Patrick COUSOT   Professeur d'informatique   Professor of Computer Science

• Curriculum Vitæ (short)

Interprétation Abstraite et Sémantique  Abstract Interpretation and Semantics

• Équipe de recherche / research group: (introduction :   / , membres/members)

•   Offre d'emploi/position available: Poste d'ingénieur de recherche en informatique

• Recherche / Research (introduction, thèmes / themes, publications / papers, exposés / talks, écoles / schools, séminaire SIA / SAI seminar, projets/projects, comités/committees)
• Stages / Internships, Post-doctorats / Post-doctorates
• Enseignement / Teaching (livres / books, cours/courses, Diplôme de l'ENS/Computer Science studies at ENS, MPRI)
• Institutions
• Services (chercheurs / researchers, conférences / conferences)

Membre du comité de programme de conférences & écoles de chercheurs à venir / Program comittee member of forthcoming conferences & research schools :

• POPL'07, Nice, France, January 17-19, 2007
• The Thirteenth ASTReNet Workshop on Formal Aspects of Source Code Analysis and Manipulation, BCS, London, UK, 21st March 2007.
• ESOP'07, Braga, Portugual, 26th - 30th March 2007.
• 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, June 5 - 8, 2007 Shanghai, China
• TOOLS-EUROPE 2007, ETH Zurich, Switzerland, 24-28 June 2007.
• Structural Operational Semantics 2007, SOS'07, Wroclaw, Poland, July 9, 2007
• The 14th International Static Analysis Symposium SAS 2007 Kongens Lyngby, Denmark, 22-24 August 2007.
• EMSOFT 2007, Salzburg, Austria, Oct. 1 - Oct. 3, 2007
• FIP Working Conference VSTTE'08, Toronto, Canada, 6th-9th of October 2008

the web    my site

external page accesses since 22-Nov-96. Dernière mise à jour / Last modified : Tuesday, 03-Jul-2007 10:48:50 CEST