[isabelle] IFM 2005: Call for Participation




	      LIST OF ACCEPTED PAPERS and CALL FOR PARTICIPATION

       Fifth International Conference on Integrated Formal Methods (IFM)

			 November 30 - December 2, 2005
			   Eindhoven, The Netherlands

			   http://www.win.tue.nl/ifm/

INVITED SPEAKERS

 Patrice Godefroid - Bell Labs (USA)
 David Parnas - University of Limerick (Ireland), McMaster University (Canada)
 Doron Peled - University of Warwick (UK)

INVITED TUTORIAL

 Holger Hermanns - Saarland University (Germany)

VENUE

IFM2005 is hosted by the Technische Universiteit Eindhoven
(TU/e). Eindhoven is the largest city of the southern Netherlands and
the fifth largest in the Netherlands as a whole. It is a diverse city
offering innovation and technology, as well as cultural activities
(museums, theatre and music), and leading in sports such as swimming
(Olympic champion Pieter van den Hoogenband) and soccer (PSV). In the
region of Eindhoven, well-known companies such as Philips, ASML and
DAF, and dozens of other engineering companies are situated.

Eindhoven and the TU/e campus are easily reachable by plane (Eindhoven
Airport) and train (also from Schiphol Airport).

REGISTRATION

At the IFM web site, the registration page can be found. The early
registration deadline is October 2nd, 2005.

The registration fee includes a copy of the proceedings, attendance of
the tutorial and the main conference, lunches, refreshments in the
coffee breaks, a welcome reception, an excursion and dinner banquet.

PROGRAM COMMITTEE CO-CHAIRS

 Jaco van de Pol, CWI, The Netherlands
 Judi Romijn, Eindhoven University of Technology, The Netherlands
 Graeme Smith, University of Queensland, Australia

ACCEPTED PAPERS

 Adaptive Techniques for Specification Matching in Embedded Systems: A
 Comparative Study
 Robi Malik and Partha S. Roop

 A Fixpoint Semantics of Event Systems with and without Fairness
 Assumptions
 Hector Ruiz Barradas and Didier Bert

 Agile Formal Method Engineering
 Richard Paige and Phil Brooke

 An Automated Failure Mode and Effect Analysis based on High-Level
 Design Specification with Behavior Trees
 Lars Grunske, Peter Lindsay, Nisansala Yatapanage and Kirsten Winter

 An Integrated Framework for Scenarios and State Machines
 Bikram Sengupta and Rance Cleaveland

 Chunks: component verification in CSPB
 Helen Treharne, Steve Schneider and Neil Evans

 Consistency Checking of Sequence Diagrams and Statechart Diagrams
 Using the pi-Calculus
 Vitus Lam and Julian Padget

 Consistency in UML and B multi-view specifications
 Dieu Donne Okalas Ossami, Jean-Pierre Jacquot and Jeanine Souquieres

 CZT Support for Z Extensions
 Tim Miller, Leo Freitas, Petra Malik and Mark Utting

 Development of Fault Tolerant Grid Applications Using Distributed B
 Pontus Bostrom and Marina Walden

 Embedding the Stable Failures Model of CSP in PVS
 Kun Wei and James Heather

 Enabling Security Testing from Specification to Code
 Shane Bracher and Padmanabhan Krishnan

 Exp.Open 2.0: A flexible tool for combining partial order,
 compositional, and on-the-fly verification methods
 Frederic Lang

 Formal methods meet Domain Specific Languages
 Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall and Gilles Muller

 Formalising Interactive Voice Services with SDL
 Kenneth Turner

 Model-based Prototyping of an Interoperability Protocol for Mobile
 Ad-hoc Networks
 Peder Christian Norgaard, Michael Westergaard and Lars Kristensen

 Synthesizing B Specifications from EB3 Attribute Definitions
 Frederic Gervais, Marc Frappier and Regine Laleau

 State/Event Software Verification for Branching-Time Specifications
 Sagar Chaki, Edmund Clarke, Orna Grumberg, Joel Ouaknine and Natasha
 Sharygina

 Translating Hardware Process Algebras into Standard Process Algebras
 -- Illustration with CHP and LOTOS
 Gwen Salaun and Wendelin Serwe

SPONSORS

IFM2005 is sponsored by FME and BCS-FACS.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.