[FOM] FMCAD'09 Call For Participation

[Armin Biere]

Dear colleague,

we put together a very interesting program for FMCAD'09!

   http://fmv.jku.at/fmcad09

Please register soon. Early registration ends on October 11!

FMCAD'09 takes place from November 15 through 18 at the
University of Texas at Austin.  Beside presentations of
30 accepted papers we have

   * two keynotes, one by Turing Award Winner E. Allen Emerson
     (UT Austin) on "Formal Methods: From Start to Limit" and
     another keynote from John D. Barton (Intel) on "Post Silicon
     Validation/Verification practices in the PC industry"

   * three industrial experience reports by Michael Theobald
     (D.E. Shaw), John Penix (Google), and
     Jorg Bormann (OneSpin Solutions),

   * and last but not least two tutorials, one by
     Nikolaj Bjorner (Microsoft) on "Bit-Precise Constraints:
     Applications and Decision Procedures" and another tutorial by
     Moshe Vardi (Rice) on "Formal Techniques for SoC Verification"

There are two panels organized by Vigyan Singhal (Oski Technology)

   * a semiconductor panel on the topic "Frontline users speak up!
     What works, What doesn't, and What are they doing about it?"

     Ken Albin (AMD), Alan Carlin (Freescale), Velu Durairaj (TI),
     Alan Hunter (ARM), Tushar Ringe (ADI), Dan Smith (NVIDIA)

     moderated by Adnan Aziz (UT Austin)

   * an EDA vendors lunch panel on "What will be the next
     breakthrough solutions in formal?"

     Harry Foster (Mentor Graphics),
     Ziyad Hanna (Jasper Design Automation),
     Kevin Harrer (Synopsys), Axel Scherer (Cadence)

     moderated by JL Gray (Verilab)

Note again that early registration ends already on October 11.

We hope to see you in Austin!

Regards,

Armin Biere and Carl Pixley (co-chairs)

__________ Information from ESET NOD32 Antivirus, version of virus 
signature database 4479 (20091004) __________

The message was checked by ESET NOD32 Antivirus.

http://www.eset.com