30-04-2010: CONNECT organizes a session at ISOLA'2010 to
present its latest results. 20 October 2010, Hersonissos, Crete.
02-04-2010: CONNECT paper "Assume-Guarantee Verification for Probabilistic Systems" by Marta Kwiatkowska, Gethin Norman, David Parker and Hongyang Qu
was recommended for award at
TACAS 2010.
31-03-2010: CONNECT paper "When simulation meets anti-chains" by P.Abdulla, Y-F Chen, L. Holik, R. Mayr, and T. Vojnar
received the EACTS (European Association for Theoretical Computer Science) award for best theoretical paper at
ETAPS 2010.
30-03-2010: CONNECT keynote at Software Composition 2010 -
TOOLS 2010 Federated Conferences--
"From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems" by Valérie Issarny.
15-03-2010: CONNECT keynote at ViDaS 2010 --
"On the Fly Connector Synthesis: Challenges for Verification & Validation" by Valérie Issarny.
18-02-2010: The online consultation for FET Flagship Initiatives is re-opened.
Visit the
Web
to know more.
17-02-2010: The ICT'2010 Event will take place in Brussels, September 27-29 2010.
07-01-2010: CONNECT supports
CAMPUS'2010:
The 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services,
at DisCoTec'2010,
Amsterdam, The Netherlands, June 10, 2010
08-10-2009: CONNECT supports
ViDaS'2010:
The 1st International Workshop on Validation and Verification of Dynamic Software Systems,
at ICST'2010,
Paris, France, April 6-9 2010;
08-10-2009: CONNECT takes part in the
EternalS Coordination Action on Trustworthy Eternal Systems via Evolving
Software, Data and Knowledge, which will be launched March 2010.
08-10-2009: CONNECT summer school to be held in Bertinoro in June 13-18, 2011; more to be released in
September 2010.
08-10-2009: Visit our
publication page
to know more about latest CONNECT research.
30-04-2009: Please support the petition at http://www.ideasforlaquila.org --
it is a call for ideas for L'Aquila.
27-03-2009: CONNECT
session at ICECCS'2009:
14th IEEE International Conference on Engineering of Complex Computer Systems,
Postdam, Germany, 2-4 June 2009.
27-03-2009: CONNECT poster at
FET'2009.