Dines Bjørner's 2004-2009 Calendar
In reverse chronological order
- Nov. 9 - Dec. 5:
Tokyo Univ., Graduate School of Arts and
Sciences, Computing System Research Group,
Prof. Tetsuo Tamai's Laboratory,
Japan
- Sept. 21 - Oct. 31: 6 weeks: Univ. of
Edinburgh, School of Informatics,
Scotland
, host Prof. Alan
Bundy
- July 24 - August 9: Oberbozen, South Tyrol,
Italy
- June 10-20:
Russia
- Moscow and Novosibirsk
(
Siberia
)
Institute for System Programming Russian Academy of
Sciences
A.P.Ershov Institute of Informatics Systems,
7th Intl. Andrei Ershov Memorial Conference
"Perspectives
of System Informatics"
- April 27-29: Berlin,
Germany
: Academia Europaea
and Humboldt Univ.
- April 16-18: Cambridge,
England
: Sir Tony Hoare
"Fest"
- March 1-31: Saarbrücken, Univ. of Saarland,
Germany
The MSc and PhD lectures are based on:
- Software Engineering, Vol. I: The Triptych Approach
- Software Engineering, Vol. II: A Model Development
You can view an early, incomplete draft of this book:
Here is a list of planned lectures:
- Nov. 30 - Dec. 12: Graz, Austria
- Nov. 22-28:
JAIST, Japan
- Oct. 30 - Nov. 21: Graz, Austria
- Oct. 24-29 :
Fukuoka, Japan. Keynote Tue. 28 Oct.
ICFEM 2008
and
1st Intl. WS on Formal Methods Education and
Training
-
Tentative:
Oct. 22 , Techn. Univ. of Munich, , Germany
-
Tentative:
Oct. 20 , Univ. of Saarland, Saarbrücken, Germany
-
Tentative:
Oct. 16-17, Christian Albrechts Univ., Kiel, Germany
- Sept. 22 - Oct. 2: Andalusia, Spain - with SAS/Spanair
- Sept. 30 - Oct. 2: Gülay & Ole Guldberg, Marbella
Oct. 1: Excursion:
Ronda
- Sept. 28-30: Granada, hotel
América
- Sept. 26-28: Sevilla, hotel Amadeus
Sevilla
- Sept. 24-26: Jerez de la Frontera
- Sept. 22-24: Gülay & Ole Guldberg, Marbella
- Sept.15-20: Misc. Meetings, London and Liverpool, UK
- 19-20 Sept.: AGM: Annual General
Meeting,
- 18 Sept., pm: Academia Europaea
(AE)
Council meeting, 9:30 - 11:30
- 18 Sept., am: AE Informatics
Section
Members
Meeting, 11:30 - 14:30,
Seminar Room, Department of Physiology, University of Liverpool
- 17 Sept., pm: AE Informatics
Section
Workshop
"Grand Challenges of Unconventional
Computation",
13:30-19:00,
Seminar Room, Department of Physiology, University of Liverpool
Dinner: ... 19:00-... pm
- 16 Sept.: ABZ Conference
- 15 Sept.: Workshop on the Verified Software
Repository, BCS HQ.
- 9-13 Sept.: Univ.of Minho, Braga, Portugal:
Informatics Days
Lecture, Friday 12 Sept.:
The Rôle of Domain Engineering in Software Development
- 3-6 July:
Festschrift
for
Willem-Paul de
Roever,
Kiel,
Germany
- June 26-28: London
- June 27: Extraordinary Academia Europaea
(AE)
Council Meeting. AE HQ, Albermarle
St., London, UK
- June 26:
Cancelled:
Seminar, Imperial College, host:
Prof. Erol Gelenbe
- May 8-11: Warszawa, Poland.
Private visit to
Malgorzata and Andrzej
Blikle
,
Warzawa, Poland
- April 24-25: Academia Europaea
(AE)
Nominations Committe and Council
Meetings, Heidelberg, Germany
-
February: California and Seattle
- Feb.23-26: MSR Redmond,
- Feb. 7-14, 19-22, 26-27 San Francisco South Bay Area,
Visits to Stanford Univ., UC Berkeley, MSR Mountain View, SRI
Intl., (IBM Almaden)
- Feb. 17-19 Pasadena: JPL/Caltech,
- Feb. 15-16, 17-19 Santa Barbara.
- 14 October - 15 December, France
- 11-14 December, Futuroscope, ISOLA
2007
(w/ Kari)
- 9 December Chalonais, Beaujolais, Burgundy (w/ Kari)
- 7-8 December, Lyon (w/ Kari)
- 26-28 October, Dijon (w/ Kari)
- 22 October, University of Paris 12 (w/ Kari)
- 19-23 October, Paris (w/ Kari)
- 15 October - 10 December, Henri Poincare Univ./INRIA/LORIA,
Nancy; Lectures.
- 14 october, Auberge
d'Lill/Hotel Des
Berges, Illhausern, Alsace
- 6 - 11 October: Istanbul, Hotel Hyatt
Regency
-
4 October: Dines Bjørner, 70 years
- 19 - 29 September, Macau
- 1 - 6 Sept., Academia Europaea Meetings in Toledo
- 2 - 5 Sept., Annual General Meeting
- 2 Sept., AE Council Meeting
- 11 - 21 August, Summer Vacation,
Oberbozen/Soprabolzano,
Ritten/Renon
South Tyrol/Alto Adige, Italy, Hotel
Latemar
- 8 - 15 July, Lecturer Click:
Domain
Engineering
Lipari School
on
Advances in Software Engineering
Lipari, Sicily.
- 18 - 20 June, DFG Eval. Mtg., (German Research Council), Bad Honnef
- 4 - 5 June, Lectures at ETH Zürich
- 14 May, Lecture at Techn. Univ., Graz, Austria
- 25 - 29 April, Academia Europaea Meetings, London (26th and 27th)
- 16 - 17 April, Lecture at Ths.Masaryk Univ., Brno, Moravia, CZ
- 31 March,
My Retirement
-
End:
8 February 2006 - 31
January 2007
JAIST
- Dec. 27 - Jan. 24, Singapore.
Five-six Seminars
at
School of
Computing, NUS
- 29 December
Seminar
at IBM Tokyo Research Lab.:
IT Security
- 15 December Seminar at JAIST:
IT Applications, Computing Science, Computer Science,
Mathematics
- Nov. 22 - Dec. 6: Tokyo, Europe:
- Nov. 25 - Dec. 5: Frankfurt am Main, Linz and Prague:
- (Tentative) Dec. 4: Czech Technical University: PhD Defence,
Martin Penicka
- Nov. 29 - Dec. 1:
RISC, Hagenberg
im Mühlkreis, Upper Austria
- Nov. 27-28: DFG
evaluation commission meeting, Frankfurt am Main
- Nov. 24: IMM, DTU, Kgs.Lyngby, Denmark
- Nov. 22: Seminar at Tokyo
University
(in honour of Kouichi
Kishida, SRA):
The Triptych Process Model: Process Assessment and Improvement
paper
and
slides
Host: Prof. Tetsuo
Tamai,
map
- Nov. 13-17 Kyushu (Mon.-Wed.)
- Oct. 27 - Nov. 3: Hong Kong and Macau
- Oct. 19-22: Special Interest Group of Software Engineering (SIGSE),
Information Processing Society of Japan (IPSJ)
IPSJ/SIGSE Software
Engineering Symposium 2006,
Tokyo:
- Sat. Oct. 21: Invited Keynote Speaker:
The Rôle of Domain
Engineering in Software Developement.
- Fri. Oct. 20: Invited Tutorial Speaker:
32 years of VDM:
From Birth through Adolescence to Maturity.
Venue: Koto-ku, Tokyo, Miraikan (National Museum of
Engineering Science and
Innovation)
- Oct. 12-13: Japan Software Process
Improvement Consortium's Annual Meeting:
JASPIC Japan 2006, Tsukuba,
Japan
Inv. Speaker:
The Triptych Process Model:
paper,
English
slides
and
Japanese slides
- 14 - 25 Sept.: Europe (AE)
- 8-10 Sept.: Tokyo, IBM Tokyo Research Lab.
Thoughts on Modellin Security
Rules
- 8-10 Aug.: Tokyo, IBM Tokyo Research Lab.
Documents: A Domain
Anaysis
- 21 July: Tokyo, IBM Tokyo Research Lab.
- 21 June - 1 July: Travel / Europe
- 12-15 June: Tokyo
- 21 May - 8 June: Shanghai - Macau - Shanghai
- 8 May: Tokyo, Meeting with IBM TRL:
On Domain and Domain Engineering:
Prerequisite for Trustworthy Software. A Necessity for
Believable Management
Possible Collaborative "Domain"
Projects
- 3-7 May: "Golden Week", National Holiday
- 15 - 22 April: Europe Trip + Kyoto
- 22-23 April: Kyoto
- 19 - 20 April: Academia
Europaea
Council
Meeting (AE), Budapest, Hungary
- 18 April: Budapest Univ. of Econ. & Techn.
- 15-16 + 21 April: Vienna
- 10 - 21 March: Tokyo and Brügge
-
Begin:
8 February 2006 - 31
January 2007
JAIST
- 16 - 20 December: BCS-FACS Christmas Meeting: DB
Seminar,
London, UK, Monday 19.12
- 23 - 24 November: DFG
Meeting, FaM: Evaluation: Centers of
Excellence
- 22 - 24 September:Academia
Europaea
Annual General Meeting, Berlin
- 5 - 9 September: SEFM
2005, Koblenz, Germany.
TRain Workshop:
5 - 6 September
- 6 - 12 August: ESSCaSS'05: Estonian Summer
School: 5 Lectures
- 31 July - 5 August: CSK/VDM @ Osaka and Tokyo, Japan
- 15 - 19 July:
FM'05, Newcastle
upon Tyne, England.
TRain Workshop:
18 July
- 30 June - 6 July: Japan, JAIST @ Tokyo and Kanazawa
- 1 July: Tokyo, JAIST Seminar
- 4-5 July: Ishikawa: Two JAIST Seminars
-
End
1 July 2004 - 30
June 2006
NUS
- 1 - 22 June, UNU-IIST,
Macau
- 16 - 19 March: Angkor Wat/Cambodia
Grand Hotel
d'Angkor
Vacation
- 16 - 27 February: Myanmar
Vacation
- January 3-5, 2005: Sydney, Australia
Vacation
- December 20 - January 3, 2005: New Zealand
Vacation
- 25 Nov. - 7 Dec.: Hong Kong + Macau + Hong Kong
- 3-21 November: The Far East and The Far West:
According to Yuri Gurevich: To the east of Seattle
is the East,
and
to the west, the Far East ! Hence Seattle must be the
westernmost point on the earth - the Far Far West !
- November 16-19: Peter & Christa Lucas, Almaden
- November 15-16: Hotel Cardinal, Palo Alto
- November 6-15: Seattle, Washington, USA,
ICFEM'04 +
Seminar at MS.
Hotel Monaco, Seattle 8-12
Nov..
6-15 Nov.: Nikolaj+Bodil+Marianne+Katrine+Jakob Bjørner
- November 3-6: Tokyo, Japan,
Seminars: SEA/SIGGM +
RTRI
.
Intl.House of
Japan
- September 18-22: West Sumatra, Padang and Bukittingi
Vacation
- August 20-28: Holte, Denmark and Toulouse, France:
The IFIP World Computer Congress
-
Begin
1 July 2004 - 30
June 2006
NUS
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
/home/db/index/japan/calendar
Dines Bjørner's 2004-2009 Calendar
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 6 calendar
The translation was initiated by Dines Bjorner on 2010-03-01
Dines Bjorner
2010-03-01