Contents

• The Event
• The Symposium Programme (incl. slides)
  • Tuesday 19 September 2006
  • Wednesday 20 September 2006
  
  
• Sponsors
  • Main Sponsor
  • Organisational & Operational Sponsors
  
  
• Video Archive
• Local Organiser

The Event

• 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 VSTTE¹ 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.

The Symposium Programme (incl. slides)

Tuesday 19 September 2006

• 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: ² 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: ³ 15:50-17:20 .pdf

• Informatics Section Members Meeting 17:30-18:30

• Symposium Dinner 19:30-...

Wednesday 20 September 2006

• 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-...

Sponsors

Main Sponsor

• Dr. Charles Simonyi has graciously donated a generous gift primarily aimed at covering participation of young scholars from East Europe.

Organisational & Operational Sponsors

• 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.

Video Archive

• 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.

Local Organiser

• 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

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

About this document ...

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

... VSTTE¹

Verified Software: Theories, Tools and Experiments (http://www.vstte.ethz.ch )

... ²

A presentation of the VSTTE Grand Challenge project

... ³

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