[Om-announce] FMCAD'09 Call For Participation
biere at jku.at
Sun Oct 4 19:16:50 CEST 2009
we put together a very interesting program for FMCAD'09!
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!
Armin Biere and Carl Pixley (co-chairs)
More information about the Om-announce