CiE logo
COMPUTABILITY IN EUROPE
Participants
Leeds Amsterdam Athens Barcelona Heidelberg Lisbon Munich Nancy Novosibirsk Oslo Prague Siena Sofia Swansea

1. LEEDS, U.K.

University of Leeds

Barry Cooper (Network Coordinator) - pmt6sbc @ leeds.ac.uk
Stan Wainer - s.s.wainer @ leeds.ac.uk
John K. Truss - pmtjkt @ leeds.ac.uk
Michael Rathjen - rathjen @ maths.leeds.ac.uk
John Derrick - pmt6jd @ amsta.leeds.ac.uk
Andrew E.M. Lewis - andyl @ amsta.leeds.ac.uk
George Barmpalias - georgeb @ amsta.leeds.ac.uk
Charles Harris - charlie @ maths.leeds.ac.uk
Patricia Hill - hill @ comp.leeds.ac.uk
Martin Dyer - dyer @ comp.leeds.ac.uk
Vlatko Vedral - v.vedral @ leeds.ac.uk, vlatko.vedral @ qubit.org
Viv Kendon - V.Kendon @ leeds.ac.uk
Christopher Timpson - c.g.timpson @ leeds.ac.uk
Haiko Müller - hm @ comp.leeds.ac.uk
Natasha Shakhlevich - ns @ comp.leeds.ac.uk
Kristina Vušković - vuskovi @ comp.leeds.ac.uk
Javier Fontarnau - javier @ comp.leeds.ac.uk
Bahareh Afshari - bahareh @ maths.leeds.ac.uk
Mariya Soskova - mariya @ maths.leeds.ac.uk
Vajirapan Panumong - vaji @ comp.leeds.ac.uk
Tristan J.B. Jenkinson - tristan @ maths.leeds.ac.uk
Anthony Morphett - awmorp @ maths.leeds.ac.uk
Kyung IL Lee - kilee @ maths.leeds.ac.uk
Graham Leigh - grahaml @ maths.leeds.ac.uk
Gareth Boxall - boxallg @ maths.leeds.ac.uk
Elliott Spoors - espoors @ maths.leeds.ac.uk
Agatha Walczak-Typke - agatha @ maths.leeds.ac.uk
David M. Knipe - pmtdmk @ leeds.ac.uk
University of Birmingham
Martín Escardó (Local Coordinator) - m.escardo @ cs.bham.ac.uk
Achim Jung - A.Jung @ cs.bham.ac.uk
Steve Vickers - s.j.vickers @ cs.bham.ac.uk
Mike Smyth - mbs @ doc.ic.ac.uk
Paul Levy - P.B.Levy @ cs.bham.ac.uk
Jose Raymundo Marcial Romero - J.R.Marcial @ cs.bham.ac.uk
Thomas Anberree - T.Anberree @ cs.bham.ac.uk
Ho Weng Kin
Mohamed Abdel-Moneim M M El-Zawawy - M.A.El-Zawawy @ cs.bham.ac.uk
University of Cambridge
Martin Hyland (Local Coordinator) - j.m.e.hyland @ dpmms.cam.ac.uk
Anuj Dawar - Anuj.Dawar @ cl.cam.ac.uk
Andrew Pitts - Andrew.Pitts @ cl.cam.ac.uk
Glynn Winskel - Glynn.Winskel @ cl.cam.ac.uk
Marcelo Fiore - Marcelo.Fiore @ cl.cam.ac.uk
Thomas Forster - tf @ dpmms.cam.ac.uk
David Richerby - David.Richerby @ cl.cam.ac.uk
Christian Urban - cu200 @ cam.ac.uk
Nicola Gambino - ng266 @ dpmms.cam.ac.uk
Elizabeth Ayer
Richard Garner
Microsoft Research Cambridge
Luca Cardelli - luca @ microsoft.com
Nick Benton - nick @ microsoft.com
Andrew D. Gordon - adg @ microsoft.com
University of Edinburgh
John Longley (Local Coordinator) - jrl @ inf.ed.ac.uk
Alex Simpson - als @ inf.ed.ac.uk
Gordon D. Plotkin - gdp @ inf.ed.ac.uk
Matthias Schroeder - mschrode @ informatics.ed.ac.uk
Fedor Fomenko - F.Fomenko @ sms.ed.ac.uk
HP Laboratories, Bristol
The Quantum Information Processing (QIP) Group : Bill Munro (Local Coordinator) - bill.munro @ hp.com
King's College, London
Maribel Fernández (Local Coordinator) - maribel @ dcs.kcl.ac.uk
Ian Mackie - ian @ dcs.kcl.ac.uk
University of Manchester
Peter Aczel (Local Coordinator) - petera @ cs.man.ac.uk
Jeff Paris - jparis @ ma.man.ac.uk
Alena Vencovska - alena @ maths.man.ac.uk
George Wilmers - george @ maths.man.ac.uk
Andrea Schalk - aschalk @ cs.man.ac.uk
Paul Taylor - pt @ cs.man.ac.uk
Harold Simmons - hsimmons @ cs.man.ac.uk
University of Oxford
Samson Abramsky - Samson.Abramsky @ comlab.ox.ac.uk
Andrew Hodges - andrew.hodges @ wadham.oxford.ac.uk, andrew @ synth.co.uk
University of York
Samuel L. Braunstein - schmuel @ cs.york.ac.uk
University of Sheffield
Mike Stannett - m.stannett @ dcs.shef.ac.uk
2. AMSTERDAM, NETHERLANDS

