Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy 2026.02.24.-től kezdődően a videófeltöltés-, valamint módosítás szolgáltatásunk átmenetileg szünetel, de a már korábban feltöltött videók továbbra is megtekinthetők maradnak. Munkatársaink mindent megtesznek annak érdekében, hogy az átállás a lehető legrövidebb időn belül, zökkenőmentesen megtörténjen.

Az átállás során Önnek nincs teendője, a meglévő tartalmak az új rendszer indulását követően változatlanul továbbra is elérhetők lesznek.

Az átmeneti időszakra türelmét és megértését kérjük.

Physical sciences


Astronomy (168)
Chemistry (152)
Computer science (2736)
Mathematics (447)
Physics (1212)

Artificial biochemistry

kifu Luca Cardelli 16 years ago - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 16 years ago - 45:26

Model checking, theorem proving, and abstract

kifu Thomas Henzinger 16 years ago - 41:21

The German VeriSoft Project 2003-2007

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

Have we learned from the Wasa disaster?

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

A million lines of verified code

kifu Jim Woodcock 16 years ago - 40:26

The ideal of program correctness

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

Opening & welcome

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

Concept of the new Textor Control System -

wigner Horst T. Lambertz 16 years ago - 11:15