| Name/WWW home page | Lectures | |
|---|---|---|
| Martín Abadi | ma@pa.dec.com | Refinement and verification techniques used in security; pi calculus for security protocols; A type system for the Java virtual machine |
| Jean-Raymond Abrial | abrial@steria.fr | Logic, proofs and provers |
| Ralph-Johan R. Back | backrj@abo.fi | Refinement calculus overview |
| Orna Grumberg | orna@cs.technion.ac.il | Computer-aided verification of hardware and software; CTL model checking |
| Eric C.R. Hehner | hehner@cs.toronto.edu | A practical theory of programming; From Boolean algebra to unified algebra |
| Reino Kurki-Suonio | rks@cs.tut.fi | Incremental specification in a TLA-based approach to object systems |
| Amir Pnueli | amir@wisdom.weizmann.ac.il | Verification of reactive systems; Symbolic model checking |
| Kaisa Sere | kaisa@abo.fi | Action systems--a state-based formalism for distributed computing |
| Joakim von Wright | jwright@abo.fi | Program refinement and theorem proving: modeling and tool support |
| Pamela Zave | pamela@research.att.com | Specification and verification of telecommunication lines |
[List of Participants] [Back to main page]