Calendar
Calendar of Events
May 2008
M T W T F S S
   1234
567891011
12131415161718
19202122232425
262728293031
Sponsor Links
Contact GoingtoMeet.com

Name
E-Mail
Message
Enter the code below:
If you can't read the image textto load another one.

Fast Facts

15th International Symposium on Formal Methods

May 26, 2008 - May 30, 2008
Abo Akademi University, Turku, Länsi-Suomen lääni, Finland
 

Highlights

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. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.

Event Profiles

Sponsors: Nokia, Springer, Fortia
Speakers: Professor Arvind (Massachusetts Institute of Technology), Professor Dawson Engler (Stanford University), Professor Shmuel Katz (The Technion), Professor Jay Misra, (The University of Texas at Austin)

Contact Details

Event website: http://www.fm2008.abo.fi/

Tags

Contact Organizer

Organizer does not have email contact specified.