Guest Researchers

• Dimitrii Vinogradov (All-Russian Institute for Scientific and Technical Information (VINITI))
  (with Prof. Ganter)
  15.12.03 -- 15.2.04
  Dr. Vinogradov gives a course on Probability-Based Machine Learning.
  
• Reinhard Kahle (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  27.11. -- 30.11.03
  
• Michel Parigot (Universite Paris 7)
  (with Prof. Hölldobler)
  19.11. -- 23.11.2003
  
• Alwen Tiu (Penn State University)
  (with Prof. Hölldobler)
  18.11. -- 23.11.2003
  
• Jean-Baptist Joinet (Université Paris 7)
  (with Prof. Hölldobler)
  18.11. -- 23.11.2003
  
• Luiz Moniz Pereira (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  14.11.03 -- 09.12.03
  Prof. Pereira gives a course on Computational Agents.
• Gregory Wheeler (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  9.11. -- 22.11.03
  
• Michail Schlesinger (International Research and Training Centre, Kiev)
  (with Prof. Fuchs)
  01.11.03 -- 31.01.04
  Prof. Schlesinger gives a course on "Strukturelle Mustererkennung".
• Peter Grigoriev (VINITI, Moscow)
  (with Prof. Ganter)
  01.11.03 -- 31.12.03
  Dr. Grigoriev gives a course on Practical Data Mining with Concept Lattices.
• Ulrike Sattler (University of Manchester)
  (with Prof. Baader)
  27.10. -- 30.10.2003
  
• Martijn Warnier (University of Nijmegen)
  (with Prof. Reichel)
  27.10. -- 31.10.2003
  
• Harvey Tuch (University of New South Wales)
  (with Prof. Härtig)
  09.09.03 -- 21.09.03
  12.10.03 -- 29.11.03
  
• Sergei Kuznetsov (VINITI, Moscow)
  (with Prof. Ganter)
  01.09.03 -- 29.02.04
  Prof. Kuznetsov gives a course on Machine Learning and Knowledge Discovery with Concept Lattices.
• Mikhail Samokhine (VINITI, Moscow)
  (with Prof. Ganter)
  01.09.03 -- 29.02.04
  
• Mike Bain (University of New South Wales)
  (with Prof. Ganter)
  20.07. -- 25.07.03
  Mike Bain gave an invited talk at the
  International Conference on Conceptual Structures (ICCS 2003)
• Paul Compton (University of New South Wales)
  (with Prof. Ganter)
  20.07. -- 25.07.03
  Paul Compton gave an invited talk at the
  International Conference on Conceptual Structures (ICCS 2003)
• Lim Yohanes Stefanus (University of Indonesia)
  (with Prof. Hölldobler)
  22.06. -- 05.07.03
  Participation in the Summer School .
• Isabel Oitavem Rocha (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  22.06. -- 05.07.03
  Participation in the Summer School .
• Reinhard Kahle (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  22.06. -- 05.07.03
  Lecturer at the Summer School. Co-Organisation of the Workshops on Proof Therory.
• Gregory Wheeler (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  22.06. -- 05.07.03
  Participation in the Summer School.
• Peter Aczel (University of Manchester)
  (with Prof. Hölldobler)
  29.06.03 -- 03.07.03
  Prof. Aczel gave a course during the Summer School.
  
• Stephen G. Simpson (Pennsylvania State University)
  (with Prof. Hölldobler)
  21.06.03 -- 28.06.03
  Prof. Simpson gave a course during the Summer School.
  
• Dimitrii Vinogradov (All-Russian Institute for Scientific and Technical Information (VINITI))
  (with Prof. Ganter)
  16.06.03 -- 15.08.03
  Dr. Vinogradov gave a course.
• Paul Gastin (LIAFA, Paris Cedex 05))
  (with Prof. Droste)
  15.06.03 -- 20.06.03
  Dr. Gastin will give a talk on "A survey on temporal logics".
  
• Maurice Pagnucco (University of New South Wales)
  (with Prof. Thielscher)
  19.6.03 -- 20.6.03
  
• Sergei A. Obiedkov (VINITI, Moscow)
  (with Prof. Ganter)
  01.06.03 -- 29.02.04
  Dr. Obiedkov will give seminars on Contextual Logics in cooperation with Prof. Ganter.
• Pedro Barahona (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  07.05.03 -- 23.05.03
  Dr. Barahona will give a course
  
• Luiz Moniz Pereira (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  09.02.03 -- 16.02.03
  
• Reinhard Kahle (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  02.02.03 -- 16.2.03
  
• Federico Banti (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  09.02.03 -- 16.2.03
  
• Gregory Wheeler (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  26.01.03 -- 09.02.03
  
• Marco Castellani (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  26.01.03 -- 09.02.03
  
• Dongmo Zhang (University of New South Wales)
  (with Prof. Thielscher)
  03.01.03 -- 02.02.03
  Dongmo Zhang will give a course.
• Andrei Voronkov (University of Manchester)
  (with Prof. Baader)
  01.11.02 -- 31.12.02
  Prof. Voronkov will give a course.
• Andras Pluhar (University of Szeged)
  (with Prof. Vogler)
  20.10.02 -- 31.01.03
  Prof. Pluhar gives a course.
• Bart Jacobs (University of Nijmegen)
  (with Prof. Reichel)
  17.10.02 -- 19.10.02
  
• Sergei Kuznetsov (VINITI, Moscow)
  (with Prof. Ganter)
  01.10.02 -- 31.03.03
  Sergei Kuznetsov gives a course.
• Mikhail Samokhine (VINITI, Moscow)
  (with Prof. Ganter)
  01.09.02 -- 31.03.03
  
• Sergei A. Obiedkov (VINITI, Moscow)
  (with Prof. Ganter)
  25.08.02 -- 25.10.02
  
• Ian Horrocks (University of Manchester)
  (with Prof. Baader)
  24.08.02 -- 07.09.02
  
• Michel Parigot (Paris VII)
  (with Prof. Hölldobler)
  08.06.02 -- 13.06.02
  He attended the Workshop on Proof Theory and Computation.
• Dale Miller and Catuscia Palamidessi (Penn State University)
  (with Prof. Hölldobler)
  02.06.02 -- 22.06.02
  They both gave a series of lectures in the Workshop on Proof Theory and Computation.
• Alwen Tiu (Penn State University)
  (with Prof. Hölldobler)
  01.06.02 -- 31.07.02
  Alwen Tiu is alumnus of the Computational Logic Master Program at TU Dresden and now a Ph.D. Student with our IQN Partner Penn State University.
  His stay is devoted to further investigations into the calculus of structures which was already the topic of his master thesis.
• Zoltan Esik (University of Szeged)
  (with Prof. Vogler)
  01.06.02 -- 31.07.02
  Prof. Esik gave a course.
• Michail Schlesinger (International Research and Training Centre, Kiev)
  (with Prof. Fuchs)
  01.05.02 -- 15.06.02
  Prof. Schlesinger gave a course.
• Zsolt Gazdag (University of Szeged)
  (with Prof. Vogler)
  03.03.02 -- 09.03.02
  
• Jesse Hughes (University of Nijmegen)
  (with Prof. Reichel)
  18.02.02 -- 28.02.02
  
• Zsolt Gazdag (University of Szeged)
  (with Prof. Vogler)
  20.01.02 -- 02.02.02
  
• Luiz Moniz Pereira (Universidade Nova de Lisboa)
  (with Prof. Hölldobler)
  28.01.02 -- 30.01.02
  Prof. Pereira gave a talk at the IQN Inauguration Celebration.
  Moreover, there were first discussions on future cooperation within the EU funded CologNet.
• Zoltan Fülöp (University of Szeged)
  (with Prof. Vogler)
  09.12.01 -- 15.12.01
• Adam Wiggins (University of New South Wales)
  (with Prof. Härtig)
  07.12.01 -- 23.12.01
• Miguel A. G. Naranjo (Universidad de Sevilla)
  (with Prof. Hölldobler/Dr. Hitzler)
  25.11.01 -- 19.12.01
  The stay was devoted to the investigation of possibilities for the integration of connectionist inference systems, quantitative logic programming, and inductive logic programming, with special focus on transfering learning methods from inductive logic programming to connectionist networks.
• Sergei Kuznetsov and Sergei A. Obiedkov (VINITI, Moscow)
  (with Prof. Ganter)
  30.10.01 -- 10.11.01 resp. 01.11.01 -- 05.11.01
  Part of the research of Sergei Kuznetsov and of Sergei Obiedkov is to combine methods of Machine Learning (as developed at the VINITI Institute) with those of Formal Concept Analysis. Recently, there were two main activities: In a joint research, the two authors have compared different algorithms for the generation of closure systems with respect to their complexity (this is of key importance for many applications). The VINITI-group, in particular Dr. Kuznetsov, has successfully participated in an international competition concerning drug effect prediction.
• Ivan Vladimirovich Kovtun (International Research and Training Centre, Kiev)
  (with Prof. Fuchs)
  01.10.01 -- 29.02.04
  Ivan Kovtun works on the development of algorithms for texture segmentation of pictures. These algorithms produce descriptions of pictures as a composition of a segmentation and of textures, where both the segmentation and each texture are described by Markov Random Fields.
• Pawel Waszkiewicz (University of Birmingham)
  (with Prof. Hölldobler/Dr. Hitzler)
  29.09.01 -- 13.10.01
  The visit was devoted to the study of relationships between generalized metrics and measurements on continuous domains.
  Additional attention was given to fixed-point theorems for these structures and possible applications to logic programming semantics.

Maintained by Bertram Fronhöfer <> Last modified: Fri Apr 2 16:38:16 CEST 2004

Back to IQN home page