Home > Archive > Software Engineering > September 2006 > Online Video of "Grand Challenges in Informatics - Tue and Wed, Sept. 19-20 all
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Online Video of "Grand Challenges in Informatics - Tue and Wed, Sept. 19-20 all
|
|
| Jonathan Bowen 2006-09-18, 10:01 pm |
| Subject: Online Video of "Grand Challenges in Informatics :
http://vod.niif.hu/index.php?mn=3Du...id=3D47&lg=3Den
<http://vod.niif.hu/index.php?mn=3Du...id=3D47&lg=3Den>
On Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm Hungarian time (CEST)
you can watch and hear speeches by
Tony Hoare 9:00-9:45,
Jim Woodcock 9:45-10:30,
Jean-Raymond Abrial 11:00-11:45,
Amir Pnueli 11:45-12:30,
Wolfgang Paul 14:00-14:45 and
Thomas Henzinger 14:45-15:30
as they address the issues of Verified Software, and
Jozef Gruska (Quantum Comp.) 9:00-9:45,
Luca Cardelli (Biocomputing) 9:45-10:30,
Wolfgang Reisig () 11:00-11:45 and
Kzrysztof R. Apt (Economics and Game Theory) 11:45-12:30
as they uncover novel frontiers of informatics, and, finally
Henk Barendregt (Main Issues of Computer Math.) 14:00-14:45,
Paul Zimmermann (Can we trust floating pt. numbs.?) 14:45-15:30,
Joachim von zur Gathen (Computer Algebra) 16:00-16:45 and
Laurent Thery Formalisation (Checking Math. Proofs) 16:45-17:30
All this is part of a Charles Simonyi sponsored event of Academia
Europaea's Informatics Section - with the "broadcast" being video-
streamed courtesy the Hungarian John von Neumann Computer
Society.
For speaker time table see:
http://www.cs.bme.hu/~szeredi/ae-is-budapest/
<http://www.cs.bme.hu/%7Eszeredi/ae-is-budapest/>
or attached file: ae-is-06-symp.pdf.
Information on the broadcast is available here
http://vod.niif.hu/index.php?mn=3Du...id=3D47&lg=3Den
<http://vod.niif.hu/index.php?mn=3Du...id=3D47&lg=3Den>
The actual transmission with the slides will be broadcast on
http://streaming.niif.hu/grandch/index.php?lg=3Den
<http://www.jaist.ac.jp:/%7Ebjorner/ae-is-budapest>
-------------------------------------------------------------
Prof., Dr Dines Bj=F8rner, Dr.h.c.
MAE, MRANS, ACM Fellow, IEEE Fellow
bjorner@gmail.com <mailto:bjorner@gmail.com>
http://www.jaist.ac.jp/~bjorner <http://www.jaist.ac.jp/%7Ebjorner>
http://www.jaist.ac.jp/~bjorner/calendar
<http://www.jaist.ac.jp/%7Ebjorner/calendar>
http://www.jaist.ac.jp/~bjorner/addresses
<http://www.jaist.ac.jp/%7Ebjorner/addresses>
School of Information Science
JAIST Japan Adv. Inst. of Sci. and Techn.
1-1, Asahidai, Tatsunokuchi,
Nomi, Ishikawa, Japan 923-1292
|
|
|
|
|