Grand Challenges of Informatics
John von Neumann Computer Society
Budapest, Hungary, 19-20 September 2006
October 3, 2006 Version
Dines Bjørner, Chairman of AE Informatics Section
- Charter of the Informatics Section of Academia Europaea:
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
from these 16 countries:
The Czech Republic,
- 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.
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.
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
This is not a conventional computer/computing
science/informatics symposium. Speakers are presenting overviews of
recent years of their work.
- Verified Software, I
- Opening & Welcome 8:45-9:00 .pdf
- The Ideal of Program Correctness:
- A Million Lines of Verified Code:
- 10:30-11:00 Refreshment Break
- Have we Learned from the Wasa Disaster (?):
- Temporal Annotations and Their Validation:
- Lunch 12:30-14:00
- Verified Software, II
- The German VeriSoft Project:
Wolfgang J. Paul
- Model Checking, Theorem Proving, and Abstract
The Convergence of Formal Verification
- Refreshment Break 15:30-15:50
3 15:50-17:20 .pdf
- Informatics Section Members Meeting 17:30-18:30
- Symposium Dinner 19:30-...
- Unconventional Grand Challenges
- Opening & Welcome: 8:45-9:00
- Quantum Computing:
- Refreshment Break 10:30-11:00
- From Computable Functions to Definable Systems
- Economics and Game Theory:
- Lunch 12:30-14:00
- Computer Mathematics
- Main Issues of Computer Mathematics:
- Can We Trust Floating-point Numbers (?):
- Refreshment Break 15:30-16:00
- Computer Algebra:
Joachim von zur Gathen:
- Formalisation (Proof-checking):
- 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):
financial support for
the participation of non-AE-member invited speakers as well as
providing administrative and publicity support.
- The John von Neumann Computer
NJSZT is providing generous organisational, publicity and other much
- The Informatics Section of AE (AE/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
- The archived and edited video is available for viewing or download
- Péter Szeredi:
Budapest University of Technology and Economics
Faculty of Electrical Engineering and Informatics
Computer Science and Information Theory
Goldmann György tér
Budapest, bldg. V2, 1st floor, room 136
Phone: (+36 1) 463
Postal address: H-1521 Budapest P.O.Box 91
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
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
- ... VSTTE1
- Verified Software: Theories, Tools and Experiments
- ... 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.