FMweek invited speaker: Prof. E. Allen Emerson↑ (University of Texas, Austin↑) co-recipient of the 2007 ACM Turing Award↑ Submission server: * Spotlight event: Authors of papers presented in the tools track will be invited to participate in the Tool Exhibition. A special spotlight session of the Exhibition will feature all these tools. Complete and up to date information can be found at . There will be tutorials, workshops, a Doctoral Symposium, and a Tools Exhibition. FM2009 is also part of the 1st FMweek (Formal Methods week, ), which will bring together a variety of events in the area.