February 2008 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue Feb 5 13:30:08 PDT 2008
Ending: Sat Feb 16 11:42:58 PDT 2008
Messages: 3

• [MetaPRL Users] CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems   ss DTVCS
• [MetaPRL Users] CFP: 5th Workshop on Model Checking and AI   Doron Peled
• [MetaPRL Users] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th   ruy at cin.ufpe.br

Last message date: Sat Feb 16 11:42:58 PDT 2008
Archived on: Mon Feb 18 21:58:43 PDT 2008

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...