Second International Workshop on Formal Methods for
Globally Asynchronous Locally Synchronous Design (FMGALS'2005)
In cooperation with ACM SIGDA and SIGARCH

  Colocated with ACM-IEEE MEMOCODE'2005 -- July 15, 2005 -- Verona, Italy


Invited Keynote Speakers
Ad Peeters, Philips Research
Alberto Sangiovanni Vincentelli, UC Berkeley

General cochairs
Sandeep Shukla, Virginia Tech
Ken Stevens, Intel

Program cochairs
Montek Singh, UNC Chapel Hill
Jean-Pierre Talpin, INRIA

Local Arrangement Chair
Franco Fummi, Verona
 
CALL FOR PAPERS 

Submissions closed

PRELIMINARY PROGRAM
Now available

Now open

PREVIOUS EDITIONS