University of Amsterdam

Benedikt Löwe (Group Coordinator) - bloewe @ science.uva.nl
Peter van Emde Boas - peter @ science.uva.nl
Johan van Benthem - johan @ science.uva.nl
Leen Torenvliet - leen @ science.uva.nl
Dick de Jongh - dickdj @ science.uva.nl
Jan Bergstra - janb @ science.uva.nl
Harry Buhrman - buhrman @ cwi.nl or harry @ buhrman.nl
Paul Vitanyi - Paul.Vitanyi @ cwi.nl
Michiel van Lambalgen - M.vanLambalgen @ uva.nl
Yde Venema - yde @ science.uva.nl
Stefan Bold - bold @ math.uni-bonn.de
Brian Semmes - bsemmes @ science.uva.nl
Nick Bezhanishvili - nbezhani @ science.uva.nl
Merlijn Sevenster - sevenstr @ science.uva.nl
Sjoerd Druiven - sdruiven @ science.uva.nl
Boudewijn de Bruin - debruin @ science.uva.nl
Balder ten Cate - Balder.tenCate @ uva.nl
Clemens Kupke - ckupke @ science.uva.nl
Evangelos Tzanis - etzanis @ science.uva.nl
Yoav Seginer - yseginer @ science.uva.nl
Hartmut Fitz - H.Fitz @ uva.nl
National Research Institute for Mathematics and Computer Science (CWI), Amsterdam
Jan Rutten - janr @ cwi.nl
Peter Grünwald - pdg @ cwi.nl
Troy Lee - troy.lee @ cwi.nl
Leiden Institute of Advanced Computer Science (LIACS), Leiden University
Joost Kok (Local Coordinator) - joost @ liacs.nl
Grzegorz Rozenberg - rozenber @ liacs.nl
Thomas Bäck - baeck @ liacs.nl
Jetty Kleijn - kleijn @ wi.LeidenUniv.nl
Hendrik-Jan Hoogeboom - hoogeboom @ liacs.nl
Walter Kosters - kosters @ liacs.nl
Marcello Bonsangue - marcello @ cwi.nl
Luuk Groenewegen - luuk @ liacs.nl
Farhad Arbab - Farhad.Arbab @ cwi.nl
Erik de Vink - evink @ win.tue.nl
University of Utrecht
Jan van Leeuwen - jan @ cs.uu.nl
H.J. Sander Bruggink - bruggink @ phil.uu.nl
Jaap van Oosten - jvoosten @ math.uu.nl
Lev Beklemishev (Local Coordinator) - lev @ phil.uu.nl
Andreas Weiermann - weierma @ math.uni-muenster.de
Frank de Boer - frankb @ cs.uu.nl
University of Münster, Germany
Wolfram Pohlers (Local Coordinator) - pohlers @ math.uni-muenster.de
Michael Möllerfeld - mimoe @ math.uni-muenster.de
Christoph Duchhardt - duchhar @ math.uni-muenster.de
Gunnar Wilken - wilkeng @ math.uni-muenster.de
Christoph Heinatsch
3. ATHENS, GREECE

