model checking at CADE-17

• Subject: model checking at CADE-17
• From: David McAllester <dmac@research.att.com>
• Date: Mon, 17 Jan 2000 12:55:09 -0500 (EST)
• Sender: owner-cav@research.att.com

This message is being sent to a mailing list specifically created in
an attempt to attract submissions to CADE from the model checking community.
As you may have noticed, the CADE submission deadline is now January 15.

This year the CADE program committee includes David Dill, Tom Henzinger, Ken McMillan,
Amir Pnueli, and Moshe Vardi.

Please consider submitting to CADE (www.research.att.com/conf/cade).

       David McAllester,  CADE-17 program chair

• Prev: CADE-17 submission deadline extended to January 31
• Next: CADE deadline correction --- January 31 not 15
• Index: AMAST Mail 2000