7th Estonian Winter School in Computer Science (EWSCS)
VII Eesti Arvutiteaduse Talvekool (EATTK)
Palmse, Estonia
March 3 - 8, 2002
LIST OF PARTICIPANTS
Lecturers | ||
| Yuri MATIYASEVICH | HILBERT'S TENTH PROBLEM | |
| Steklov Institute of Mathematics, St Petersburg, Russia http://logic.pdmi.ras.ru/~yumat/ | ||
| Helmut SCHWICHTENBERG | EXTRACTING PROGRAMS FROM PROOFS | |
| Ludwig-Maximilians-Universität München, Germany http://www.mathematik.uni-muenchen.de/~schwicht/ | ||
| Heinz Peter GUMM | UNIVERSAL COALGEBRA: A THEORY OF STATE-BASED SYSTEMS | |
| Philipps-Universität Marburg, Germany http://www.mathematik.uni-marburg.de/~gumm/ | ||
| Heikki MANNILA | COMBINATORIAL PROBLEMS IN DATA MINING | |
| University of Helsinki / Helsinki Univ. of Technology, Finland http://www.cs.helsinki.fi/~mannila/ | ||
Tallinn Technical University
| ||
| Juhan Ernits | Institute of Cybernetics at TTU
Control Systems Dept. | juhan cc.ioc.ee
|
| Kristiina Kindel | Institute of Cybernetics at TTU
Software Department | kristinacs.ioc.ee
|
| Vahur Kotkas | Institute of Cybernetics at TTU
Software Department | vahurcs.ioc.ee
|
| Marko Kääramees | Inst. of Cybernetics at TTU
Control Systems Dept. | markoioc.ee
|
| Marion Lepasaar | Tallinn Technical University
Department of Computer Engineering | marionpori.tut.fi
http://www.pori.tut.fi/~marion |
| Jelena Sanko | Institute of Cybernetics at TTU
Software Department | jelenacs.ioc.ee
|
| Raul Savimaa | Tallinn Technical University
Department of Computer Control | Raul.Savimaapol.ee
|
University of Tartu, Estonia | ||
| Kalle Kaarli | University of Tartu
Institute of Pure Mathematics | kaarlimath.ut.ee
|
| Meelis Kull | University of Tartu
Computer Science | meeliskut.ee
|
| Sven Laur | University of Tartu
Informatics | swenmath.ut.ee
|
| Oleg Mürk | University of Tartu
Institute of Computer Science | olegmut.ee
http://www.ut.ee/~olegm |
| Härmel Nestra | University of Tartu
Institute of Computer Science | nestracs.ut.ee
|
| Rein Prank | University of Tartu
Institute of Computer Science | prankcs.ut.ee
http://www.cs.ut.ee/~prank |
| Jaanus Pöial | University of Tartu
Institute of Computer Science | jaanuscs.ut.ee
http://www.cs.ut.ee/~jaanus/ |
| Tõnu Tamme | University of Tartu
Institute of Computer Science | tqnucs.ut.ee
http://www.cs.ut.ee/~tqnu |
| Heli Uibo | University of Tartu
Institute of Computer Science | heli_uut.ee
http://www.ut.ee/~heli_u |
| Varmo Vene | University of Tartu / Universität Trier
Institute of Computer Science | varmocs.ut.ee
|
| Jan Willemson | University of Tartu
Institute of Computer Science | jancyber.ee
|
Finland | ||
| Petteri Kaski | Helsinki University of Technology
Dept. of Computer Science and Engineering | petteri.kaskihut.fi
|
| Johan Wallén | Helsinki University of Technology
Dept. of Computer Science and Engineering | johantcs.hut.fi
|
Italy | ||
| Matteo Viale | Torino University
Mathematics | vialedm.unito.it
|
The Netherlands | ||
| Falk Bartels | CWI (Amsterdam)
Software Engineering | falk.bartelscwi.nl
http://www.cwi.nl/~bartels |
| ||
| Helger Lipmaa | Helsinki University of Technology
Dept. of Computer Science and Engineering | helgertcs.hut.fi
http://www.tcs.hut.fi/~helger |
| Jaan Penjam | Institute of Cybernetics at TTU | jaancs.ioc.ee
|
| Monika Perkmann | Institute of Cybernetics at TTU, Software Dept. | monikacs.ioc.ee
http://www.cs.ioc.ee/~monika/ |
| Tarmo Uustalu | Institute of Cybernetics at TTU | tarmocs.ioc.ee
http://www.cs.ioc.ee/~tarmo/ |
| Jüri Vain | Institute of Cybernetics, Control Systems Dept. | vainioc.ee
|