University of Athens

Costas Dimitracopoulos (Group Coordinator) - cdimitr @ cc.uoa.gr, cdimitr @ math.uoa.gr
Yiannis Moschovakis - ynm @ math.ucla.edu
Elias Koutsoupias - elias @ di.uoa.gr
J. R. Moschovakis
Vassilios Zissimopoulos - vassilis @ di.uoa.gr
E. Kalyvianaki
N. Rigas
A. Sirokofskich
G. Vafeiadou
Athens University of Economics and Business
Michael E. Mytilinaios - xar @ aueb.gr
National Technical University of Athens
George Koletsos (Local Coordinator) - koletsos @ math.ntua.gr
E. Foustoucos - eugenie @ math.ntua.gr
A. Pagourtzis - pagurzis @ cs.ntua.gr
G. Stavrinos - gstav @ math.ntua.gr
Foto Afrati - afrati @ softlab.ece.ntua.gr
S. Zachos - zachos @ cc.ece.ntua.gr
University of the Aegean
Ch. Cornaros
University of Crete
Thanases C. Pheidas (Local Coordinator) - pheidas @ math.uoc.gr
Constantine Skandalis - kostek @ math.uoc.gr
J. Demeyer
4. BARCELONA, SPAIN

Polytechnic University of Catalonia, Barcelona

Albert Atserias (Group Coordinator) - atserias @ lsi.upc.es
Maria Luisa Bonet - bonet @ lsi.upc.es
Jose Balcázar - balqui @ lsi.upc.es
Antoni Lozano - antoni @ lsi.upc.es
Ricard Gavaldà - gavalda @ lsi.upc.es
Jaume Baixeries - jbaixer @ lsi.upc.es
Gemma Casas - gcasas @ lsi.upc.es
Juan Luis Esteban - esteban @ lsi.upc.es
Albert Bifet
University of Zaragoza
Elvira Mayordomo (Local Coordinator) - elvira @ unizar.es
Maria Lopez-Valdes - marlopez @ unizar.es
University of the Basque Country, San Sebastian
Montserrat Hermo (Local Coordinator) - jiphehum @ si.ehu.es
Paqui Lucio - jiplucap @ si.ehu.es
Marisa Navarro - jipnagom @ si.ehu.es
Javier Alvez - jibalgij @ si.ehu.es
Jose Gaintzarain - jipgaibj @ lg.ehu.es
University of Oviedo
Elías Fernandez-Combarro - elias @ aic.uniovi.es
5. HEIDELBERG, GERMANY

University of Heidelberg

Klaus Ambos-Spies (Group Coordinator) - ambos @ math.uni-heidelberg.de
Jan Reimann - reimann @ math.uni-heidelberg.de
Wolfgang Merkle - merkle @ math.uni-heidelberg.de
Paolo di Muccio - pmuccio @ ix.urz.uni-heidelberg.de
Edgar Busse - busse @ math.uni-heidelberg.de
Nenad Mihailovic - mihailovic @ math.uni-heidelberg.de
University of Ulm
Uwe Schöning (Local Coordinator) - uwe.schoening @ uni-ulm.de
Jacobo Torán - toran @ informatik.uni-ulm.de, jacobo @ lsi.upc.es
Rainer Schuler - schuler @ informatik.uni-ulm.de
Thomas Thierauf - thierauf @ informatik.uni-ulm.de
Wolfgang Lindner - lindner @ informatik.uni-ulm.de
Jochen Meßner - jochen_messner @ web.de
Minh Hoang - hoang @ informatik.uni-ulm.de
Boris Hollas - hollas @ informatik.uni-ulm.de
Markus Maucher - maucher @ informatik.uni-ulm.de
Monika von Knop
Humboldt University Berlin
Johannes Köbler (Local Coordinator) - koebler @ informatik.hu-berlin.de
Eberhard Herrmann - herrmann @ mathematik.hu-berlin.de
Olaf Beyersdorff - beyersdo @ informatik.hu-berlin.de
Lorenz Weizsaecker
Brandenburg University of Technology Cottbus
Klaus Meer - meer @ Informatik.TU-Cottbus.de
Xizhong Zheng - zheng @ Informatik.TU-Cottbus.de
University of Paderborn
Martin Ziegler - ziegler @ uni-paderborn.de
Technical University of Darmstadt
Martin Otto (Local Coordinator) - otto @ mathematik.tu-darmstadt.de
Thomas Streicher - streicher @ mathematik.tu-darmstadt.de
Klaus Keimel - keimel @ mathematik.tu-darmstadt.de
Ulrich Kohlenbach - kohlenbach @ mathematik.tu-darmstadt.de
Branimir Lambov - barnie @ brics.dk
6. LISBON, PORTUGAL

