• SEFM 2012
  Join us...
• SEFM 2012
  Thessaloniki, 1-5 October 2012
• SEFM 2012
  Thessaloniki, Greece
• SEFM 2012
  10^th International Conference on Software Engineering and Formal Methods
• SEFM 2012
  Thessaloniki, Greece, 1-5 October 2012

• Home
• Scope
• Important Dates
• Calls & Submissions
• Keynote Speakers
• Cliff B. Jones
• Corrado Priami
• Wolfgang Reisig
• Chairs & Committees
• Workshops
• School
• Registration
• Conference Venue
• Sponsors
• Program
• Downloads
• News
• Previous Conferences

Keynote Speakers

---

Cliff B. Jones

Abstraction for concurrency

Corrado Priami

Computing as enabling technology for Systems Biology

Wolfgang Reisig

Service Oriented Computing: Forthcoming challenges

© 2012, SEFM 2012;

Home | News | Contact Us | Credits | Sitemap | Last updated: 11 Nov. 2011