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

[Peter Csaba Ölveczky]

---------------------------------------------------------------------
                       Call for Participation

                             FACS 2011           

 8th International Symposium on Formal Aspects of Component Software

                 Oslo, Norway, September 14-16, 2011                

                     http://facs2011.ifi.uio.no     

---------------------------------------------------------------------

  *** 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)


Registration:

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 
http://facs2011.ifi.uio.no/index.php?n=Conference.AcceptedPapers


Contact:

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