University of Lisbon

Fernando Ferreira (Group Coordinator) - ferferr @ cii.fc.ul.pt
Carlos Lourenço - csl @ di.fc.ul.pt
Gilda Ferreira - gildafer @ cii.fc.ul.pt
Lisbon University of Technology
Manuel Lameiras Campagnolo (Local Coordinator) - mlc @ madpet.isa.utl.pt
António Fernandes - amfernandes @ netcabo.pt
Paula Gouveia - mpg @ math.ist.utl.pt
José Félix Costa - fgc @ math.ist.utl.pt
Bruno Loff - bruno.loff @ gmail.com
New University of Lisbon
Isabel Oitavem (Local Coordinator) - isarocha @ ptmat.fc.ul.pt
University of the Algarve
Daniel Graça - dgraca @ ualg.pt
Ana Nunes - anunes @ ualg.pt
University of the Azores
Luís Mendes Gomes - lmg @ notes.uac.pt
University of Coimbra
Reinhard Kahle - kahle @ mat.uc.pt
University of Porto
Luis Filipe Coelho Antunes (Local Coordinator) - lfa @ ncc.up.pt
Sabine Babette Broda - sbb @ ncc.up.pt
Armando Matos - acm @ ncc.up.pt
Alexandre Pinto - alx @ ncc.up.pt
7. MUNICH, GERMANY

Ludwig Maximilian University of Munich

Helmut Schwichtenberg (Group Coordinator) - schwicht @ rz.mathematik.uni-muenchen.de
Wilfried Buchholz - buchholz @ rz.mathematik.uni-muenchen.de
Hans-Dieter Donder - donder @ rz.mathematik.uni-muenchen.de
Horst Osswald - Horst.Osswald @ mathematik.uni-muenchen.de
Jan Johannsen - jjohanns @ informatik.uni-muenchen.de
Klaus Thiel - thiel @ math.lmu.de
Martin Hofmann - hofmann @ informatik.uni-muenchen.de
Ralph Matthes - matthes @ informatik.uni-muenchen.de
Dirk Pattinson - pattinso @ informatik.uni-muenchen.de
Peter Schuster - Peter.Schuster @ mathematik.uni-muenchen.de
Martin Lange - mlange @ informatik.uni-muenchen.de
Hans-Wolfgang Loidl - hwloidl @ informatik.uni-muenchen.de
Klaus Aehlig - aehlig @ mathematik.uni-muenchen.de
Josef Berger - Josef.Berger @ mathematik.uni-muenchen.de
Oliver Deiser - deiser @ mathematik.uni-muenchen.de
Olha Shkaravska - shkarav @ informatik.uni-muenchen.de
Holger Benl
Silvia Gebellato
Martin Kuebler
Markus Sauermann - sauerman @ rz.mathematik.uni-muenchen.de
Andreas Abel - abel @ informatik.uni-muenchen.de
Freiric Barral - barral @ tcs.informatik.uni-muenchen.de
Steffen Jost - steffen.jost @ ifi.lmu.de
Favio Miranda-Perea - miranda @ informatik.uni-muenchen.de
University of Hagen
Klaus Weihrauch (Local Coordinator) - Klaus.Weihrauch @ FernUni-Hagen.de
Daren Kunkle - Daren.Kunkle @ FernUni-Hagen.de
Robert Rettinger - Robert.Rettinger @ Fernuni-Hagen.de
Huu Hung DO - dohuuhung @ web.de
Uwe Mylatz - mylatz @ uni-lueneburg.de
University of the Federal Armed Forces at Munich, Neubiberg
Peter H. Hertling - hertling @ informatik.unibw-muenchen.de
University of Siegen
Dieter Spreen - spreen @ math.uni-siegen.de
University of Ljubljana, Slovenia
Andrej Bauer - Andrej.Bauer @ andrej.com
Vienna University of Technology, Austria
Matthias Baaz - baaz @ logic.at
Alex Leitsch - leitsch @ logic.at
Chris Fermueller - chrisf @ logic.at
Rosalie Iemhoff - iemhoff @ logic.at
Sebastiaan Terwijn - terwijn @ logic.at
Norbert Preining - preining @ logic.at
Agata Ciabattoni - agata @ logic.at
8. NANCY - PARIS, FRANCE

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications, Vandoeuvre-lès-Nancy

