FMGALS Workshop at the 12th International FME Symposium

	FMGALS Workshop at the 12^th International FME Symposium
	FORMAL METHODS FOR GLOBALLY ASYNCHRONOUS LOCALLY SYNCHRONOUS (GALS) ARCHITECTURE
	(FMGALS 2003)
	In conjunction with the 12^th International FORMAL METHODS EUROPE SYMPOSIUM
	&
	In cooperation with ACM SIGDA and ACM SIGARCH
	Date: September 13, 2003

Overview

Relevance to FM Community

Important Dates

Venue

Program - NEW

Important Dates

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

FORMAL METHODS FOR GLOBALLY ASYNCHRONOUS LOCALLY SYNCHRONOUS (GALS) ARCHITECTURE