http://www.deploy-project.eu Industrial deployment of system engineering methods providing high dependability and productivity http://serene2010.uni.lu/ 15-16 April 2010 - SERENE 2010 SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems - Organized by the ERCIM working group SERENE Birkbeck College, London, United Kingdom Mon, 26 Oct 2009 15:42:00 GMT http://icfem09.inf.puc-rio.br/ICFEM.html December 9-12 2009 - Recent work in the project on Modal Systems Recent work in the project on Modal Systems: Specification, Refinement and Realisation will be presented at International Conference on Formal Engineering Methods - ICFEM 09 Rio de Janeiro, Brazil Wed, 21 Oct 2009 11:19:00 GMT http://www.liacs.nl/~marcello/fmco/fmco09.html November 4-6th 2009 - International Symposia on Formal Methods for Components and Objects - FMCO, part of the FMWeek 2009 International Symposia on Formal Methods for Components and Objects - FMCO, part of the FMWeek 2009 Deploy session with three invited presentations by SAP, University of Southampton, Abo Akademi and Newcastle University. Wed, 21 Oct 2009 11:11:00 GMT http://www.win.tue.nl/fm2009/ November 2-6th 2009 Tutorial on Rely/Guarantee-thinking, tutors: Joey Coleman and Cliff Jones. Tue, 20 Oct 2009 08:11:00 GMT http://www.fortia.org/twiki/bin/view/Main/iday09 November 5th 2009 - FM2009 FM2009 - Industry Day - Deploy Presentation on Experiences in the Development and Application of Rodin/Event-B Tue, 20 Oct 2009 06:11:00 GMT http://www.fortia.org/twiki/bin/view/Main/iday09 November 3rd 2009 - 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) Presentation: "Applying the B method in industry: a 15 year trajectory" - Thierry Lecomte (ClearSy) (Eindhoven) Tue, 20 Oct 2009 06:11:00 GMT http://www.bmethod.com/php/conference-workshop-recent-innovations-and-applications-in-b-en.php November 3rd 2009 - Workshop "Recent Innovations and Applications in B" (RIAB) Workshop "Recent Innovations and Applications in B" (RIAB) (Eindhoven) Mon, 19 Oct 2009 14:11:00 GMT http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=09381 September 13-18th 2009 - DEPLOY is heavily involved in the Dagstuhl seminar "Refinement Based Methods for the Construction of Dependable Systems" Mon, 19 Oct 2009 14:11:00 GMT http://ladc2009.lsd.ufcg.edu.br/ September 1-4 2009 - 4th Latin-American Symposium on Dependable Computing Paraiba, Brazil. September 2009 4th Latin-American Symposium on Dependable Computing Paraiba, Brazil. September 2009. Presentation on Structuring Specifications with Modes Paraiba, Brazil Mon, 19 Oct 2009 14:11:00 GMT http://www.event-b.org/rodin09.html July 16-17th 2009 - Rodin User and Developer Workshop Rodin User and Developer Workshop, University of Southampton Mon, 19 Oct 2009 14:11:00 GMT http://www.laas.fr/ewdc2009/ May 14-15th 2009 - 12th European Workshop on Dependable Computing (EWDC 2009) Deploy work on modelling fault tolerant middleware by refinement and on deriving system specifications, Toulouse Mon, 19 Oct 2009 14:11:00 GMT http://www.deploy-project.eu/mediawiki/index.php5?title=Formal_Methods_for_SOA_and_Internet_of_the_Future#Objectives February 16th 2009 - Working group on Formal Methods for SOA and Internet of the future The working group on Formal Methods for SOA and Internet of the future is organizing a one-day event on February 16th 2009 in Düsseldorf at the iFM conference. Two papers were presented: "Decomposition structures for Event-B" and "Class and State machine Refinement in UML-B" Mon, 19 Oct 2009 14:11:00 GMT http://www.deploy-project.eu/html/news_events.html November 27-28th 2008 - Workshop on Linking Formal Design and Verification Tools / Microsoft Research Cambridge Workshop on Linking Formal Design and Verification Tools / Microsoft Research Cambridge. A presentation was given "Design and verification using Rodin" Mon, 19 Oct 2009 14:11:00 GMT http://serene2008.uni.lu/ SERENE 08 - RISE/EFTS Newcastle upon Tyne (UK). Dedicated session reporting DEPLOY initial results and general presentations about the project SERENE 08 - RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Mon, 19 Oct 2009 14:11:00 GMT http://www.icfem2008.org/ October 27-31th 2008 - IFCEM 2008 Japan a presentation was given "Probing the Depths of CSP-M: A new FDR-compliant Validation Tool" Mon, 19 Oct 2009 14:11:00 GMT http://gridcomp.ercim.org/content/view/37/16/ October 22nd 2008 - EU GridCOMP project DEPLOY will be presented at a concertation meeting on: From Components to Services to Utilities organized by the EU GridCOMP project. Mon, 19 Oct 2009 14:11:00 GMT http://www-sop.inria.fr/oasis/fmco/fmco08.html October 21-23th 2008 - Software Technologies Concertation on Formal Methods for Components and Objects DEPLOY consortium participates with 4 invited talks in Software Technologies Concertation on Formal Methods for Components and Objects . Mon, 19 Oct 2009 14:11:00 GMT http://www.deploy-project.eu/html/news_events.html October 6-9th 2008 - VSTTE workshops Toronto. VSTTE workshops : Some talks were given: "Applying Rodin and Event-B to the filestore" and "A Roadmap for the Rodin Toolset". Mon, 19 Oct 2009 14:11:00 GMT http://www.deploy-project.eu/html/news_events.html September 1-2-3 2008 - ICTAC Using Design Patterns in the Event-B Formal Method. Mon, 19 Oct 2009 14:11:00 GMT http://www.lasid.ufba.br/sbmf2008/events.html August 28th 2008 - B Dissemination Day at the IPT Salvador (Brazil). B Dissemination Day at SBMF 2008 Conference. Mon, 19 Oct 2009 14:11:00 GMT http://www.dsic.upv.es/~slp2008/index.php July 15-17th 2008 - PPDP Valencia PPDP Valencia - Spain. A presentation was given "Declarative Programming for Verification: Lessons and Outlook" Mon, 19 Oct 2009 14:11:00 GMT http://cs.nju.edu.cn/tase08/ June 17-19th 2008 - TASE 2008 China - A presentation was given "ProB gets Nauty: Effective Symmetry Reduction for B and Z Models" Mon, 19 Oct 2009 14:11:00 GMT http://www.lina.sciences.univ-nantes.fr/ June 16th 2008 - Presentation of Event-B and the Rodin Platform Presentation of Event-B and the Rodin Platform" - Special day on B organized by the Nantes University Mon, 19 Oct 2009 14:11:00 GMT http://www.fokus.fraunhofer.de/go/qees2008/ June 13th 2008 - Symposium on Quality Engineering for Embedded Systems A general presentation about the DEPLOY project at Intern. Symposium on Quality Engineering for Embedded Systems. Berlin, Germany, 13 June 2008 Mon, 19 Oct 2009 14:11:00 GMT http://www.fm2008.abo.fi/tutorials.php#3 May 26-27th 2008 A tutorial "Event-B and the Rodin Platform" given at the occasion of the FM2008 conference DEPLOY project was presented at the exhibition of research projects and commercial tools. Turku, Finland, 26-27 May 2008 Mon, 19 Oct 2009 14:11:00 GMT http://www.stc-dessert.com/conf2008/ April 23-26th 2008 - Third International Conference on Dependable Systems, Services and Technologies Alexei Iliasov gave a Rodin platform demo at Third International Conference on Dependable Systems, Services and Technologies, Kirovograd, Ukraine, April 23-26, 2008. Mon, 19 Oct 2009 14:11:00 GMT http://www.tn.refer.org/unesco/semestre6/semestre6-eng.html#program April 21-25th 2008 - Event-B and the Rodin Platform "Event-B and the Rodin Platform" Unesco Chair in Tunis: April 21st-April 25th 2008 Mon, 19 Oct 2009 14:11:00 GMT http://www.fi-bled.eu/ March 30-31th 2008 - BLED Conference DEPLOY is represented at the BLED Conference. Bled, Slovenia Mon, 19 Oct 2009 14:11:00 GMT http://etaps08.mit.bme.hu/ 29 March 2008 - ETAPS 2008, FORMED workshop A talk entitled "Teaching Formal Methods: an experience with event-B" was given at ETAPS 2008, FORMED workshop Budapest. Tue, 04 Mar 2008 11:19:00 GMT http://www.deploy-project.eu/html/news_events.html 04-05 March 2008 - WP 2009-10 preparation and FP7 Projects Launch: Towards an Internet of Services Deploy will attend the EU event "WP 2009-10 preparation and FP7 Projects Launch: Towards an Internet of Services" Brussels, 4-5 March 2008 Tue, 04 Mar 2008 11:19:00 GMT