Guest Lecturers

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Winter Semester 2014/15

Prof. Franz J. Kurfess

Summer Semester 2014

Prof. David Toman

Winter Semester 2012/13

Dr. Barbara Morawska
Prof. Sergei Obiedkov

Summer Semester 2012

Dr. Paola Bruscoli

Winter Semester 2011/12

Dr. Paola Bruscoli

Summer Semester 2011

Dr. Paola Bruscoli

Winter Semester 2010/11

Prof. Horst Reichel

Summer Semester 2009

Prof. Gerson Zaverucha

Summer Semester 2008

Prof. Lim Yohanes Stefanus

Winter Semester 2007/2008

Dr. Paola Bruscoli
Dr. Lutz Strassburger

Summer Semester 2007

Prof. Tran Dinh Khang

Summer Semester 2006

Dr. Chunping Li
Dr. Huong Le Thanh
Prof. Horst Reichel


Winter Semester 2005/2006

Dr. Pascal Hitzler
Markus Krötzsch

Winter Semester 2004/2005

Prof. Lim Yohanes Stefanus
Dr. Pascal Hitzler
Dr. Gregory R. Wheeler

Winter Semester 2003/2004

Prof. Sergei Kuznetsov
Prof. Luís Moniz Pereira
Dr. Peter Grigoriev
Prof. Dmitrii V. Vinogradov

Summer Semester 2003

Prof. Pedro Barahona
Prof. Dmitrii V. Vinogradov

Winter Semester 2002/2003

Prof. Andrei Voronkov
Prof. Dongmo Zhang
Prof. Andras Pluhar
Prof. Sergei Kuznetsov

Summer Semester 2002

Prof. Zoltan Esik

Winter Semester 2001/2002

Prof. Norbert Fuchs
Dr. Alessio Lomuscio
Dr. Philippe de Groote

Summer Semester 2001

Prof. Achim Jung

Winter Semester 2000/2001

Dr. Roy Dyckhoff
Dr. Manfred Stede

Summer Semester 2000

Dr. Petros Kefalas
Dr. Ilkka Niemelä
Prof. Antonis Kakas
Dr. Gerald Pfeifer

Winter Semester 1999/2000

Prof. Catalin Buiu
Dr. Werner Stephan


Summer Semester 1999

Prof. Faron Moller
Prof. Maria Paola Bonacina
Prof. Jim Lipton

Winter Semester 1998/99

Prof. Giorgio Levi
Dr. Christoph Weidenbach

Summer Semester 1998

Prof. Jörg Siekmann
Dr. Dieter Hutter
Dr. Michael Kohlhase

Winter Semester 1997/98

Dr. Enrico Franconi
Prof. Michael Thielscher
Prof. Andrei Voronkov