11th Estonian Winter School in Computer Science (EWSCS)
XI Eesti Arvutiteaduse Talvekool
Palmse, Estonia, March 5-10, 2006
under the auspices of European Educational Forum
LIST OF PARTICIPANTS
Lecturers | ||
| Jan BERGSTRA | FROM PROGRAM ALGEBRA TO THREAD ALGEBRA | |
| Universiteit van Amsterdam, Netherlands | http://staff.science.uva.nl/~janb/ | |
| Yvo DESMEDT | ROBUST OPERATIONS RESEARCH | |
| University College London, United Kingdom | http://www.cs.ucl.ac.uk/staff/Y.Desmedt/ | |
| Nicholas HALBWACHS | SYNCHRONOUS PROGRAMMING: PRINCIPLES, COMPILATION, VERIFICATION | |
| Université Grenoble I / CNRS, France | http://www-verimag.imag.fr/PEOPLE/Nicolas.Halbwachs/ | |
| James L MASSEY | INFORMATION THEORY AND CRYPTOGRAPHY | |
| (em., ETH Zürich, Switzerland), Copenhagen, Denmark | ||
| John REYNOLDS | AN INTRODUCTION TO SEPARATION LOGIC | |
| Carnegie-Mellon University, Pittsburgh, PA, USA | http://www-2.cs.cmu.edu/~jcr/ | |
|
||
| Jan Cappaert | Catholic University of Leuven, Dept. of Electrical Engineering | jan.cappaert esat.kuleuven.behttp://www.esat.kuleuven.be/~jcappaer/ |
| Markulf Kohlweiss | Catholic University of Leuven, Dept. of Electrical Engineering | markulf.kohlweissesat.kuleuven.be |
|
||
| Ramy Shahin | Microsoft Corp. | r.shahincomputer.org |
|
||
| Jevgeni Kabanov | AS Webmedia and University of Tartu, Inst. of Computer Science | ekabanovgmail.com |
| Toomas Römer | AS Webmedia and University of Tartu, Inst. of Computer Science | toomasmees.ee |
| Jaak Pruulmann-Vengerfeldt | Cybernetica AS | jjppmeso.ee |
| Jan Willemson | Cybernetica AS | jan.villemsonut.ee |
| Jaanus Pöial | Estonian Information Technology College | jaanus.poialitcollege.ee http://www.itcollege.ee/~jpoial/ |
| Vahur Kotkas | Institute of Cybernetics at TUT | vahurcs.ioc.ee |
| Ando Saabas | Institute of Cybernetics at TUT | andocs.ioc.ee |
| Jelena Sanko | Institute of Cybernetics at TUT | jelenacs.ioc.ee |
| Olha Shkaravska | Institute of Cybernetics at TUT | shkaravcs.ioc.ee http://www.cs.ioc.ee/~shkarav/ |
| Margarita Spitšakova | Institute of Cybernetics at TUT | margostergmail.com |
| Hellis Tamm | Institute of Cybernetics at TUT | helliscs.ioc.ee |
| Enn Tõugu | Institute of Cybernetics at TUT | tyugucs.ioc.ee http://www.cs.ioc.ee/~tyugu |
| Andre Karpištšenko | Tallinn University of Technology, Dept. of Computer Control | andrelap.ee |
| Juhan Ernits | Tallinn University of Technology, Dept. of Computer Science | juhancc.ioc.ee http://www.cc.ioc.ee/~juhan |
| Marko Kääramees | Tallinn University of Technology, Dept. of Computer Science | marko.kaarameesttu.ee |
| Risto Tamme | Tallinn University of Technology, Dept. of Computer Science | ristoektaco.ee |
| Gunnar Piho | Tallinn University of Technology, Dept. of Informatics | Gunnar.Pihocomputer.org |
| Ilja Tšahhirov | Tallinn University of Technology, Dept. of Informatics | ilja_tshahhirovhotmail.com |
| Dan Bogdanov | University of Tartu, Inst. of Computer Science | dbmath.ut.ee http://dan.bmonde.net/ |
| Marina Issakova | University of Tartu, Inst. of Computer Science | marina.issakovaut.ee http://math.ut.ee/~marinai/ |
| Liina Kamm | University of Tartu, Inst. of Computer Science | kammut.ee http://www.math.ut.ee/~kamm |
| Darja Krushevskaja | University of Tartu, Inst. of Computer Science | dashaut.ee |
| Igor Kuzmitshov | University of Tartu, Inst. of Computer Science | kuzmiigogmail.com |
| Emilia Käsper | University of Tartu, Inst. of Computer Science | emilia.kasperesat.kuleuven.be |
| Sven Laur | University of Tartu, Inst. of Computer Science | swenmath.ut.ee www.math.ut.ee/~swen |
| Dmitri Lepp | University of Tartu, Inst. of Computer Science | dmitriut.ee |
| Härmel Nestra | University of Tartu, Inst. of Computer Science | harmel.nestraut.ee http://www.math.ut.ee/~nestra |
| Ksenia Orman | University of Tartu, Inst. of Computer Science | kseniaout.ee |
| Jüri Reimand | University of Tartu, Inst. of Computer Science | jyri.reimandut.ee |
| Ago-Erik Riet | University of Tartu, Inst. of Computer Science | ago.rietgmail.com |
| Tõnu Tamme | University of Tartu, Inst. of Computer Science | Tonu.Tammeut.ee http://www.ut.ee/~tqnu |
| Konstantin Tretjakov | University of Tartu, Inst. of Computer Science | ktut.ee |
| Vesal Vojdani | University of Tartu, Inst. of Computer Science | vesal.vojdanigmail.com |
| Jelena Zaitseva | University of Tartu, Inst. of Computer Science | jellenut.ee http://math.ut.ee/~jellen/ |
|
||
| Jukka Valkonen | Helsinki University of Technology, Department of Computer Science and Engineering | jukka.valkonentkk.fi http://users.tkk.fi/~javalkon/ |
|
||
| Indre Zliobaite | Vilnius University, Dept. of Informatics | indre.zliobaitemif.vu.lt |
| Petras Pauliunas | Vytautas Magnus University, Dept. of Applied Informatics | p.pauliunasif.vdu.lt http://fcim.vdu.lt/~petras_pauliunas |
|
||
| Erik Nilsen Haga | University of Oslo, Dept. of Informatics | eriknhifi.uio.no |
|
||
| Yury Lifshits | Petersburg Department of Steklov Institute of Mathematics | yuralogic.pdmi.ras.ru http://logic.pdmi.ras.ru/~yura/ |
| Dmitri Pavlov | Saint Petersburg Institute of Fine Mechanics and Optics | pavlovrain.ifmo.ru |
| Alexey Dievsky | St. Petersburg State University, Fac. of Math. and Mechanics | protosstemplarmail.ru |
| Oleg Medvedev | St. Petersburg State University, Fac. of Math. and Mechanics | doursmail.ru |
| Konstantin Pervyshev | St. Petersburg State University, Fac. of Math. and Mechanics | tpcmail.ru http://logic.pdmi.ras.ru/~pervyshev/ |
| Nikolay Vyahhi | St. Petersburg State University, Fac. of Math. and Mechanics | nickmemorycrystals.ru |
|
||
| Pino Caballero-Gil | University of La Laguna, Dept. of Stats, Operations Research and Computing | pcaballeull.es http://webpages.ull.es/users/cryptull/English/index.htm |
|
||
| Philipp Rümmer | Chalmers University of Technology, Dept. of Computing Science | philippcs.chalmers.se http://www.cs.chalmers.se/~philipp/ |
| Hans Svensson | Chalmers University of Technology, Dept. of Computing Science | hanssvcs.chalmers.se http://www.cs.chalmers.se/~hanssv |
| Dennis Walter | Chalmers University of Technology, Dept. of Computing Science | denniswacs.chalmers.se |
| Johan Glimming | Stockholm University, School of Computing Sciences and Communication | glimmingkth.se http://www.csc.kth.se/~glimming/ |
| ||
| Peeter Laud | Cybernetica AS; University of Tartu, Inst. of Computer Science | peeter.laudut.ee http://www.ut.ee/~peeter_l |
| Helger Lipmaa | Cybernetica AS; University of Tartu, Inst. of Computer Science | lipmaaut.ee http://www.cs.ut.ee/~lipmaa |
| Jaan Penjam | Institute of Cybernetics at TUT | jaancs.ioc.ee http://ioc.ee/cv/jaan.penjam.html |
| Monika Perkmann | Institute of Cybernetics at TUT | monikacs.ioc.ee |
| Tarmo Uustalu | Institute of Cybernetics at TUT | tarmocs.ioc.ee http://www.cs.ioc.ee/~tarmo/ |
| Jüri Vain | Tallinn University of Technology, Dept. of Computer Science | vainioc.ee |
| Varmo Vene | University of Tartu, Inst. of Computer Science | varmocs.ut.ee http://www.cs.ut.ee/~varmo |