Olivier Bournez (Group Coordinator) - Olivier.Bournez @ loria.fr
Emmanuel Hainry - Emmanuel.Hainry @ loria.fr
Paulin de Naurois - Paulin.De-Naurois @ loria.fr
Johanne Cohen - Johanne.Cohen @ loria.fr
Jean-Yves Marion - Jean-Yves.Marion @ loria.fr
ENS - Ecole Normale Supérieure, Paris
Giuseppe Longo (Local Coordinator) - Giuseppe.Longo @ ens.fr
Mathieu Hoyrup - mhoyrup @ ens-lyon.fr
Arda Kolkac - kolcak @ di.ens.fr
Cristobal Rojas - rojas @ di.ens.fr
LRI - Laboratoire de Recherche en Informatique, Université Paris-Sud 11
Miklos Santha (Local Coordinator) - Miklos @ lri.fr
Christoph Dürr - durr @ lri.fr
Julia Kempe - kempe @ lri.fr
Sophie Laplante - laplante @ lri.fr
Frédéric Magniez - magniez @ lri.fr
Michel de Rougemont - mdr @ lri.fr
L'Equipe de Logique Mathématique, CNRS and Université Paris 7
Olivier Finkel - Olivier.Finkel @ ens-lyon.fr
Université Pierre et Marie Curie
Alessandra Carbone - Alessandra @ Carbone.lip6.fr
Tel Aviv University, Israel
Nachum Dershowitz - nachumd @ tau.ac.il
Udi Boker - udiboker @ tau.ac.il
Arnon Avron - aa @ tau.ac.il
Alexander Rabinovich - rabinoa @ tau.ac.il
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans, University of Orleans
Jérôme Durand-Lose - Jerome.Durand-Lose @ lifo.univ-orleans.fr
ENS Lyon - Ecole Normale Supérieure de Lyon
Pascal Koiran (Local Coordinator) - Pascal.Korian @ ens-lyon.fr
Vincent Nesme
Emmanuel Jaendel
Sylvain Perifel - Sylvain.Perifel @ ens-lyon.fr
Natacha Portier - Natacha.Portier @ ens-lyon.fr
LITA - Laboratoire d'Informatique Théorique et Appliquée, University of Metz
Maurice Margenstern - margens @ sciences.univ-metz.fr
Serghei Verlan - verlan @ sciences.univ-metz.fr
PRiSM - Laboratoire de recherche en informatique, University of Versailles St-Quentin
Hervè Fournier - Herve.Fournier @ prism.uvsq.fr
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, University of Caen
Etienne Grandjean (Local Coordinator) - Etienne.Grandjean @ info.unicaen.fr
Philippe Chapdelaine - philippe.chapdelaine @ info.unicaen.fr
Véronique Terrier - veroniqu @ info.unicaen.fr
9. NOVOSIBIRSK, RUSSIA

Novosibirsk State University

