Subsections


Seminars and Lectures - May 9, 2017

Upcoming or Recent Lectures

2017

TongJi University, Shanghai, China :
September 3-30, 2017. Host: Prof. Otthein Herzog
College of Architecture and Urban Planning,
China Intelligent Urbanization Co-creation Center for High-Density Region.
Lectures on Domain Science & Engineering . Research in Urban Planning: Incomplete Draft.

2016

Bergen University, Norway:
November 7-12, 2016. Host: Prof. Magne Haveraaen. Check Lectures for contents.
Uppsala University, Sweden:
18-20 May. Hosts: Dr. Steve McKeever and Prof. Andreas Hamfeldt. Check Lectures for contents.

2015

Vienna, Austria - October 18-30 :
Graz, Styria, Austria - October 15-17 :
Paragraph before ``Vienna''.
Pörtshach, Carynthia, Austria - October 4-7 :
Guimaraes, Portugal - September 17-21 :
Braga, Portugal - May 24 - June 4 :
Moscow, Russia - April 21-24 :
London, England - March 8-12 :

2014

Japan - April 11-20
    CPH-Narita,     SK  983, Fri. 11 April 15:45 pm - Sat. 12 April 9:35 am 
    Haneda-Komatsu, ANA 755, Sat. 12 April 12:55 pm - 14:00 pm 
    Komatsu-Haneda, ANA 752, Thu. 17 April  9:55 am - 11:00 am
    Narita-CPH,     SK  984, Sun. 20 April 11:40 am - 16:05 pm
Host: Prof. Kazuhiro Ogata, JAIST
Kanazawa Monday 14 April:
Monday April 14, 9:30-10:00
Kanazawa Excelsior Hotel Tokyu
Domain Analysis:
Endurants - An Analysis & Description Process Model
. Paper Slides
Tokyo - A JAIST Seminar:
Hotel International House of Japan
Friday 18 April: [12.] 40 Years of Formal Methods
Some Obstacles and Some Promises
. Paper Slides
JAIST's Shinagawa Inter City Campus
Tower A, 19th Floor, 2-15-1 Konan, Minato-ku, Tokyo 108-6019 Japan

Singapore - May 3-17
    CPH-SIN,        SK 8001, Fri.  2 May 12:30 noon - Sat. 3 May 6:25 am
    SIN-SYD,        SQ  221, Sat. 17 May 20:15 pm - Sun. 18 May 6:55 am
    SYD-MEL,                 Sun. 25 May ...
    MEL-SIN-CPH,    SK 8012, Sat. 31 May 15:40 pm - 21:40 pm
                    SK 8000, Sat. 31 May 23:50 - Sun. 1 June 6:25 am
Host: Prof. Jin Song Dong, NUS
Kent Vale Serviced Apartments
Danish Seamen's Church
High Mass, Sunday 4 May 2014 11:00 am.
NTU Seminar:
Host: Dr. Liu Yang Week 5-9 May
Domain Engineering - A Basis for Safety Critical Software .
A one hour talk. Paper Slides
Danish Seamen's Church
High Mass, Sunday 11 May 2014 11:00 am.
FM2014 Distinguished Lecture:
Friday May 16, 12:00-12:30. [12.] 40 Years of Formal Methods
Some Obstacles and Some Promises
. A brief version of Paper Slides will be presented.
Sydney - May 18-25
Univ. of NSW, Sydney
Host: Prof. Carroll Morgan, UNSW
Hotel Holiday Inn - Old Sydney - The Rocks
Seminar:
Monday 19 May: 40 Years of Formal Methods . Brief version of: Paper Slides.
Colloquium
Tuesday 20 May - with PhD students
Sydney Opera:
Tuesday 20 May, 7:30 pm. Joan Sutherland Theatre, Dame Kiri Te Kanawa
Melbourne - May 25-31
Hotel: RACV Club, 501 Bourke Street
Univ. of Melbourne:
Host: Prof. Harald Sondergaard, UM. Tuesday May 27: 12:00-13:00, Room 3.09,
(Denis Driscoll Theatre), Doug McDonell Building
40 Years of Formal Methods
Some Obstacles and Some Promises
. Paper Slides
Southbank Theatre:
Tuesday May 27, 6:30 pm. Henrik Ibsen: Ghosts
ASSC, Melbourne
Host: Prof. Clive Victor Boughton, aSCSa, ANU
Tutorial:
Wednesday May 28: 9:00-12:00
Tutorial Notes: Paper Talk Slides
Keynote:
Thursday May 29, 14:00-15:00:
[11.] Domain Engineering - A Basis for Safety Critical Software.
Early version of Keynote: Paper Slides

Past Lectures

General

Over the years, from the very beginning in academia, I was fortunate to be able - and also given the opportunity - to give a variety of courses in abstraction and modelling, all based on my research. At first these semester-courses were based on using VDM, later based on RSL. Typically I was able to offer a succession of three courses: introductory, intermediate and "advanced topics" courses. (Basically following the pattern (later) set down in [50,51,52].) [154] sums up 10 years of such courses (1977-1987) [in 6 volumes!]. Many internal versions of VDM- and RSL-based lecture notes were the basis for a complete rewrite, started in Braga, Portugal, in October 2003, into [50,51,52]. But it did not end with [50,51,52] nor their republication [37,38,39] and translation [24,25,26]. I am writing and rewriting simplified versions of the Domain and Requirements Engineering parts of [52]: [44,34] (Internet versions at [44] and [34]). Further simplified lectures notes on domain and requirements engineering are found at Vienna Lectures 2010.

Specific

Currently I am offering the following seminars:

and PhD lectures:

Seminars and PhD Courses: 2004-2012

2012 December 6-7 ECNU, Shanghai Domain Sci. & Eng. Prof. Zhu HuiBiao
2012 December 4 APSEC 2012, Hong Kong
2012 November 22-23 Peking Univ. Part I and Part II Prof. Sun Meng
2012 August Tutorial Paris FM2012
2012 May 7-10 Seminars Univ. of Bergen Magne Haveraaen Magne.Haveraaen@ii.uib.no
2010 Late Fall Uppsala Univ., Lars-Henrik Eriksson lhe@it.uu.se
2010 Early Fall Eötvös Loránd Univ., Budapest Kozma László kozma@ludens.elte.hu
2010 Spring Techn. Univ. of Vienna Jens Knoop knoop@complang.tuwien.ac.at
2009 Late Fall Univ. of Tokyo Tetsuo Tamai tamai@graco.c.u-tokyo.ac.jp
2009 Early Fall Univ. of Edinburgh Alan Bundy bundy@staffmail.ed.ac.uk
2009 Spring Univ. of Saarland Wolfgang J. Paul wjp@cs.uni-sb.de
2008 Fall Techn.Univ. of Graz Franz Wotawa fwotawa@ist.tugraz.at
2007 Fall Univ.Henri Poincare, Nancy Dominique Méry Dominique.Mery@loria.fr
2006 Spring & Fall JAIST, Kanazawa Kokichi Futatsugi kokichi@jaist.ac.jp
2004-5 Fall & Spring National University of Singapore Jin Song Dong dongjs1@gmail.com

Dines Bjorner 2017-05-09