next_inactive up previous


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


Contents

The Event

The Symposium Programme (incl. slides)

Tuesday 19 September 2006

Wednesday 20 September 2006

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

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

next_inactive up previous
Dines Bjorner 2006-10-03