DEPLOY is heavily involved in the ABZ’2010 conference held at Orford, Canada, on February 22-25 2010.

Several presentations will be given during the main conference and the satellite workshop [WS-TBFM 2010], completed by a one-day tutorial on automatic refinement in B:

Workshop on Tool Building in Formal Methods

• Developing Camille, a Text Editor for Rodin - Jens Bendisposto, Fabian Fritz and Michael Leuschel
• Decomposition Tool for Event-B - Renato Alexandre Silva, Carine Pascal, Thai Son Hoang and Michael Butler
• An EMF Framework for Event-B - Colin Snook, Fabian Fritz and Alexei lliasov
• Tool Support for Event-B Code Generation - Andrew Edmunds and Michael Butler

Main Conference

• Structured Event-B Models and Proofs - Stefan Hallerstede
• Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance - Andrew Ireland, Gudmund Grov and Michael Butler
• On an Extensible Rule-based Prover for Event-B - Issam Maamria, Michael Butler, Andrew Edmunds and Abdolbaghi Rezazadeh
• A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking - Edd Turner, Michael Butler and Michael Leuschel
• A Basis for Feature-oriented Modelling in Event-B - Jennifer Sorge, Michael Poppleton and Michael Butler
• Event-B Decomposition for Parallel Programs - Thai Son Hoang and Jean-Raymond Abrial
• Refinement Animation for Event-B -- Towards a Method of Validation - Stefan Hallerstede, Michael Leuschel and Daniel Plagge
• Supporting Reuse in Event B Development: Modularisation Approach - Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic and Timo Latvala

BART Tutorial (B Automatic Refinement Tool)

December 9-12 2009
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
http://icfem09.inf.puc-rio.br/ICFEM.html

November 4-6th 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.
http://www.liacs.nl/~marcello/fmco/fmco09.html

November 2-6th 2009
Tutorial on Rely/Guarantee-thinking, tutors: Joey Coleman and Cliff Jones.
http://www.win.tue.nl/fm2009/

November 5th 2009
FM2009 - Industry Day - Deploy Presentation on Experiences in the Development and Application of Rodin/Event-B
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)

November 3rd 2009
Workshop "Recent Innovations and Applications in B" (RIAB)
(Eindhoven)

September 13-18th 2009
DEPLOY is heavily involved in the Dagstuhl seminar "Refinement Based Methods for the Construction of Dependable Systems"

September 1-4 2009
4th Latin-American Symposium on Dependable Computing Paraiba, Brazil. September 2009
Presentation on Structuring Specifications with Modes
Paraiba, Brazil

July 16-17th 2009
Rodin User and Developer Workshop, University of Southampton

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

February 16th 2009
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"
• "Class and State machine Refinement in UML-B"

November 27-28th 2008
Workshop on Linking Formal Design and Verification Tools / Microsoft Research Cambridge
A presentation was given "Design and verification using Rodin"

November 17-19th 2008
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
http://serene2008.uni.lu

October 27-31th 2008
IFCEM 2008
Japan
a presentation was given "Probing the Depths of CSP-M: A new FDR-compliant Validation Tool"
http://www.icfem2008.org/

October 22nd 2008
DEPLOY will be presented at a concertation meeting on: From Components to Services to Utilities organized by the EU GridCOMP project.
http://gridcomp.ercim.org/content/view/37/16/

October 21-23th 2008
DEPLOY consortium participates with 4 invited talks in Software Technologies Concertation on Formal Methods for Components and Objects
http://www-sop.inria.fr/oasis/FMCO/fmco08.html

October 6-9th 2008
Toronto
VSTTE workshops : Some talks were given: "Applying Rodin and Event-B to the filestore" and  "A Roadmap for the Rodin Toolset"

September 1-2-3 2008
ICTAC (Istanbul) 
Using Design Patterns in the Event-B Formal Method.

August 28th 2008:
Sao Paulo (Brazil)
B Dissemination Day at the IPT
http://www.grupo-aes.com.br/site/home/?id=95

August 26th 2008:
Salvador (Brazil)
B Dissemination Day at SBMF 2008 Conference 
http://www.lasid.ufba.br/sbmf2008/events.html

July 15-17th 2008
PPDP Valencia
Spain
a presentation was given "Declarative Programming for Verification: Lessons and Outlook"
http://www.dsic.upv.es/~slp2008/index.php 

June 17-19th  2008
TASE 2008
China
a presentation was given "ProB gets Nauty: Effective Symmetry Reduction for B and Z Models"
http://cs.nju.edu.cn/tase08/ 

June 16th 2008:
"Presentation of Event-B and the Rodin Platform" - Special day on B organized by the Nantes University
(http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/index.html)

June 13th 2008:
A general presentation about the DEPLOY project at Intern. Symposium on Quality Engineering for Embedded Systems
(http://www.fokus.fraunhofer.de/go/qees2008/ ),
Berlin, Germany, 13 June 2008

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
(http://www.fm2008.abo.fi/tutorials.php#3),
Turku, Finland, 26-27 May 2008

April 23-26th 2008
Alexei Iliasov gave a Rodin platform demo at Third International Conference  on Dependable Systems, Services and Technologies,
Kirovograd, Ukraine, April 23-26, 2008.
http://www.stc-dessert.com/conf2008/

April 21-25th 2008:
"Event-B and the Rodin Platform" Unesco Chair in Tunis: April 21st-April 25th 2008
(http://www.tn.refer.org/unesco/semestre6/semestre6-eng.html#Program)

March 30-31th 2008:
DEPLOY is represented at the BLED Conference.
Bled, Slovenia - www.fi-bled.eu

March 29th 2008 :
A talk entitled "Teaching Formal Methods: an experience with event-B" was given at ETAPS 2008, FORMED workshop
Budapest

March 04-05th 2008:
Deploy will attend the EU event "WP 2009-10 preparation and FP7 Projects Launch: Towards an Internet of Services"
Brussels, 4-5 March 2008

January 26th 2008:
ERTS 2008. http://www.erts2008.org/  Special Event: Open Source Embedded Real Time Software. Presentation:  "A System Development Process with Event-B and the Rodin Platform".