[TYPES/announce] FORMAL METHODS 2006: Early Reg. Deadline

[Jeffery Zucker]

           FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

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

               REMINDER:  EARLY REGISTRATION ENDS ON JULY 7


The FM Symposia continue to be the premier international forum for
practitioners and researchers applying mathematical methods to the design
of highly trusted computer systems.  It enables them to meet and exchange
experiences and ideas.  This is the 14th event in this series, and for
the first time will take place in North America.  Among the highlights:

* Technical Symposium with 36 papers (out of 158 submissions) and
  Best Paper Award
* Doctoral Symposium, aimed at young researchers
* Industry Day with 8 speakers reporting on industrial usage
* 5 Invited Speakers
* 10 Tutorials
* 4 Workshops
* Commercial Tool Exhibition
* Research Poster and Tool Exhibition
* Book Exhibition