[TYPES/announce] CfP: Nordic Workshop on Programming Theory (NWPT'07)

, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark * Michael R. Hansen, Techn. U. of Denmark, Denmark * Anna Ingolfsdottir, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark * Einar Broch Johnsen, University of Oslo, Norway * Kim G. Larsen, Aalborg Univ., Denmark * Bengt Nordström, Univ. of Gothenburg

[TYPES/announce] Associate Professor Position in Formal Methods at the University of Oslo, Norway

announcement at http://www.admin.uio.no/opa/ledige-stillinger/2007/vit/2Ass.Prof.MN-07-8778.html For informal requests about the position and the formal methods group, feel free to contact Associate professor Einar Broch Johnsen at [EMAIL PROTECTED], Associate professor Peter Ölveczky at [EMAIL

[TYPES/announce] TTSS'09: final call for papers

deadline:29 May 2008 Notification of acceptance: 10 June 2008 Workshop: 16-17 August 2008 Program Committee Program Chairs Einar Broch Johnsen Univ. of Oslo, Norway Volker StolzUNU-IIST, Macau SAR, China Program Committee

[TYPES/announce] integrated Formal Methods 2013, Turku, Finland - First Call for Papers

COMMITTEE CHAIRS: Einar Broch Johnsen, University of Oslo, Norway Luigia Petre, Åbo Akademi University, Finland iFM 2013 TUTORIALS and WORKSHOPS CHAIR Pontus Boström, Åbo Akademi University, Finland Tutorial and Workshop proposal deadline: December 1, 2012 iFM 2013 ORGANIZING COMMITTEE CHAIR Luigia

[TYPES/announce] integrated Formal Methods (iFM 2013): Last Call for Papers

: - Einar Broch Johnsen, University of Oslo, Norway - Luigia Petre, Åbo Akademi University, Finland iFM 2013 TUTORIALS and WORKSHOPS CHAIR Pontus Boström, Åbo Akademi University, Finland iFM 2013 ORGANIZING COMMITTEE CHAIR Luigia Petre, Åbo Akademi University, Finland PROGRAM COMMITTEE - Erika Abraham

[TYPES/announce] iFM 2013 deadline extension

by the organizers, and present the paper. iFM PROGRAMME COMMITTEE CHAIRS: - Einar Broch Johnsen, University of Oslo, Norway - Luigia Petre, Åbo Akademi University, Finland iFM 2013 TUTORIALS and WORKSHOPS CHAIR Pontus Boström, Åbo Akademi University, Finland iFM 2013 ORGANIZING COMMITTEE CHAIR Luigia Petre

[TYPES/announce] 2 PhD positions in Formal Methods for Cloud Computing in Oslo

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2 PhD positions combining formal methods, static analysis, and semantics with cloud computing and reflection, are available at the Department of Informatics, University of Oslo. The two

[TYPES/announce] 2 PhD positions in Formal Methods at the Sirius Center in Oslo

be found here: uio.easycruit.com/vacancy/1695249/64290 Application deadline: 16. September, 2016 — Einar Broch Johnsen professor Dept. of Informatics, University of Oslo Tel +47 2285 2509, email ein...@ifi.uio.no

[TYPES/announce] 2nd CfP: FM 2018

cal University of Denmark, DK Ian J. Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jozef Hooman, TNO-ESI and Radboud University Nijmegen, NL Laura Humphrey, Air Force Research Laboratory, US Fuyuki Ishikawa, National Institute of Informatics, JP Einar Broch Johns

[TYPES/announce] CfP: SEFM 2018

at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch

[TYPES/announce] Final CfP: FM 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] *** last Call for Papers

[TYPES/announce] 2nd CfP: SEFM 2018

2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018

[TYPES/announce] Final CfP: SEFM 2018

at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch

[TYPES/announce] CfP: SEFM 2018 EXTENDED DEADLINE

Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) KEYNOTES SEFM 2018 will feature two exciting keynotes

[TYPES/announce] Uni Tromsø, Norway: PhD in formal methods for scalable data-driven cloud applications

August 15 2018 For more information, contact Einar Broch Johnsen (http://einarj.at.ifi.uio.no/) Anders Andersen (http://www.cs.uit.no/~aa/) Thomas Kramer (https://uit.no/om/enhet/ansatte/person?p_document_id=138601_dimension_id=88136)

[TYPES/announce] Postdoc positions in formal methods, U. Oslo

annum depending on qualifications • a professionally stimulating working environment • attractive welfare benefits and a generous pension agreement, in addition to Oslo’s family-friendly environment with its rich opportunities for culture and outdoor activities — Einar Broch Johnsen Professor

[TYPES/announce] PhD Position at U. Oslo: Formal Methods for Probabilistic Programs

-for-probabilistic-programs ——— Einar Broch Johnsen, University of Oslo, Norway ein...@ifi.uio.no

[TYPES/announce] Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo)

of the project: 36 months * Main Academic Supervisor: prof. Einar Broch Johnsen (UiO, Norway), contact: ein...@ifi.uio.no * Co-supervisors: prof. Michael Beetz (UB, Germany), dr. Erik Stensrud (DNV, Norway) *** How to Apply *** We look forward to your application, containing a motivation letter (1-2