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) _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
