[TYPES/announce] FACS 2011: First Call for Participation

Peter Csaba Ölveczky peterol at ifi.uio.no
Tue Aug 23 06:09:53 EDT 2011

                       Call for Participation

                             FACS 2011           

 8th International Symposium on Formal Aspects of Component Software

                 Oslo, Norway, September 14-16, 2011                



  *** Early registration deadline: September 2 ***

FACS 2011 is concerned with the application of formal methods in 
component-based and service-oriented software development.

FACS 2011 is hosted by the Department of Informatics at the University of Oslo.
Oslo is the capital city of Norway, and is mentioned as one
of the "31 places to go to in 2010" by The New York Times.

Invited speakers:

Jose Meseguer   (University of Illinois at Urbana-Champaign)
John Rushby     (SRI International)
Ketil Stølen     (SINTEF)


Please register at http://facs2011.ifi.uio.no/index.php?n=General.Registration
Early registration deadline: September 2

Accepted appers:

The list of accepted papers can be found at 


(web)    http://facs2011.ifi.uio.no
(email)  facs-2011 at ifi.uio.no

More information about the Types-announce mailing list