[PRL] FW: TALK:Monday 4-3-06 Abstract Interpretation & Applications

[Paul A. Steckler]

-----Original Message-----
From: seminars-bounces at lists.csail.mit.edu
[mailto:seminars-bounces at lists.csail.mit.edu] On Behalf Of CSAIL Event Calendar
Sent: Wednesday, March 29, 2006 6:05 AM
To: seminars at csail.mit.edu
Subject: TALK:Monday 4-3-06 Abstract Interpretation & Applications



Abstract Interpretation & Applications
Speaker: Patrick Cousot
Speaker Affiliation: Ecole Normale Superieure, Paris, France
Host: Daniel Jackson
Host Affiliation: CSAIL

Date: 4-3-2006
Time: 4:00 PM - 5:30 PM
Refreshments: 3:45 PM
Location: 32-G449 Patil/Kiva

We introduce elements of abstract interpretation formalizing abstraction (to
reason on complex systems) and approximation (to make undecidable reasoning
computationally feasible) which are fundamental concepts in engineering and
computer science.

We then sketch recent applications of abstract interpretation to semantics,
typing, termination proof, hardware verification and static analysis of embedded
real-time safety critical software.

We finally discuss future projects, in particular the verification of embedded
systems by abstraction from model design to program verification.

---
Patrick Cousot is Professor of Computer Science at Ecole Normale Superieure,
Paris, France, where he chairs the department's educational programme, and leads
the Abstract Interpretation and Semantics research group.  He has been the J.C.
Hunsaker visiting professor at the MIT Aero-Astro department in 2005.  Professor
Cousot is a renowned authority on static analysis and semantics, and the
inventor of the analysis framework known as "abstract interpretation".
---

Relevant URL(S): 
For more information please contact: Maria Rebelo, 3-5895, mr at csail.mit.edu

_______________________________________________
Seminars mailing list
Seminars at lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/seminars