Tarmo Uustalu, Jüri Vain, Nordic Workshop on Programming Theory

International Conference on Types for Proofs and Programs

Jaak Aavik

Kalle Kivi, Aivar Lüiste, Aron Lips, Tea Hunt, Harri Annuka, Sergei Letunovitš

Kalle Kivi, Aivar Lüiste, Aron Lips, Tea Hunt, Harri Annuka, Sergei Letunovitš

Eesti NSV Tehnilise Informatsiooni Keskbüroo

Tallinna Tehnikaülikool. Infotöötluse kateeder

Jüri Kivimaa, Estonian Business School. Infotehnoloogia õppetool

Kaie Maennel, Tallinna Tehnikaülikool. Tarkvarateaduse instituut