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
found 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
usen, Technical 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple copies]
***
last Call for Papers
22n
April 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
found 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
2018
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 key
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&p_dimension_id=88136)
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
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
HAIRS:
- 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 Ab
d 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
Luig
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in Formal Methods for Cloud Computing in Oslo
A postdoc position combining formal methods, static analysis, and semantics
with cloud computing and reflection, is available
[ 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 PhD
-probabilistic-programs
———
Einar Broch Johnsen, University of Oslo, Norway
ein...@ifi.uio.no
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
)
Further details
---
For further information, please contact
Professor Ilangko Balasingham, email: [EMAIL PROTECTED],
associate professor Einar Broch Johnsen, email: [EMAIL PROTECTED], or
professor Olaf Owe, email: [EMAIL PROTECTED]
How to apply
Applications must
lborg Univ., Denmark
* Einar Broch Johnsen, University of Oslo, Norway
* Kim G. Larsen, Aalborg Univ., Denmark
* Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Tech., Sweden
* Olaf Owe, University of Oslo, Norway
* Gerardo Schneider, University of Oslo, Norway
* Tarmo Uustalu, Inst. of Cybern
Aceto, 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 Gothe
given in the
official job 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 pr
Submission 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
21 matches
Mail list logo