Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
%TOC% ---++ Events <img src="%ATTACHURLPATH%/tgc_logo.jpg" alt="tgc_logo.jpg" width="100" height="37" /> *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_SM% *Mobius AnnualMeeting* 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.ethz.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_SM% *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. -------------- <img src="%ATTACHURLPATH%/ist.jpg" alt="ist.jpg" width="70" height="30" /> *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 ------------- <img src="%ATTACHURLPATH%/ist.jpg" alt="ist.jpg" width="70" height="30" /> *DISTTRUST workshop:* http://www.disttrust.org/ --------------- %MOBIUS_SM% *Mobius Annual Meeting* in Madrid, Spain. Date: 19, 20, 21, 22 JUNE 2006 ------------------------------ %MOBIUS_SM% *Kick Off Meeting* on October 6, 7 and 8th, 2005. The meeting has been at INRIA, Sophia-Antipolis, France --------------- ---++ News * <img src="%ATTACHURLPATH%/SERENITYLOGO1.gif" alt="SERENITYLOGO1.gif" width="140" height="80" />Latest SERENITY News, about SERENITY’s and Ambient Intelligence R&D developments, available at http://www.serenity-forum.org/-Serenity-News-.html ----- * *FET* 3rd Newsletter [[http://cordis.europa.eu/ist/fet/nl.htm][%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* %NEWWIN{http://istresults.cordis.europa.eu/index.cfm/section/news/tpl/article/BrowsingType/Features/ID/82946, <img src="%ATTACHURLPATH%/ist-norm.jpg" alt="ist-norm.jpg" width="90" height="50" border="0" /> }%. 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* [[%ATTACHURL%/NewsletterIssue2.pdf][%PDF%]]: ----- * A new address for *CORDIS* website (where you call find all information related to FP6 contractual rules and templates) : http://cordis.europa.eu/ <img src="%ATTACHURLPATH%/cordislogo.gif" alt="cordislogo.gif" width="45" height="40" /> -------- * *FET* 2nd Newsletter [[ftp://ftp.cordis.lu/pub/ist/docs/fet/nl-2.pdf][%PDF%]] ------ * ERCIM Newsletter Special theme: *Security and Turst Management* (including Article from Gilles Barthe about Mobius): [[http://www.ercim.org/publication/Ercim_News/enw63/][<img src="%ATTACHURLPATH%/ercimnews.gif" alt="ercimnews.gif" width="100" height="30" border="0" />]] ----
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