28 Nov. 2011

LNCS proceedings is available online

25 August 2011

Pictures from the conference are now on the web.

15 August 2011

Online Registration is closed, but OnSite registration is possible.

26 July 2011

Updated info about venue, etc.

18 June 2011

Program published

13 June 2011

EXTENSION: Doctoral Symposium has the submission site open for 12 more hours (i.e., until midnight, Oslo time).

7 June 2011

Registration page for the main conference is open.

6 June 2011

Author notification: list of accepted papers available

03 June 2011

Submission site opened for the Doctoral Symposium.

04 Apr. 2011

Deadline Extension: submission deadline has been extended to 14 April (midnight Hawaii time)

29 Mar. 2011

Sponsorships are available for participants. See Registration page for details on eligibility criteria.

16 Feb. 2011

FCT 2011 is honored by the invited speakers:

11 Feb. 2011

One can use the FCT11 Posters for display with the purpose of advertising the FCT 2011 symposium.

31 Jan. 2011

A Doctoral Symposium event will be associated with the FCT 2011. See the specific CFP.

10 Jan. 2011

First call for workshops is out

15 Dec. 2010

First call for papers is out

14 Dec. 2010

Web Page is up

Gemini is a "skin" created for PmWiki by Hans Bracker. Maybe "face" would be a better name, since it is what you are facing here: the appearance in form of colours, fonts and borders used, the specific layout of the page and its navigational aids, and the functionality of buttons and links employed therein.

`Gemini can show many different faces, and it is highly customisable and changable in its looks and functions. If Style Options are enabled you can choose from a number of styles for colours, fonts and layouts, for your own use, without affecting others.

`Gemini is under constant development. You can find detailed information on the Pmwiki website at Cookbook:GeminiSkin or the author's website at

Version: gemini 2010-05-08

This page may have a more recent version on PmWiki:GeminiSkin, and a talk page: PmWiki:GeminiSkin-Talk.

Our sponsors:

The Precise Modelling and Analysis group Department of Informatics University of Oslo Springer's Lecture Notes in Computer Science series The Research Council of Norway Det Norske Veritas (DNV) CISCO Systems, Inc.