News
iFM : 10th International Conference on integrated Formal ...
www.wikicfp.com
iFM PROGRAMME COMMITTEE CHAIRS: Einar Broch Johnsen, University of Oslo, Norway Luigia Petre, Åbo Akademi University, Finland iFM TUTORIALS and WORKSHOPS CHAIR Pontus Boström, Åbo Akademi University, Finland ...
Prof Einar Broch (Norway) receives the ITA Award for his...
about.ita-aites.org
Prof Einar Broch (Norway) receives the ITA Award for his Lifetime Achievement - CONGRATULATIONS Watch the video Share it with friends and colleag...
News and Events: Upcoming Events | Institute for Logic, Language and...
www.illc.uva.nl
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
Program – SEFM Technische Universität Braunschweig
www.isf.cs.tu-bs.de
SEFM Keynote 1 (Chair: Einar Broch Johnsen). We Need a Formal Semantics for Testability Transformation; SEFM community to the rescue?
sorted by relevance / date