Grand Challenges of Informatics
An
Academia Europaea
+
Charles Simonyi
+
John von Neumann Computer Society
International Symposium
Budapest, Hungary, 19-20 September 2006
October 3, 2006 Version
Dines Bjørner, Chairman of AE Informatics Section
bjorner@gmail.com, http://www.jaist.ac.jp/~bjorner
- Charter of the Informatics Section of Academia Europaea:
The
charter includes the propagation of awareness of the classical and
emerging disciplines of informatics and their interfaces to other
fields of science and humanities.
- Target Audience:
In line with the charter this symposium is
``programmed'' to be of interest to these groups of participants:
- Computer Scientists in General.
The Symposium will
feature participation of 43
Charles Simonyi
Fellows
from these 16 countries:
Armenia,
Bulgaria,
The Czech Republic,
Estonia,
Georgia,
Hungary,
Latvia,
Lithuania,
Moldava,
Poland,
Romania,
Russia,
Serbia,
Slovakia,
Slovenia and
Ukraine.
- Members of other AE Sections:
The first day (one topic)
sessions and especially the second day (two topic) sessions
ought appeal to the intellectual curiosity of members of
other AE sections: Mathematics, Physics and Engineering,
Linguistics, and the Biology sections.
- Aims:
For the first day to survey aims & objectives of the
VSTTE1 effort. For the second day morning to
highlight some esoteric
new research avenues, and for the second day afternoon to highlight
apparent seamless borders between computer science and mathematics.
- Objectives:
For the first day to ensure a Pan European VSTTE
effort. For the second day morning to similarly broaden the scope of
research in new areas, and for the second day afternoon to do
likewise!
- Implications:
This is not a conventional computer/computing
science/informatics symposium. Speakers are presenting overviews of
recent years of their work.
- Verified Software, I
Morning Session:
- Opening & Welcome 8:45-9:00 .pdf
- The Ideal of Program Correctness:
Sir Tony
Hoare:
9:00-9:45 .ppt
- A Million Lines of Verified Code:
2
Jim
Woodcock:
9:45-10:30 .pdf
- 10:30-11:00 Refreshment Break
- Have we Learned from the Wasa Disaster (?):
Jean-Raymond
Abrial:
11:00-11:45 .pdf
- Temporal Annotations and Their Validation:
Amir Pnueli:
11:45-12:30 .pdf
- Lunch 12:30-14:00
- Verified Software, II
Afternoon Session:
- The German VeriSoft Project:
Wolfgang J. Paul
14:00-14:45 .ppt
Verisoft Repository.pdf
- Model Checking, Theorem Proving, and Abstract
Interpretation
The Convergence of Formal Verification
Technologies:
Thomas Henzinger
14:45-15:30
.pdf
- Refreshment Break 15:30-15:50
- Panel:
Pan-European Collaboration:
3 15:50-17:20 .pdf
- Informatics Section Members Meeting 17:30-18:30
- Symposium Dinner 19:30-...
- Unconventional Grand Challenges
Morning Session:
- Opening & Welcome: 8:45-9:00
- Quantum Computing:
Jozef Gruska:
9:00-9:45 .pdf
- Biocomputing:
Luca Cardelli:
9:45-10:30 .pdf
- Refreshment Break 10:30-11:00
- From Computable Functions to Definable Systems
,
Wolfgang Reisig:
11:00-11:45
.ppt
- Economics and Game Theory:
Krzysztof
R. Apt:
11:45-12:30 .pdf
- Lunch 12:30-14:00
- Computer Mathematics
Afternoon Session:
- Main Issues of Computer Mathematics:
Henk
Barendregt:
14:00-14:45 .pdf
- Can We Trust Floating-point Numbers (?):
Paul
Zimmermann:
14:45-15:30 .pdf
- Refreshment Break 15:30-16:00
- Computer Algebra:
Joachim von zur Gathen:
16:00-16:45 .ppt
- Formalisation (Proof-checking):
Laurent
Théry:
16:45-17:30 .pdf
- Informatics Section Members & Speakers Dinner 19:00-...
- Dr. Charles Simonyi
has graciously donated a generous gift primarily aimed at
covering participation of young scholars from East Europe.
- Academia Europaea (AE):
AE
is providing
financial support for
the participation of non-AE-member invited speakers as well as
providing administrative and publicity support.
- The John von Neumann Computer
Society (NJSZT):
NJSZT
NJSZT is providing generous organisational, publicity and other much
appreciated support.
......................
- The Informatics Section of AE (AE/IS):
AE/IS
is
``master-minding'' the contents of the event. About a dozen of its members are
either speaking at the event or organising it - at no cost to
AE. Hence we thank their home institutions.
- The whole event was video-streamed courtesy of the Hungarian John von Neumann Computer
Society.
- The archived and edited video is available for viewing or download
from here.
- Péter Szeredi:
Budapest University of Technology and Economics
Faculty of Electrical Engineering and Informatics
Department of
Computer Science and Information Theory
Goldmann György tér
3.
Budapest, bldg. V2, 1st floor, room 136
Phone: (+36 1) 463
2986
Postal address: H-1521 Budapest P.O.Box 91
http://www.cs.bme.hu/~szeredi/english/index.html
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
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 symp.tex
The translation was initiated by Dines Bjorner on 2006-10-03
Footnotes
- ... VSTTE1
- Verified Software: Theories, Tools and Experiments
(http://www.vstte.ethz.ch )
- ... 2
-
A presentation of the VSTTE Grand Challenge project
- ... 3
- The idea of the panel is to engage scientists from all across Europe
onto the panel and into the concerns of VSTTE: Verified Software:
Theories, Tools and Experiments.
Dines Bjorner
2006-10-03
