[Apologies if you receive this announcement more than once -- posted on
behalf of Dines Bjorner]
++++++++++++++++++++++++++++++++++++++++++++
Subject: Online Video of "Grand Challenges in Informatics :
http://vod.niif.hu/index.php?mn=upcoming&id=47&lg=en
<http://vod.niif.hu/index.php?mn=upcoming&id=47&lg=en>
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=upcoming&id=47&lg=en
<http://vod.niif.hu/index.php?mn=upcoming&id=47&lg=en>
The actual transmission with the slides will be broadcast on
http://streaming.niif.hu/grandch/index.php?lg=en
<http://www.jaist.ac.jp:/%7Ebjorner/ae-is-budapest>
-------------------------------------------------------------
Prof., Dr Dines Bjørner, Dr.h.c.
MAE, MRANS, ACM Fellow, IEEE Fellow
[log in to unmask] <mailto:[log in to unmask]>
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
- home address:
Kari & Dines Bjørner
Apt. 303, Town Heights
44-1 Satomi-cho, Kanazawa
Ishikawa 920-0998, JAPAN
Phone: +81-076-232-8730
|