FMGALS Workshop at the 12th International FME Symposium

 

FORMAL METHODS FOR GLOBALLY ASYNCHRONOUS LOCALLY SYNCHRONOUS (GALS) ARCHITECTURE

 

 

(FMGALS 2003)

 

 
 

In conjunction with the 12th International FORMAL METHODS EUROPE SYMPOSIUM

 
 

&

 
 

In cooperation with ACM SIGDA and ACM SIGARCH

 

 
 

Date: September 13, 2003 

 


Overview

Relevance to FM Community

Program Committee

Important Dates

Venue

Registration - NEW

Logistics

Program - NEW

 

Important Dates


Please Note! The Deadline for the submission of papers has been extended!
The New Deadline is June 22nd, 2003

 
Submission of Papers June 15, 2003
Acceptance Notification August 1, 2003
Camera Ready Version Due August 21, 2003
Workshop Date September 13, 2003