13th Estonian Winter School in Computer Science (EWSCS)
XIII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 2-7, 2008

List of Participants 2008

Lecturers


MODELLING AND REASONING ABOUT STATE
by Nick BENTON http://research.microsoft.com/~nick/
Microsoft Research, United Kingdom

BIOLOGICAL SYSTEMS AS REACTIVE SYSTEMS
by David HAREL http://www.wisdom.weizmann.ac.il/~harel/
Weizmann Institute, Israel

RANDOMIZATION TECHNIQUES FOR SECURE COMPUTATION AND PARALLEL CRYPTOGRAPHY
by Eyal KUSHILEVITZ http://www.cs.technion.ac.il/~eyalk/
Technion, Israel

SOFTWARE SPECIFICATION AND VERIFICATION IN REWRITING LOGIC
by José MESEGUER http://formal.cs.uiuc.edu/meseguer/
Univ. of Illinois at Urbana-Champaign, USA

ZERO KNOWLEDGE AND THE CONSTRUCTION OF SECURE ENCRYPTION SCHEMES
by Giuseppe PERSIANO http://www.dia.unisa.it/~giuper/
Università di Salerno, Italy


Denmark

Gourinath Banda Roskilde University, Dept. of Communication, Business and Information Technologies gnbanda    ruc.dk
http://akira.ruc.dk/~gnbanda/eng/
Rikke Bendlin University of Aarhus, Dept. of Computer Science rikkeb    daimi.au.dk
Jonas Kölker University of Aarhus, Dept. of Computer Science jonaskoelker    gnu.org
Sigurd Meldgaard University of Aarhus, Dept. of Computer Science stm    daimi.au.dk
http://www.daimi.au.dk/~stm


Estonia

Jaak Pruulmann-Vengerfeldt Cybernetica AS jjpp    meso.ee
Jaanus Pöial Estonian Information Technology College jaanus.poial    itcollege.ee
http://www.itcollege.ee/~jpoial/
Jaan Penjam Institute of Cybernetics at TUT jaan    cs.ioc.ee
Margarita Spitšakova Institute of Cybernetics at TUT margo    cs.ioc.ee
Andres Toom Institute of Cybernetics at TUT andres    krates.ee
Taivo Lints Tallinn University of Technology, Dept. of Computer Control taivo    taivo.net
http://taivo.net
Jürgo Preden Tallinn University of Technology, Dept. of Computer Control jurgo.preden    ttu.ee
Marko Kääramees Tallinn University of Technology, Dept. of Computer Science marko.kaaramees    ttu.ee
Andrei Birjukov Tallinn University of Technology, Dept. of Electronics andrei.birjukov    artecdesign.ee
Gunnar Piho Tallinn University of Technology, Dept. of Informatics gunnar.piho    computer.org
Dan Bogdanov University of Tartu, Inst. of Computer Science db    ut.ee
http://dan.bmonde.net/
Sven Laur University of Tartu, Inst. of Computer Science swen    math.ut.ee
http://www.math.ut.ee/~swen
Härmel Nestra University of Tartu, Inst. of Computer Science harmel.nestra    ut.ee
http://www.math.ut.ee/~nestra
Margus Niitsoo University of Tartu, Inst. of Computer Science velochy    ut.ee
Martin Pettai University of Tartu, Inst. of Computer Science martinp    ut.ee
Vesal Vojdani University of Tartu, Inst. of Computer Science vesal.vojdani    gmail.com
Roland Pihlakas University of Tartu, Institute of Technology roland    ut.ee
http://roland.pri.ee/


Germany

Roland Axelsson Ludwig-Maximilians-Universität München, Institut für Informatik roland.axelsson    ifi.lmu.de
http://www.tcs.informatik.uni-muenchen.de/~axelsson/


Italy

Federico Maggi Politecnico di Milano, Dipartimento di Elettronica e Informazione fmaggi    elet.polimi.it
http://home.dei.polimi.it/fmaggi


Latvia

Darja Rudenko Riga Technical University, Faculty of CS and IT to.darya    inbox.lv


Romania

Adrian Groza Technical University of Cluj-Napoca, Dept. of Computer Science Adrian.Groza    cs.utcluj.ro
http://cs-gw.utcluj.ro/~adrian


Russia

Dmitry Tsyganov St. Petersburg State Polytechnical University, Fac. of Computer Science dmitry.tsyganov    gmail.com
Alexey Veselov St. Petersburg State Polytechnical University, Fac. of Computer Science veselov.alexey    gmail.com
Olga Balkanova St. Petersburg State University of IT, Mechanics and Optics olyapa    bk.ru
Maria Batueva St. Petersburg State University of IT, Mechanics and Optics maphenka    mail.ru
Andrey Breslav St. Petersburg State University of IT, Mechanics and Optics abreslav    gmail.com
http://abreslav.googlepages.com
Ksenia Kyzjurova St. Petersburg State University of IT, Mechanics and Optics klyaksa-pro    mail.ru
Alexander Smal St. Petersburg State University of IT, Mechanics and Optics avsmal    gmail.com
Evgeny Demenkov St. Petersburg State University, Fac. of Math. and Mechanics jack239    gmail.com
Alexander Dolnik St. Petersburg State University, Fac. of Math. and Mechanics alexander.dolnik    gmail.com
http://meta.math.spbu.ru/wiki/En/Alexander_Dolnik
Marina Sokol St. Petersburg State University, Fac. of Math. and Mechanics marina4651    yandex.ru
Dmitry Kuranov St.Petersburg State University Fac. of Applied Math and Process control kuranov85    mail.ru


Spain

Miguel Gomez-Zamalloa Gil Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación mzamalloa    clip.dia.fi.upm.es
http://www.clip.dia.fi.upm.es/~mzamalloa
Salvador Tamarit Muñoz Universitat Politècnica de València, Departament de Sistemes Informàtics i Computació stamarit    dsic.upv.es
http://www.dsic.upv.es/~stamarit/


Organisers

Monika Perkmann Institute of Cybernetics at TUT monika    cs.ioc.ee
Tarmo Uustalu Institute of Cybernetics at TUT tarmo    cs.ioc.ee
http://cs.ioc.ee/~tarmo/
Helger Lipmaa University College London, Dept. of Computer Science h.lipmaa    cs.ucl.ac.uk
http://www.adastral.ucl.ac.uk/~helger
Peeter Laud University of Tartu, Inst. of Computer Science peeter.laud    ut.ee
http://www.cs.ut.ee/~peeter_l
Varmo Vene University of Tartu, Inst. of Computer Science varmo    cs.ut.ee
http://www.cs.ut.ee/~varmo/

Valid CSS! Valid XHTML 1.0 Strict Last changed February 25, 2015 20:00 EET by local organizers, ewscs08(at)cs.ioc.ee
EWSCS'08 page: http://cs.ioc.ee/ewscs/2008/