AMAST Mail 2000

[Prev][Next][Index]

CADE deadline correction --- January 31 not 15

Subject: CADE deadline correction --- January 31 not 15
From: David McAllester <dmac@research.att.com>
Date: Mon, 17 Jan 2000 14:12:15 -0500 (EST)
Sender: owner-cav@research.att.com

The deadline for CADE-17 is now January 31, not January 15 (sorry)

    David McAllester

Prev: model checking at CADE-17
Next: Hybrid Systems: Computation and Control: Call for Participation
Index: AMAST Mail 2000

[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]