Guest Lecturers: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Ilja Shmelkin (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Ilja Shmelkin (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
== Winter Semester 2014/15 == | == Winter Semester 2014/15 == | ||
[[File:Kurfess.jpeg|thumb|none|verweis= | [[File:Kurfess.jpeg|thumb|none|verweis=Franz J. Kurfess|Prof. Franz J. Kurfess|Prof. Franz J. Kurfess]] | ||
== Summer Semester 2014 == | == Summer Semester 2014 == | ||
[[File:nophoto.jpg|thumb|120px|none|verweis= | [[File:nophoto.jpg|thumb|120px|none|verweis=David Toman|Prof. David Toman|Prof. David Toman]] | ||
== Winter Semester 2012/13 == | == Winter Semester 2012/13 == | ||
| Zeile 11: | Zeile 11: | ||
[[File:morawska.jpg|thumb|none|verweis= | [[File:morawska.jpg|thumb|none|verweis=Barbara Morawska|Dr. Barbara Morawska|Dr. Barbara Morawska]][[File:nophoto.jpg|120px|120px|thumb|none|verweis=|Prof. Sergei Obiedkov|Prof. Sergei Obiedkov]] | ||
== Summer Semester 2012 == | == Summer Semester 2012 == | ||
| Zeile 17: | Zeile 17: | ||
[[File:Bruscoli.jpeg|thumb|none|verweis= | [[File:Bruscoli.jpeg|thumb|none|verweis=Paola Bruscoli|Dr. Paola Bruscoli|Dr. Paola Bruscoli]] | ||
== Winter Semester 2011/12 == | == Winter Semester 2011/12 == | ||
[[File:Bruscoli.jpeg|thumb|none|verweis= | [[File:Bruscoli.jpeg|thumb|none|verweis=Paola Bruscoli|Dr. Paola Bruscoli|Dr. Paola Bruscoli]] | ||
== Summer Semester 2011 == | == Summer Semester 2011 == | ||
| Zeile 28: | Zeile 28: | ||
[[File:Bruscoli.jpeg|thumb|none|verweis= | [[File:Bruscoli.jpeg|thumb|none|verweis=Paola Bruscoli|Dr. Paola Bruscoli|Dr. Paola Bruscoli]] | ||
== Winter Semester 2010/11 == | == Winter Semester 2010/11 == | ||
[[File:Reichel.jpg|thumb|none|verweis= | [[File:Reichel.jpg|thumb|none|verweis=Horst Reichel|Prof. Horst Reichel|Prof. Horst Reichel]] | ||
== Summer Semester 2009 == | == Summer Semester 2009 == | ||
| Zeile 39: | Zeile 39: | ||
[[File:Zaverucha.jpg|thumb|none|verweis= | [[File:Zaverucha.jpg|thumb|none|verweis=Gerson Zaverucha|Prof. Gerson Zaverucha|Prof. Gerson Zaverucha]] | ||
== Summer Semester 2008 == | == Summer Semester 2008 == | ||
| Zeile 45: | Zeile 45: | ||
[[File:Stefanus.jpg|thumb|none|verweis= | [[File:Stefanus.jpg|thumb|none|verweis=Lim Yohanes Stefanus|Prof. Lim Yohanes Stefanus|Prof. Lim Yohanes Stefanus]] | ||
== Winter Semester 2007/2008 == | == Winter Semester 2007/2008 == | ||
[[File:Bruscoli.jpeg|thumb|none|verweis= | [[File:Bruscoli.jpeg|thumb|none|verweis=Paola Bruscoli|Dr. Paola Bruscoli|Dr. Paola Bruscoli]] | ||
[[File:Strassburger.jpeg|thumb|none|verweis= | [[File:Strassburger.jpeg|thumb|none|verweis=Lutz Strassburger|Dr. Lutz Strassburger|Dr. Lutz Strassburger]] | ||
== Summer Semester 2007 == | == Summer Semester 2007 == | ||
| Zeile 58: | Zeile 58: | ||
[[File:nophoto.jpg|120px|thumb|none|verweis= | [[File:nophoto.jpg|120px|thumb|none|verweis=Tran Dinh Khang|Prof. Tran Dinh Khang|Prof. Tran Dinh Khang]] | ||
== Summer Semester 2006 == | == Summer Semester 2006 == | ||
[[File:nophoto.jpg|120px|thumb|none|verweis= | [[File:nophoto.jpg|120px|thumb|none|verweis=Chunping Li|Dr. Chunping Li|Dr. Chunping Li]] | ||
[[File:nophoto.jpg|120px|thumb|none|verweis= | [[File:nophoto.jpg|120px|thumb|none|verweis=Huong Le Thanh|Dr. Huong Le Thanh|Dr. Huong Le Thanh]] | ||
[[File:Reichel.jpg|thumb|none|verweis= | [[File:Reichel.jpg|thumb|none|verweis=Horst Reichel|Prof. Horst Reichel|Prof. Horst Reichel]] | ||
| Zeile 72: | Zeile 72: | ||
[[File:Hitzler.jpg|thumb|none|verweis= | [[File:Hitzler.jpg|thumb|none|verweis=Pascal Hitzler|Dr. Pascal Hitzler|Dr. Pascal Hitzler]] | ||
[[File:Kroetzsch.jpg|thumb|none|verweis=Markus Krötzsch|Markus Krötzsch|Markus Krötzsch]] | [[File:Kroetzsch.jpg|thumb|none|verweis=Markus Krötzsch|Markus Krötzsch|Markus Krötzsch]] | ||
| Zeile 78: | Zeile 78: | ||
[[File:Stefanus.jpg|thumb|none|verweis= | [[File:Stefanus.jpg|thumb|none|verweis=Lim Yohanes Stefanus|Prof. Lim Yohanes Stefanus|Prof. Lim Yohanes Stefanus]] | ||
[[File:Hitzler.jpg|thumb|none|verweis= | [[File:Hitzler.jpg|thumb|none|verweis=Pascal Hitzler|Dr. Pascal Hitzler|Dr. Pascal Hitzler]] | ||
[[File:Wheeler.jpg|thumb|none|verweis= | [[File:Wheeler.jpg|thumb|none|verweis=Gregory R. Wheeler|Dr. Gregory R. Wheeler|Dr. Gregory R. Wheeler]] | ||
== Winter Semester 2003/2004 == | == Winter Semester 2003/2004 == | ||
[[File:Kusnetzov.jpg|thumb|none|verweis= | [[File:Kusnetzov.jpg|thumb|none|verweis=Sergei Kuznetsov|Prof. Sergei Kuznetsov|Prof. Sergei Kuznetsov]] | ||
[[File:Pereira.jpg|thumb|none|verweis= | [[File:Pereira.jpg|thumb|none|verweis=Luís Moniz Pereira|Prof. Luís Moniz Pereira|Prof. Luís Moniz Pereira]] | ||
[[File:Grigoriev.jpg|thumb|none|verweis= | [[File:Grigoriev.jpg|thumb|none|verweis=Peter Grigoriev|Dr. Peter Grigoriev|Dr. Peter Grigoriev]] | ||
[[File:Vinogradov.jpg|thumb|none|verweis= | [[File:Vinogradov.jpg|thumb|none|verweis=Dmitrii V. Vinogradov|Prof. Dmitrii V. Vinogradov|Prof. Dmitrii V. Vinogradov]] | ||
== Summer Semester 2003 == | == Summer Semester 2003 == | ||
| Zeile 94: | Zeile 94: | ||
[[File:Barahona.jpg|thumb|none|verweis= | [[File:Barahona.jpg|thumb|none|verweis=Pedro Barahona|Prof. Pedro Barahona|Prof. Pedro Barahona]] | ||
[[File:Vinogradov.jpg|thumb|none|verweis= | [[File:Vinogradov.jpg|thumb|none|verweis=Dmitrii V. Vinogradov|Prof. Dmitrii V. Vinogradov|Prof. Dmitrii V. Vinogradov]] | ||
== Winter Semester 2002/2003 == | == Winter Semester 2002/2003 == | ||
[[File:Voronkov.jpg|thumb|none|verweis= | [[File:Voronkov.jpg|thumb|none|verweis=Andrei Voronkov|Prof. Andrei Voronkov|Prof. Andrei Voronkov]] | ||
[[File:Zhang.jpg|thumb|none|verweis= | [[File:Zhang.jpg|thumb|none|verweis=Dongmo Zhang|Prof. Dongmo Zhang|Prof. Dongmo Zhang]] | ||
[[File:Pluhar.jpg|thumb|none|verweis= | [[File:Pluhar.jpg|thumb|none|verweis=Andras Pluhar|Prof. Andras Pluhar|Prof. Andras Pluhar]] | ||
[[File:Kusnetzov.jpg|thumb|none|verweis= | [[File:Kusnetzov.jpg|thumb|none|verweis=Sergei Kuznetsov|Prof. Sergei Kuznetsov|Prof. Sergei Kuznetsov]] | ||
== Summer Semester 2002 == | == Summer Semester 2002 == | ||
| Zeile 109: | Zeile 109: | ||
[[File:Esik.jpg|thumb|none|verweis= | [[File:Esik.jpg|thumb|none|verweis=Zoltan Esik|Prof. Zoltan Esik|Prof. Zoltan Esik]] | ||
== Winter Semester 2001/2002 == | == Winter Semester 2001/2002 == | ||
| Zeile 115: | Zeile 115: | ||
[[File:N.Fuchs.jpg|thumb|none|verweis= | [[File:N.Fuchs.jpg|thumb|none|verweis=Norbert Fuchs|Prof. Norbert Fuchs|Prof. Norbert Fuchs]] | ||
[[File:Lomuscio.jpg|thumb|none|verweis= | [[File:Lomuscio.jpg|thumb|none|verweis=Alessio Lomuscio|Dr. Alessio Lomuscio|Dr. Alessio Lomuscio]] | ||
[[File:deGroote.jpg|thumb|none|verweis= | [[File:deGroote.jpg|thumb|none|verweis=Philippe de Groote|Dr. Philippe de Groote|Dr. Philippe de Groote]] | ||
== Summer Semester 2001 == | == Summer Semester 2001 == | ||
| Zeile 123: | Zeile 123: | ||
[[File:Jung.jpg|thumb|none|verweis= | [[File:Jung.jpg|thumb|none|verweis=Achim Jung|Prof. Achim Jung|Prof. Achim Jung]] | ||
== Winter Semester 2000/2001 == | == Winter Semester 2000/2001 == | ||
[[File:Dyckhoff.jpg|thumb|none|verweis= | [[File:Dyckhoff.jpg|thumb|none|verweis=Roy Dyckhoff|Dr. Roy Dyckhoff|Dr. Roy Dyckhoff]] | ||
[[File:Stede.jpg|thumb|none|verweis= | [[File:Stede.jpg|thumb|none|verweis=Manfred Stede|Dr. Manfred Stede|Dr. Manfred Stede]] | ||
== Summer Semester 2000 == | == Summer Semester 2000 == | ||
| Zeile 135: | Zeile 135: | ||
[[File:Kefalas.jpg|thumb|none|verweis= | [[File:Kefalas.jpg|thumb|none|verweis=Petros Kefalas|Dr. Petros Kefalas|Dr. Petros Kefalas]] | ||
[[File:Niemelae.jpg|thumb|none|verweis= | [[File:Niemelae.jpg|thumb|none|verweis=Ilkka Niemelä|Dr. Ilkka Niemelä|Dr. Ilkka Niemelä]] | ||
[[File:Kakas.jpg|thumb|none|verweis= | [[File:Kakas.jpg|thumb|none|verweis=Antonis Kakas|Prof. Antonis Kakas|Prof. Antonis Kakas]] | ||
[[File:Pfeifer.jpg|thumb|none|verweis= | [[File:Pfeifer.jpg|thumb|none|verweis=Gerald Pfeifer|Dr. Gerald Pfeifer|Dr. Gerald Pfeifer]] | ||
== Winter Semester 1999/2000 == | == Winter Semester 1999/2000 == | ||
[[File:Buiu.jpg|thumb|none|verweis= | [[File:Buiu.jpg|thumb|none|verweis=Catalin Buiu|Prof. Catalin Buiu|Prof. Catalin Buiu]] | ||
[[File:W.Stephan.jpg|thumb|none|verweis= | [[File:W.Stephan.jpg|thumb|none|verweis=Werner Stephan|Dr. Werner Stephan|Dr. Werner Stephan]] | ||
| Zeile 150: | Zeile 150: | ||
[[File:Moller.jpg|thumb|none|verweis= | [[File:Moller.jpg|thumb|none|verweis=Faron Moller|Prof. Faron Moller|Prof. Faron Moller]] | ||
[[File:Bonacina.jpg|thumb|none|verweis= | [[File:Bonacina.jpg|thumb|none|verweis=Maria Paola Bonacina|Prof. Maria Paola Bonacina|Prof. Maria Paola Bonacina]] | ||
[[File:Lipton.jpg|thumb|none|verweis= | [[File:Lipton.jpg|thumb|none|verweis=Jim Lipton|Prof. Jim Lipton|Prof. Jim Lipton]] | ||
== Winter Semester 1998/99 == | == Winter Semester 1998/99 == | ||
| Zeile 158: | Zeile 158: | ||
[[File:Levi.jpg|thumb|none|Prof. Giorgio Levi|verweis= | [[File:Levi.jpg|thumb|none|Prof. Giorgio Levi|verweis=Giorgio Levi|Prof. Giorgio Levi]] | ||
[[File:Weidenbach.jpg|thumb|none|verweis= | [[File:Weidenbach.jpg|thumb|none|verweis=Christoph Weidenbach|Dr. Christoph Weidenbach|Dr. Christoph Weidenbach]] | ||
== Summer Semester 1998 == | == Summer Semester 1998 == | ||
[[File:Siekmann.jpg|thumb|none|verweis= | [[File:Siekmann.jpg|thumb|none|verweis=Jörg Siekmann|Prof. Jörg Siekmann|Prof. Jörg Siekmann]] | ||
[[File:Hutter.jpg|thumb|none|verweis= | [[File:Hutter.jpg|thumb|none|verweis=Dieter Hutter|Dr. Dieter Hutter|Dr. Dieter Hutter]] | ||
[[File:Kohlhase.jpg|thumb|none|verweis= | [[File:Kohlhase.jpg|thumb|none|verweis=Michael Kohlhase|Dr. Michael Kohlhase|Dr. Michael Kohlhase]] | ||
== Winter Semester 1997/98 == | == Winter Semester 1997/98 == | ||
[[File:Franconi.jpg|thumb|none|verweis= | [[File:Franconi.jpg|thumb|none|verweis=Enrico Franconi|Dr. Enrico Franconi|Dr. Enrico Franconi]] | ||
[[File:Thielscher.jpg|thumb|none|verweis= | [[File:Thielscher.jpg|thumb|none|verweis=Michael Thielscher|Prof. Michael Thielscher|Prof. Michael Thielscher]] | ||
[[File:Voronkov.jpg|thumb|none|verweis= | [[File:Voronkov.jpg|thumb|none|verweis=Andrei Voronkov|Prof. Andrei Voronkov|Prof. Andrei Voronkov]] | ||
Aktuelle Version vom 18. März 2015, 17:02 Uhr
Winter Semester 2014/15
Summer Semester 2014
Winter Semester 2012/13
Summer Semester 2012
Winter Semester 2011/12
Summer Semester 2011
Winter Semester 2010/11
Summer Semester 2009
Summer Semester 2008
Winter Semester 2007/2008
Summer Semester 2007
Summer Semester 2006
Winter Semester 2005/2006
Winter Semester 2004/2005
Winter Semester 2003/2004
Summer Semester 2003
Winter Semester 2002/2003
Summer Semester 2002
Winter Semester 2001/2002
Summer Semester 2001
Winter Semester 2000/2001
Summer Semester 2000
Winter Semester 1999/2000