Sergei S. Goncharov (Group Coordinator) - gonchar@math.nsc.ru, sergei @ math.nsc.ru
Yuri Ershov - ershov @ math.nsc.ru
Victor Selivanov - vseliv @ nspu.ru
Andrei S Morozov - morozov @ math.nsc.ru
Margarita Korovina - korovina @ brics.dk
Oleg Kudinov - kud @ math.nsc.ru
Pavel Alaev - alaev @ math.nsc.ru
Sergei Podzorov - podz @ math.nsc.ru
Nurlan Kogabaev - kogabaev @ math.nsc.ru
Aleksey Stukachev - aistu @ math.nsc.ru
Vadim Puzarenko - vagrig @ math.nsc.ru
Asylkhan Khisamiev - hisamiev @ math.nsc.ru
Stanislav Bereznyuk - bereznuk @ math.nsc.ru
N.V. Belyakin
M. Gailit
E. Gailit
A. Nechesov
A. Sidorov
E. Fokina
P. Semukhin
P. Demenkov
S.D. Denisov
L.L. Maksimova
V.Murzina
D.E. Palchunov
A. Nechesov
A. Sidorov
A. Buzykaeva
V. Murzina
Steklov Institute of Mathematics, St. Petersburg
Yuri Matiyasevich (Local Coordinator) - yumat @ pdmi.ras.ru
Edward Hirsch - hirsch @ pdmi.ras.ru
Boris Konev - konev @ pdmi.ras.ru
Maxim Vsemirnov - vsemir @ pdmi.ras.ru
Vladimir Orevkov - orevkov @ pdmi.ras.ru
A. Kozhevnikov
St. Petersburg State University
Nikolay Kossovsky (Local Coordinator) - kosov @ nkk.usr.pu.ru
Alexandr Alekseev
State Marine Technical University of St. Petersburg
Tatiana Kosovskaya
Svetlana Protasova
St.Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences
Artem Tishkov
Kazan State University
Marat M. Arslanov (Local Coordinator) - Marat.Arslanov @ ksu.ru
Iskander Kalimullin - Iskander.Kalimullin @ ksu.ru
Andrei Frolov
Kazakh National University, Almaty
Serikzhan Badaev (Local Coordinator) - badaev @ kazsu.kz
Zarif Khisamiev - RinHis @ Land.ru
Vyacheslav Dobritsa - dobritsa @ mail.ru
Mikhail Peretyat'kin - peretya @ sdu.edu.kz
Anna Romina - romina @ yandex.ru
Shynar Abutalipova - ab_shynar @ kazsu.kz
Asel Altaeva - aselaa @ mail.ru
Shynar Abutalipova
Ualbai Umirbaev
Zh.T. Talasbaeva
Almas Kungozhain
Kulaisha Beisenbaeva
Daniyar Kozybaev
Tbilisi State University, Georgia
Roland Sh Omanadze - omanr @ viam.hepi.edu.ge
Ivanovo State University of Chemistry and Technology
Boris Solon - solon @ icti.ivanovo.su
Uljanovsk State University
Shamil Ishmukhametov (Local Coordinator) - ishm @ mci.ulsu.ru, ishm@vens.ru, Ishmukhametov @ ulsu.ru
Maxim Mukhin
Tyumen State University
Sergei Zakharov (Local Coordinator) - sdz @ tiiel.ru
Alexander Degtev
East Kazakhstan State University, Ust-Kamenogorsk
Nazif Khisamiev - hisamiev @ mail.ru
10. OSLO - UPPSALA, SCANDINAVIA

University of Oslo

Dag Normann (Group Coordinator) - dnormann @ math.uio.no
Herman Ruge Jervell - herman.jervell @ ilf.uio.no
Tore Langholm - Tore.Langholm @ ilf.uio.no
Ivar Rummelhoff - ivarru @ math.uio.no
Uppsala University, Sweden
Viggo Stoltenberg-Hansen (Local Coordinator) - viggo @ math.uu.se, Viggo.Stoltenberg-Hansen @ math.uu.se
Erik Palmgren - palmgren @ math.uu.se
Marko Djordjevic
Göran Hamrin - hamrin @ math.uu.se
Fredrik Dahlgren - Fredrik.Dahlgren @ math.uu.se
Johan Granström - Johan.Granstrom @ math.uu.se
Olov Wilander - Olov.Wilander @ math.uu.se
University of Gothenberg, Sweden
Thierry Coquand - coquand @ cs.chalmers.se
Peter Dybjer - peterd @ cs.chalmers.se
Oslo University College
Lars Kristiansen - larsk @ math.uio.no
University of Bergen
Marc Bezem (Local Coordinator) - bezem @ ii.uib.no
Magne Haveraaen - Magne.Haveraaen @ ii.uib.no
Luleå University of Technology, Sweden
Jens Blanck - jens @ sm.luth.se
11. PRAGUE, CZECH REPUBLIC

