Skip to topic | Skip to bottom
... Mobius IST-15905
Cordis FP6

Start of topic | Skip to actions

Events

tgc_logo.jpg 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 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.

Mobius 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.

ist.jpg 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

ist.jpg DISTTRUST workshop: http://www.disttrust.org/

Mobius Mobius Annual Meeting in Madrid, Spain. Date: 19, 20, 21, 22 JUNE 2006

Mobius Kick Off Meeting on October 6, 7 and 8th, 2005. The meeting has been at INRIA, Sophia-Antipolis, France

News

  • FET 3rd Newsletter PDF

  • 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 ist-norm.jpg . 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 PDF:

  • A new address for CORDIS website (where you call find all information related to FP6 contractual rules and templates) : http://cordis.europa.eu/ cordislogo.gif

  • FET 2nd Newsletter PDF

  • ERCIM Newsletter Special theme: Security and Turst Management (including Article from Gilles Barthe about Mobius): ercimnews.gif



End of topic
Skip to action links | Back to top
r1.41 : Edit | Attach image or document | Printable version | Raw text | Page history | More actions

You are here: Events > WebHome

to top

Ideas, requests, problems regarding the Mobius site QUESTION?