[Haskell] FW: FORMAL METHODS 2006: Early Reg. Deadline

[Simon Marlow]

[ forwarding on behalf of Jeff Zucker <zucker at cas.mcmaster.ca>]


========================================================================
====


           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