[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FMCAD'09 Call For Participation



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)