[TYPES/announce] FORMAL METHODS 2006: Call for Participation

[Jeffery Zucker]

[Apologies for multiple postings]


           FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

                          August 21 - 27,  2006
               McMaster University, Hamilton, Ontario, Canada
                         http://fm06.mcmaster.ca/

                          CALL FOR PARTICIPATION


NOTE: REGISTRATION INFORMATION IS AVAILABLE AT 
                http://fm06.mcmaster.ca/symposium_reg.htm


NOTE: THE CALLS FOR POSTERS AND TOOL DEMONSTRATIONS,
AND FOR THE DOCTORAL SYMPOSIUM, ARE STILL OPEN.  
Deadline May 26.  See
	http://fm06.mcmaster.ca/call_research_exhibition.htm
	http://fm06.mcmaster.ca/doctoral_symposium.htm



FM'06 is the fourteenth in a series of symposia organized by Formal
Methods Europe, http://www.fmeurope.org, an independent association whose
aim is to stimulate the use of, and research on, formal methods for
software development.  The symposia have been notably successful in
bringing together innovators and practitioners in precise mathematical
methods for software development, industrial users as well as researchers.



INVITED SPEAKERS
There are 5 distinguished invited speakers:

* Ernie Cohen, Microsoft:
  "Validating the Microsoft Hypervisor"

* Nicholas Griffin, Director, Bertrand Russell Research Centre, McMaster:
  "Bertrand Russell: A Philosophy for Formal Methods and a 
  Formal Method for Philosophy"

* Thomas A. Henzinger, Professor of Computer and Communication Sciences,
  EPFL, Switzerland:  "Software Design Automation"

* Peter Lindsay, Boeing Chair in Systems Engineering, University of Queensland:
  "Distributed Control in Network-Based Systems"

* George Necula, Associate Professor in Computer Science, UC Berkeley:
  "Data Structure Specifications via Local Equality Axioms"



TECHNICAL SYMPOSIUM:  August 23 - 25
There are 36 speakers.  See 
	http://fm06.mcmaster.ca/technical_program.htm



WORKSHOPS
There are 4 workshops:

* Formal Methods Education Workshop
      Saturday, August 26, 2006

* International Workshop on Formal Aspects in Security and Trust
      Saturday August 26 - Sunday August 27, 2006S

* Workshop on Software Certification
      Saturday August 26 - Sunday August 27, 2006

* The Second Overture Workshop 
      Sunday August 27, 2006

For more information, go to
	http://fm06.mcmaster.ca/workshops.htm



TUTORIALS
There are 9 full-day and half-day tutorials.  See
	http://fm06.mcmaster.ca/tutorials.htm



ORGANIZATION
General Chair: Emil Sekerinski (McMaster)
Program Chairs: Jayadev Misra (U. Texas, Austin), Tobias Nipkow (TU Munich)
Workshop Chair: Tom Maibaum (McMaster)
Tutorial Chair: Jin Song Dong (NUS)
Tools and Poster Exhibition Chair: Marsha Chechik (U. Toronto)
Industry Day Chairs: Volkmar Lotz (SAP France), Asuman Suenbuel (SAP US)
Doctoral Symposium Chair: Augusto Sampaio (U. Pernambuco)
Sponsorship Chair: Juergen Dingel (Queens U.)



PROGRAM COMMITTEE
Jean-Raymond Abrial (ETH Zurich)
Alex Aiken (Stanford U.)
Keijiro Araki (Kyushu U.)
Ralph Back (Abo Akademi)
Gilles Barthe (INRIA)
David Basin (ETH Zurich)
Ed Brinksma (U. Twente)
Michael Butler (U. Southampton)
Rance Cleaveland (U. Stony Brook)
Jorge Cuellar (Siemens)
Werner Damm (U. Oldenburg)
Frank de Boer (U. Utrecht)
Javier Esparza (U. Stuttgart)
Jose Fiadeiro (U. Leicester)
Susanne Graf (VERIMAG)
Ian Hayes (U. Queensland)
Gerard Holzmann (JPL)
Cliff Jones (U. Newcastle)
Gary T. Leavens (Iowa State U.)
Rustan Leino (Microsoft)
Xavier Leroy (INRIA)
Dominique Mery (LORIA)
Carroll Morgan (UNSW)
David Naumann (Stevens)
E.-R. Olderog (U. Oldenburg)
Paritosh Pandya (TIFR)
Sriram Rajamani (Microsoft)
John Rushby (SRI)
Steve Schneider (U. Surrey)
Vitaly Shmatikov (U. Texas, Austin)
Bernhard Steffen (U. Dortmund)
P.S. Thiagarajan (NUS)
Axel van Lamsweerde (U. Louvain)
Martin Wirsing (LMU Munich)
Pierre Wolper (U. Liege)



LOCAL ORGANIZATION
Publicity: Wolfram Kahl, Alan Wassyng, Jeff Zucker
Tools, Posters, Book Exhibition: Spencer Smith
Social Events: Ridha Khedri
Local Arrangements:: William Farmer, Mark Lawford
Events Co-ordinator: Ryszard Janicki