15th Estonian Winter School in Computer Science (EWSCS)
XV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 28 -March 5, 2010

List of Participants 2010

Lecturers


CATEGORIES AND COMPUTABILITY
by Robin COCKETT http://www.cpsc.ucalgary.ca/~robin/
University of Calgary, Dept. of Computer Science, Canada

PAIRING-BASED NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS
by Jens GROTH http://www.cs.ucl.ac.uk/staff/J.Groth/
University College London, Dept. of Computer Science, United Kingdom

ENCRYPTION MECHANISMS FOR DIGITAL CONTENT DISTRIBUTION
by Aggelos KIAYIAS http://www.engr.uconn.edu/~akiayias/
University of Connecticut, School of Engineering, USA

SECURITY, PROBABILITY AND ABSTRACTION: RIGOROUS METHODS FOR SOURCE-LEVEL REASONING
by Carroll MORGAN http://www.cse.unsw.edu.au/~carrollm/
University of New South Wales, School of Computer Science and Engineering, Australia

TYPE-LIKE FRAMEWORKS FOR CONTROLLING STATE AND ALIASING
by Alan MYCROFT http://www.cl.cam.ac.uk/~am21/
University of Cambridge, Computer Laboratory, United Kingdom


Denmark

Ian Zerny Aarhus University, Dept. of Computer Science zerny    cs.au.dk
http://www.zerny.dk


Estonia

Elmo Todurov AS Proekspert todurov    gmail.com
Dan Bogdanov Cybernetica AS db    math.ut.ee
http://dan.bmonde.net/
Madeline Gonzalez Cybernetica AS mgonza29    gmail.com
http://brain.math.fau.edu/gonzalez
Bingsheng Zhang Cybernetica AS b.zhang2009    gmail.com
http://research.cyber.ee/~bingsheng/
Jan Willemson Cybernetica AS jan.willemson    gmail.com
http://research.cyber.ee/~jan/
Jaanus Pöial Estonian Information Technology College jpoial    itcollege.ee
http://www.itcollege.ee/~jpoial/
James Chapman Institute of Cybernetics at TUT james    cs.ioc.ee
Grigory Fedyukovich Institute of Cybernetics at TUT grigory.fedyukovich    gmail.com
Jaan Penjam Institute of Cybernetics at TUT jaan    cs.ioc.ee
Andri Saar Institute of Cybernetics at TUT andri    cs.ioc.ee
Andres Toom Institute of Cybernetics at TUT toom    cs.ioc.ee
Taivo Lints Tallinn University of Technology, Dept. of Computer Control taivo    taivo.net
http://taivo.net
Raido Pahtma Tallinn University of Technology, Dept. of Computer Control raido.pahtma    dcc.ttu.ee
Jürgo Preden Tallinn University of Technology, Dept. of Computer Control jurgo.preden    ttu.ee
Raido Paaslepp Tallinn University of Technology, Dept. of Computer Science raido.paaslepp    eesti.ee
Aivar Annamaa University of Tartu, Inst. of Computer Science aivarannamaa    hotmail.com
Andrey Breslav University of Tartu, Inst. of Computer Science abreslav    gmail.com
http://abreslav.googlepages.com
Oskar Gross University of Tartu, Inst. of Computer Science oskar.gross    gmail.com
Liina Kamm University of Tartu, Inst. of Computer Science kamm    ut.ee


Germany

Gabriel Klein Fraunhofer Institute for Communication, Information Processing and Ergonomics gabriel.klein    fkie.fraunhofer.de
Dulma Rodriguez Ludwig-Maximilians-Universität München, Inst. für Informatik dulma.rodriguez    ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~rodrigue/


Lithuania

Vytautas  Dagilis Kaunas University of Technology v.dagilis    ktu.lt


Poland

Michal Zajac University of Warsaw, Department of Mathematics, Informatics and Mechanics m.p.zajac    gmail.com


Russia

Ekaterina Tuzova Academic Physics and Technology University at St.-Petersburg tuzova.k    gmail.com
Stepan Kuznetsov Moscow State University, Fac. of Mechanics and Mathematics skuzn    inbox.ru
Alexander Kharitonov Moscow State University, Fac. of Mechanics and Mathematics, alexander.kharitonov    gmail.com
Mikhail Rybalkin Saint-Petersburg State Polytechnical University michael.rybalkin    gmail.com
Anna Yudina St. Petersburg Electrotechnical University, Fac. of Computing Technologies and Informatics annayudi    gmail.com
Dmitry Antipov St. Petersburg State University, Fac. of Math. and Mechanics dmitrij.antipov    gmail.com
Sergey Kopeliovich St. Petersburg State University, Fac. of Math. and Mechanics Burunduk30    gmail.com
http://acm.math.spbu.ru/~sk1
Pavel Nikitin St. Petersburg State University, Fac. of Math. and Mechanics pavel.a.nikitin    gmail.com
Olga Silina St. Petersburg State University, Fac. of Math. and Mechanics olga.a.silina    gmail.com
Arseny Smirnov St. Petersburg State University, Fac. of Math. and Mechanics arseny30    gmail.com
Maxim Taldykin St. Petersburg State University, Fac. of Math. and Mechanics jorpic    gmail.com
Nikolay Degtyarev Tula State University n.a.degtyarev    gmail.com
http://lda.tsu.tula.ru/


Organisers

Peeter Laud Cybernetica AS peeter    cyber.ee
http://www.cs.ut.ee/~peeter_l
Helger Lipmaa Cybernetica AS lipmaa    research.cyber.ee
http://research.cyber.ee/~lipmaa
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/
Sven  Laur University of Tartu, Inst. of Computer Science swen    math.ut.ee
http://www.math.ut.ee/~swen
Varmo Vene University of Tartu, Inst. of Computer Science varmo    cs.ut.ee

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