CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2002 EATTK 2002 |
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. | juhancc.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 |
http://www.cs.ioc.ee/yik/schools/win2002/
Modified Tuesday, Jun 02, 2020 at 13:58 EEST+0300 by monika@cs.ioc.ee