Academy of Sciences of the Czech Republic

Jiří Wiedermann (Group Coordinator) - jiri.wiedermann @ cs.cas.cz
Pavel Pudlák - pudlak @ math.cas.cz
Jan Krajicek - krajicek @ math.cas.cz
Jiri Sgall - sgall @ math.cas.cz
Petr Hajek - hajek @ uivt.cas.cz
Jiri Sima - sima @ cs.cas.cz
Stanislav Zak - stan @ cs.cas.cz
Petr Cintula - cintula @ cs.cas.cz
David Coufal - coufal @ uivt.cas.cz
Charles University in Prague
Antonín Kučera (Local Coordinator) - kucera @ ksi.mff.cuni.cz
Ludek Kucera
Jirka Hanika
Emil Jerabek - jerabek @ math.cas.cz
M. Rossler
Tomáš Tichý - tom @ kiwi.ms.mff.cuni.cz, xtom @ go.to
M. Bilkova
L. Petru
T. Tusarova
Emil Kotrc - kotrc @ cs.cas.cz
Zuzana Hanikova - zuzana @ cs.cas.cz
Martin Saturka - kvutza @ cs.cas.cz
Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary
István Németi - nemeti @ math-inst.hu
Hajnal Andréka - andreka @ math-inst.hu
Maria Curie-Sklodowska University, Lublin, Poland
Jerzy Mycka - jmycka @ hektor.umcs.lublin.pl
13. SOFIA, BULGARIA

University of Sofia, Bulgaria

Ivan N Soskov (Group Coordinator) - soskov @ fmi.uni-sofia.bg
Dimiter Skordev - skordev @ fmi.uni-sofia.bg
Angel Ditchev - ditchev @ fmi.uni-sofia.bg
Tinko Tinchev - tinko @ fmi.uni-sofia.bg
Stela Nikolova - stenik @ fmi.uni-sofia.bg
Alexandra Soskova - asoskova @ fmi.uni-sofia.bg
Dimiter Vakarelov - dvak @ fmi.uni-sofia.bg
Vessela Baleva - vbaleva @ fmi.uni-sofia.bg
Mariya Soskova - m_soskova @ hotmail.com
Bulgarian Academy of Sciences, Sofia
Lyubomir Ivanov - antar @ math.bas.bg
Vladimir Sotirov - vlsot @ math.bas.bg, sotirov @ fmi.uni-sofia.bg
Jordan Zashev - zashev @ math.bas.bg
Dimitar Guelev - gelevdp @ math.bas.bg
The Romanian Academy, Bucharest, Romania
Gheorghe Paun - George.Paun @ imar.ro, gpaun @ us.es
University of Bucharest, Romania
Victor Mitrana - mitrana @ fmi.unibuc.ro
Ioan Tomescu
Adrian Atanasiu - adrian @ galaxyng.com
Dragos Popescu
Radu Gramatovici - radu @ funinf.cs.unibuc.ro
Florin Manea
Cezara Dragoi
Ruxandra Verman
Alexandru Sofronia
12. SIENA, ITALY

University of Siena

