Figyelem!

Ön a Pro-M Zrt védett információs rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.
A rendszer használata az előbbiekben részletezett feltételek elfogadását jelenti.

Ön a Pro-M Zrt. nyilvános rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.

Physical sciences


Astronomy (168)
Chemistry (152)
Computer science (2736)
Mathematics (448)
Physics (1153)

Economics, game theory and computer science

kifu Krzysztof R. Apt 15 years ago - 47:25

From computable functions to definable systems

kifu Wolfgang Reisig 15 years ago - 41:36

Artificial biochemistry

kifu Luca Cardelli 15 years ago - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 15 years ago - 45:26

Model checking, theorem proving, and abstract

kifu Thomas Henzinger 15 years ago - 41:21

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 15 years ago - 44:05

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 15 years ago - 38:02

A million lines of verified code

kifu Jim Woodcock 15 years ago - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 15 years ago - 42:46

Opening & welcome

kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
15 years ago - 11:49