Grand Challenges of Informatics
Grand Challenges of Informatics (16)
An Academia Europaea, Charles Simonyi and John von Neumann Computer Society International SymposiumThe AE/IS `Charles Simonyi' Symposium: Grand Challenges of Informatics is a major event. Some 14 of the nest computer scientists will, over two days, present challenges within areas of 100% trustworthy software, quantum computing, biocomputing, economics and game theory, and the relations between informatics and mathematics. Thanks to Dr. Simonyi's donation the event will host some 40 young scientists from Central and Eastern European countries.
More
![](http://images.videotorium.hu/recordings/1/1a/1af/mastermedia/thumbnails/1af_1af_288_20.png)
Opening & welcome
Dines Bjørner
Prof. Emer Ákos Detrekői 15 years ago - 11:49
![](http://images.videotorium.hu/recordings/1/1a/1ag/mastermedia/thumbnails/1ag_1ag_288_20.png)
The ideal of program correctness
![](http://images.videotorium.hu/recordings/1/1a/1ah/mastermedia/thumbnails/1ah_1ah_288_20.png)
A million lines of verified code
![](http://images.videotorium.hu/recordings/1/1a/1ai/mastermedia/thumbnails/1ai_1ai_288_20.png)
Have we learned from the Wasa disaster?
![](http://images.videotorium.hu/recordings/1/1a/1aj/mastermedia/thumbnails/1aj_1aj_288_20.png)
Temporal annotations and their validation
![](http://images.videotorium.hu/recordings/1/1a/1ak/mastermedia/thumbnails/1ak_1ak_288_20.png)
The German VeriSoft Project 2003-2007
![](http://images.videotorium.hu/recordings/1/1a/1al/mastermedia/thumbnails/1al_1al_288_20.png)
Model checking, theorem proving, and abstract
![](http://images.videotorium.hu/recordings/1/1a/1am/mastermedia/thumbnails/1am_1am_288_20.png)
Panel: Pan-European collaboration
![](http://images.videotorium.hu/recordings/1/1a/1an/mastermedia/thumbnails/1an_1an_288_20.png)
Challenges of quantum informatics
![](http://images.videotorium.hu/recordings/1/1a/1ao/mastermedia/thumbnails/1ao_1ao_288_20.png)
Artificial biochemistry
![](http://images.videotorium.hu/recordings/1/1a/1ap/mastermedia/thumbnails/1ap_1ap_288_20.png)
From computable functions to definable systems
![](http://images.videotorium.hu/recordings/1/1a/1aq/mastermedia/thumbnails/1aq_1aq_288_20.png)