Andrea Sorbi (Group Coordinator) - SORBI @ unisi.it
Franco Montagna - montagna @ unisi.it
Giulia Simi - simi @ unisi.it
Aldo Ursini - ursini @ unisi.it
Matthew Giorgi - giorgi11 @ unisi.it, matthewgiorgi @ hotmail.com
Giovanni Curi - gcuri @ math.unipd.it
Maria Libera Affatato - marili @ interfree.it
Guido Gherardi - gherardi3 @ unisi.it
Luca Spada - spada @ unisi.it
Francesco Cosentino - francesco_cosentino @ hotmail.com
University of Florence
Andrea Cantini (Local Coordinator) - cantini @ unifi.it
Pierluigi Crescenzi - piluc @ dsi.unifi.it
Pierluigi Minari - minari @ unifi.it
Maria Laura Crosilla - Laura.Crosilla @ unifi.it
Riccardo Bruni - riccardobruni @ hotmail.com
Veronica Santini
Bioinformatics and Natural Computing Group of the University of Milano Bicocca
Paola Bonizzoni - bonizzoni @ disco.unimib.it
Giancarlo Mauri - mauri @ disco.unimib.it
Alberto Leporati - lepo @ fislab.disco.unimib.it
Claudio Zandron - zandron @ disco.unimib.it, zandron @ dsi.unimi.it
University of Padua
Giovanni Sambin (Local Coordinator) - sambin @ math.unipd.it
Silvio Valentini - silvio @ math.unipd.it
Milly Maietti - maietti @ math.unipd.it
Claudia Faggian - claudia @ math.unipd.it
Sara Sadocco - saradoc @ math.unipd.it
Giulia Battilotti - giulia @ math.unipd.it
Paola Zizzi - zizzi @ math.unipd.it
University of Pisa
Guglielmo Tamburrini - gugt @ fls.unipi.it, gugt @ sole.cib.na.cnr.it
University of Rome La Sapienza
Giorgio Ausiello (Local Coordinator) - Giorgio.Ausiello @ dis.uniroma1.it
Marco Cadoli - Marco.Cadoli @ dis.uniroma1.it
Stefano Leonardi - leon @ dis.uniroma1.it
Alberto Marchetti Spaccamela - alberto @ dis.uniroma1.it
Fiora Pirri - pirri @ dis.uniroma1.it
Nicola Galesi - galesi @ di.uniroma1.it
University of Rome Tor Vergata
Arturo Carsetti - art-car @ iol.it
University of Turin
Alessandro Andretta (Local Coordinator) - andretta @ dm.unito.it
Piergiorgio Odifreddi - odifreddi @ dm.unito.it, piergior @ dm.unito.it
Domenico Zambella - domenico @ dm.unito.it
University of Udine
Pietro Di Gianantonio (Local Coordinator) - digianantonio @ dimi.uniud.it, pietro @ dimi.uniud.it
Furio Honsell - honsell @ dimi.uniud.it
Alberto Marcone - marcone @ dimi.uniud.it
14. SWANSEA, U.K.

University of Wales Swansea

John Tucker (Group Coordinator) - j.v.tucker @ swansea.ac.uk
Arnold Beckmann - a.beckmann @ swan.ac.uk
Edwin Beggs - E.J.Beggs @ Swansea.ac.uk
Ulrich Berger - u.berger @ swan.ac.uk
Min Chen - m.chen @ swansea.ac.uk
Phil Grant - p.w.grant @ swansea.ac.uk
Neal Harman - n.a.harman @ swswa.ac.uk
Roger Hindley - r.j.hindley @ swansea.ac.uk
Oliver Kullmann - o.kullmann @ swansea.ac.uk
Faron Moller - F.G.Moller @ swansea.ac.uk
Markus Roggenbach - m.roggenbach @ swan.ac.uk
Monika Seisenberger - csmona @ swansea.ac.uk
Anton Setzer - a.g.setzer @ swan.ac.uk
Jiang-Lun Wu - J.L.Wu @ Swansea.ac.uk
Justin Biddle - csjustin @ swansea.ac.uk
Owain Couch
Andy Gimblett - a.m.gimblett @ swan.ac.uk
Will Harwood
Yoshinao Isobe - y-isobe @ aist.go.jp
Ken Johnson - csken @ swan.ac.uk
Markus Michelbrink - m.michelbrink @ t-online.de
Ron Morris
Alfie Abdul Rahman - csalfie @ swansea.ac.uk
Rose Abdul Rauf
Adam Tacy - sm836a @ pe.mod.uk
Imperial College London
Abbas Edalat (Local Coordinator) - ae @ doc.ic.ac.uk
Herbert Wiklicky - herbert @ doc.ic.ac.uk
Queen Mary University of London
Paulo Oliva - pbo @ dcs.qmul.ac.uk
University of Bristol
John Shepherdson - john.shepherdson @ bristol.ac.uk
Philip Welch - p.welch @ bristol.ac.uk
University of Reading
Mark Baker - Mark.Baker @ computer.org
University College Cork, Ireland
Damien Woods - d.woods @ bcri.ucc.ie

Leeds Amsterdam Athens Barcelona Heidelberg Lisbon Munich Nancy Novosibirsk Oslo Prague Siena Sofia Swansea

Maintained by Barry Cooper, last changed 29 May 2009
Free counter and web stats