Events
Trustworthy Global Computing 2007
TGC 2007, third edition, November 5-6, 2007 in SOPHIA-ANTIPOLIS, FRANCE.
=====================================================
New deadlines:
- abstracts: August 3, 2007
- papers: August 10, 2007
=> Proceeding as a volume of Springer LNCS confirmed <=
======================================================
Scope
The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behaviour and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
Important Dates
- Abstract submissions: July 27, 2007
- Paper submissions: August 3, 2007
- Notification to authors: September 17, 2007
- Final version for pre-proceedings: October 5, 2007
- Conference: November 5-6, 2007
- Version for post-proceedings: December 7, 2007
The post-proceedings will be published in
Springer's Lecture Notes in Computer Science.
Mobius Annual Meeting in Dublin, Ireland. Date: 5, 6, 7 JUNE 2007
LASER Summer School on Software Engineering
Applied Software Verification
Practical advances towards a Grand Challenge
September 9-15, 2007, Elba, Italy
http://laser.inf.ethz.ch
Application deadline:
April 30, 2007
Goals
The LASER school is intended both for researchers (including PhD
students) and for professional software engineers and managers who
want to benefit from the best in software
technology advances. The focus of LASER is resolutely practical,
although theory is welcome to establish solid foundations. The format
of the school favors extensive interaction
between participants and speakers.
Topics and speakers
The 2007 LASER school is part of the ongoing "Grand Challenge" on
software verification, initiated by Tony Hoare. It has a special
focus on tools for software verification. This means
in particular that it has a highly practical character and will
provide participants with a clear view of techologies and tools
available today to verify software. The school brings
together six speakers, each closely involved with tools for
verification:
- Thomas Ball, Microsoft Research
- Gérard Berry, Esterel Technologies
- Tony Hoare, Microsoft Research
- Bertrand Meyer, ETH Zurich
- Peter Müller, ETH Zurich
- Natarajan Shankar, SRI International
How to apply?
Use the online registration form available on the LASER website
http://laser.inf.ethz.ch.
Registration is open until 30 April 2007. The number of participants
is strictly limited to ensure quality interaction with the lecturers
and the rest of the audience. For more
information, visit our website or contact the organizers at
laser@se.inf.ethzNO_SPAM.ch.
Venue
As in previous years, LASER is held in the magnificent setting of the
Elba island off the coast of Tuscany, easily reachable by plane
(Pisa) and train. Time is set aside
to avoid the amenities of the 4-star Hotel del Golfo (private beach,
tennis court etc.) as well as the natural and cultural riches of
Elba, a history-laden jewel of the
Mediterranean.
25.02.07 - 02.03.07, Dagstuhl Seminar 07091 on Mobility, Ubiquity and Security - program available at
http://www.dagstuhl.de/en/program/calendar/semhp/?semid=30850 - speakers from MOBIUS.
2006 International Symposium on "Trustworthy Global Computing" http://www.imtlucca.it/tgc2006 IMT, Lucca, November 7-9, 2006 co-located with the cluster review of
IST-FET Global Computing II proactive initiative
DISTTRUST workshop: http://www.disttrust.org/
Mobius Annual Meeting in Madrid, Spain. Date: 19, 20, 21, 22 JUNE 2006
Kick Off Meeting on October 6, 7 and 8th, 2005. The meeting has been at INRIA, Sophia-Antipolis, France
News
- FET 3rd Newsletter
- We are happy to inform you that an article on MOBIUS project in combination with SERENITY and BIONETS projects has been published on the IST Results website . Results are also promoted through the wire services Alpha Galileo, PR Web, EurekAlert, CORDIS wire, Pressbox and Webwire.
- Second issue of the newsletter about ICT R&D in Trust and Security from the Unit D4 of the Directorate General Information Society and Media of the European Commission :
- A new address for CORDIS website (where you call find all information related to FP6 contractual rules and templates) : http://cordis.europa.eu/
- FET 2nd Newsletter
- ERCIM Newsletter Special theme: Security and Turst Management (including Article from Gilles Barthe about Mobius):