Élettelen természettudományok

Temporal annotations and their validation

Have we learned from the Wasa disaster?

A million lines of verified code

The ideal of program correctness

Opening & welcome
Dines Bjørner
Prof. Emer Detrekői Ákos 15 éve - 11:49

FEM25D - Egy geofizikai elektromágneses modellező
Dr. Pethő Gábor
Tóth Adrián 15 éve - 19:38

Effektív grid alkalmazás teherhordó gerendák

Szegedi mini-HPC csoport - az első három év

Szuperszámítógépek a tudományos kutatásban - a

A TITAN grid rendszer kommunikációs protokollja
Hernyák Zoltán
Tömösközi Péter 15 éve - 18:40

Grides alkalmazások támogatása multi workflow
