9th Estonian Winter School in Computer Science (EWSCS)
IX Eesti Arvutiteaduse Talvekool (EATTK)
Palmse, Estonia
February 29 - March 5, 2004
LIST OF PARTICIPANTS
Lecturers | ||
| Sergei ARTEMOV | PROOF POLYNOMIALS | |
| City University Graduate Center, New York, USA | http://www.cs.gc.cuny.edu/~sartemov/ | |
| Rusins FREIVALDS | UNREASONABLE EFFECTIVENESS OF CLASSICAL MATHEMATICS IN COMPUTER SCIENCE | |
| University of Latvia, Riga, Latvia | http://www.lumii.lv/MII_staff/rusins.html | |
| Achim JUNG | STONE DUALITY AND PROGRAM LOGICS | |
| University of Birmingham, United Kingdom | http://www.cs.bham.ac.uk/~axj/ | |
| Moni NAOR | CRYPTOGRAPHY AND PRIVACY PRESERVING OPERATIONS | |
| Weizmann Institute, Rehovot, Israel | http://www.wisdom.weizmann.ac.il/~naor/ | |
| Madhu SUDAN | ESSENTIAL CODING THEORY | |
| MIT, Cambridge, MA, USA | http://theory.lcs.mit.edu/~madhu/ | |
|
||
| Kirill Morozov | BRICS, Dept. of Computer Science, University of Aarhus | kirill brics.dkhttp://www.brics.dk/~kirill |
|
||
| Jan Willemson | Cybernetica AS University of Tartu, Inst. of Computer Science |
jancyber.ee http://www.ut.ee/~jan |
| Vahur Kotkas | Institute of Cybernetics | vahurcs.ioc.ee |
| Marko Kääramees | Institute of Cybernetics | markoioc.ee |
| Rustan Novikov | Institute of Cybernetics | Rustam1hot.ee |
| Ando Saabas | Institute of Cybernetics | andocs.ioc.ee |
| Jelena Sanko | Institute of Cybernetics | jelenacs.ioc.ee |
| Juhan Ernits | Institute of Cybernetics | juhancc.ioc.ee |
| Vadim Kimlaychuk | Tallinn University of Technology | vadimdcc.ttu.ee |
| Meelis Kull | University of Tartu | kullegeen.ee - |
| Hendrik Nigul | University of Tartu | hendrik.nigulmail.ee |
| Martin Pettai | University of Tartu | martinput.ee |
| Mati Tombak | University of Tartu | matics.ut.ee |
| Vesal Vojdani | University of Tartu | vesalut.ee |
| Härmel Nestra | University of Tartu, Dept. of Mathematics and Computer Science | nestramath.ut.ee http://www.math.ut.ee/~nestra/ |
| Marina Issakova | University of Tartu, Inst. of Computer Science | marinaiut.ee |
| Rein Prank | University of Tartu, Inst. of Computer Science | prankmath.ut.ee http://www.cs.ut.ee/~prank/ |
| Jaanus Pöial | University of Tartu, Inst. of Computer Science | jaanuscs.ut.ee http://www.cs.ut.ee/~jaanus/ |
|
||
| Sven Laur | Helsinki University of Technology | swenmath.ut.ee |
| Johan Wallén | Helsinki University of Technology | johantcs.hut.fi |
| Matti Järvisalo | Helsinki University of Technology Laboratory for Theoretical Computer Science |
mjjtcs.hut.fi http://www.tcs.hut.fi/~mjj/ |
| Emilia Oikarinen | Helsinki University of Technology Laboratory for Theoretical Computer Science |
emilia.oikarinenhut.fi http://www.tcs.hut.fi/~eoikarin |
| Tommi Meskanen | University of Turku, Dept. of Mathematics | tommesutu.fi |
|
||
| Lutz Strassburger | Loria & INRIA Lorraine, Nancy, France | strassbuloria.fr http://www.loria.fr/~strassbu/ |
|
||
| Klaus Aehlig | Universitaet Muenchen Mathematisches Institut |
aehligmathematik.uni-muenchen.de http://www.mathematik.uni-muenchen.de/~aehlig |
| Frederik Armknecht | University of Mannheim | armknechtth.informatik.uni-mannheim.de http://th.informatik.uni-mannheim.de/people/armknecht.html |
| Laurens Frey | University of Mannheim | frey.lweb.de |
|
||
| Ieva Bolakova | Daugavpils University, Dept. of Computer Science | ievinadau.lv |
| Irina Lovcova | Riga Technical University, Dept. of Modelling and Simulation | irina.lovcovaunibanka.lv |
| Sigita Misiņa | Riga Technical University Faculty of CS and IT |
sisis2navigator.lv |
| Aleksandrs Vališevskis | Technical University of Riga | valisevskise-apollo.lv http://home.lanet.lv/~md80022 |
| Peteris Ledins | University of Latvia | ledinslatnet.lv |
| Rihards Opmanis | University of Latvia | liktenishotmail.com |
|
||
| Arturas Katutis | Kaunas University of Technology | artkatustud.ktu.lt http://fortas.ktu.lt/~bahura |
|
||
| Joakim Bjørk | Department of Informatics University of Oslo |
joakimbjifi.uio.no http://folk.uio.no/joakimbj/ |
| Christian Mahesh Hansen | Department of Informatics University of Oslo |
chrishaifi.uio.no http://www.ifi.uio.no/english/ |
|
||
| Diana Dubu | West University from Timisoara, Faculty of Mathematics and CS, Research Inst. e-Austria Timisoara | diadubuyahoo.co.uk or ddubuinfo.uvt.ro http://web.info.uvt.ro/~ddubu |
|
||
| Alexander Kulikov | St. Petersburg State University | kulikovlogic.pdmi.ras.ru http://logic.pdmi.ras.ru/~kulikov |
| Konstantin Pervyshev | St. Petersburg State University | tpcmail.ru |
| Yury Lifshits | St.Petersburg State University | yuralogic.pdmi.ras.ru http://logic.pdmi.ras.ru/~yura |
|
||
| Liliana Cojocaru | Rovira i Virgili University of Tarragona, GRLMC; Al. I. Cuza University of Iasi, Computer Science | liliana.cojocaruestudiants.urv.es http://pizarro.fll.urv.es/continguts/linguistica/proyecto/grlmc.htm |
|
||
| Jakob Nordström | Royal Institute of Technology (KTH) | jakobnkth.se http://www.nada.kth.se/~jakobn/ |
| ||
| Jaan Penjam | Institute of Cybernetics | jaancs.ioc.ee http://www.cs.ioc.ee/ioc/cv/jaan.penjam.html |
| Monika Perkmann | Institute of Cybernetics | monikacs.ioc.ee http://www.cs.ioc.ee/~monika |
| Tarmo Uustalu | Institute of Cybernetics | tarmocs.ioc.ee www.cs.ioc.ee/~tarmo |
| Peeter Laud | University of Tartu | peeter_lut.ee http://www.ut.ee/~peeter_l |
| Varmo Vene | University of Tartu, Inst. of Computer Science | varmocs.ut.ee http://www.cs.ut.ee/~varmo |