Formal Methods Europe

Homepage of FME

Archives for the ‘Uncategorized’ Category

I-Day at FM 2005

By editor • Feb 11th, 2011 • Category: Uncategorized

New Secretary of FME

By Bernhard Aichernig • Sep 15th, 2009 • Category: News, Uncategorized

Lars-Henrik Ericsson is our new secretary!
Lars holds a Ph.D. from the Royal Institute of Technology in Stockholm (1993). His thesis concerned a proof-theoretical approach to logic programming. Between 1995 and 2001 he was a formal methods consultant. Lars-Henrik mainly worked with railway signalling applications and with development of tools and methodology for FM. Since 2001 [...]