Dines Bjørner's 2004-2007 Calendar
In reverse chronological order
- October 2007:
- 31 October:
My Retirement
- Well, maybe
not !?
- Second Half of September: Shanghai and Macau
- 26 - 28 September,
UNU-IIST
Macau:
ICTAC
2007
4th International Colloquium on Theoretical Aspects of
Computing
- 24 -25 September, UNU-IIST, Macau:
Festschrift Symposium
-- in honour of DB and Zhou Chao Chen
- 17 - 21 September, Shanghai --
September School: Domain
Modelling and Duration Calculus.
East China Normal University
- Sept. 9-12 and either Sept. 7 - 8 or 13 - 14: The Academia
Europaea Council and Annual General Meeting
The AE Informatics
Section
Computing, Economics and Mathematics
Symposium, Toledo,
Spain. Very tentative:
- Session 1 (1/1 day - 8 talks)
Interfaces
between Economics and Theoretical Computer Science
Game theory with applications to distributed systems and combinatorial auctions
with their applications to networks and system resource management etc.
- Session 2 (1/2-1/1 day - 4 talks + panel)
Interfaces
between Mathematics and Theoretical Computer Science.
- July 8 - 21: Lecturer
Domain Engineering
Lipari School
on
Advances in Software Engineering
Lipari, Sicily.
- (March 5-9: The 5th International Conference on
Research, Innovation and Vision for the
Future
RIVF'07, Hanoi University
of Technology, Viet Nam - MAY NEED TO CANCEL PARTICIPATION.)
-
End:
8 February 2006 - 31
January 2007
JAIST
- Dec. 27 - Jan. 24: Singapore.
Five-six Seminars
at School of
Computing, NUS
- Sometime during Dec. 2006:
- Seminar at Japan Electronics and IT Industries Association,
JEITA,
Tokyo:
The Role of Domain Engineering in Software
Development.
paper
and
slides
- 8 or 9 December Seminar at JAIST:
IT Applications, Computing Science, Computer Science,
Mathematics
- In this talk I wish to discuss - also with the audience - the new universe
of Informatics as it consists, in our opinion, of the confluence of IT applications,
computing science, computer science and mathematics.
- By computer science we understand the study and knowledge of the things
that can exist inside computers (and across networks of these). By computing
science we understand the study and knowledge of how to construct those
things. By an IT application we mean an application of computers and networks
in order to support activities in some domain. (We refrain from "defining" what
is meant by mathematics!)
- We will exemplify the span from IT applications "down" to mathematics and we
will jusitfy the role of formal techniques (built on mathematics) throughout.
- Thus we shall advance a new understanding of the sextet of relations
between IT applications, computing science, computer science and mathematics.
- We will then discuss the "state-of-affairs": For example (1) that some university
curricula do not, in our opinion, reflect a proper understanding of the issues
of and the sixtet of relations between the quartet of informatics components;
(2) that some "cs" researchers confuse the issues of CS&CS: computing science
& computer science, and (3) that progress towards trustworthy software is hindered
by (1) and (2).
- 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-2007 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 2006-10-06
Dines Bjorner
2006-10-06