|
Puheenvuoro:
Suomalaisten tietojenkäsittelytieteiden
tieteellinen taso Juhani Iivari, Oulun yliopisto | 4 | |
|
Sanat ja automaatit Juhani Karhumäki, Turun yliopisto | 18 | |
|
Rinnakkaisjärjestelmien algoritminen
verifiointi Antti Valmari, Tampereen teknillinen yliopisto | 47 |