Strategic Directions in Computing Research
Formal Methods Working Group

Group Scope and Goals

Group Report

• Formal Methods: State of the Art and Future Directions, Ed Clarke and Jeannette Wing, August 1996. It is 22 pages long and has 124 references.

Chairs

• Ed Clarke (edmund.clarke@cs.cmu.edu), Carnegie Mellon, and Jeannette Wing (wing@cs.cmu.edu), Carnegie Mellon. [Joint Statement]

Participants

• Rajeev Alur. (alur@research.bell-labs.com) [Statement]
• Rance Cleaveland. (rance@eos.ncsu.edu) [Statement.]
• David Dill. (dill@cs.stanford.edu)
• Allen Emerson. (emerson@cs.utexas.edu)
• Stephen Garland. (garland@lcs.mit.edu)
• John Guttag. (guttag@lcs.mit.edu)
• Anthony Hall. (jah@praxis.co.uk)
• Tom Henzinger. (tah@eecs.berkeley.edu) [Statement]
• Gerard Holzmann. (gerard@research.bell-labs.com) [Statement]
• Cliff Jones. (cliff@cs.man.ac.uk) [Statement]
• Robert Kurshan. (k@research.bell-labs.com)
• Nancy Leveson. (leveson@cs.washington.edu) [Statement]
• Ken McMillan. (mcmillan@cadence.com)
• J Moore. (moore@cli.com)
• Doron Peled. (peled@research.bell-labs.com) [Statement]
• Amir Pnueli. (amir@wisdom.weizmann.ac.il)
• John Rushby. (rushby@csl.sri.com) [Statement]
• Natarajan Shankar. (shankar@csl.sri.com)
• Joseph Sifakis. (Joseph.Sifakis@imag.fr) [Statement]
• Prasad Sistla. (sistla@surya.eecs.uic.edu) [Statement]
• Bernhard Steffen. (steffen@brahms.fmi.uni-passau.de) [Statement]
• Pierre Wolper. (pw@montefiore.ulg.ac.be) [Statement]
• Jim Woodcock. (woodcock@comlab.ox.ac.uk) [Statement]
• Pamela Zave. (zave@research.bell-labs.com)

Conference Information

• See the Conference Home Page for information about other working groups, schedule, housing, etc.
• Sending to the email alias acm-formal-methods@cs.cmu.edu reaches the chairs plus all the participants.

• Instructions for Working Groups

Return to the Strategic Directions in Computing Research page