This page comprises information of all kind which is somehow related to the IQN,
but does not fit into the main slots of IQN activities.

• P. Buchholz. Numerical Analysis Approaches for Large Markov Chains -Experiments, Observations, and Some New Results.
  Invited tutorial at the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, Urbana, IL, USA, September 2003.
• Ulrike Sattler - after her Habilitation at TU Dresden - joined the group of Ian Horrocks at our IQN-Partner University of Manchester.
• Michael Thielscher visited the University of South Whales from 18.8.2003 till 8.9.2003 and gave a talk on "Logically Reasoning Robots" (28.8.2003)
• In 2003, Carsten Lutz was Co-organizer of the Workshop on Knowledge Representation meets Databases (KRDB 2003) in Hamburg, where Diego Calvanese (from our IQN Partner Università `La Sapienza', Roma) was an invited speaker.
• Reinhard Pöschel gave an invited Main Talk at the confernece NSAC03 (Novi Sad Algebraic Conference) Novi Sad, 25.-28.8.2003
• Ian Horrocks and Ulrike Sattler gave a Tutorial on Description Logics at the European Conference on Artificial Intelligence (ECAI 2002) in Lyon.
• Ulrike Sattler gave an invited talk at ICCS2003 in Dresden.
• July 21-25, 2003: The International Conference on Conceptual Structures (ICCS 2003)
  was organised by Bernhard Ganter at the TU Dresden.
• Reinhard Pöschel participated and gave a talk at the conference "Lattices, Universal Algebra and Applications", Lisbon, 28.-30.5.2003.
  On this occasion he established first contacts with the mathematicians both at Universidade de Lisboa and Universidade Nova de Lisboa.
• Horst Reichel visited the university of Nijmegenvom from 8.2.2003 till 14.2.2003.
• 11.-13. December 2002: We will organise at the TU Dresden
  17. WLP - Workshop Logische Programmierung
  which is the annual meeting of the German Logic Programming Community.
• 24.-27. October 2002: At the TU Dresden took place
  the annual Meeting of DAAD Study Grant Bearers
  whose study grant is funded by Siemens AG
  
• Reinhard Pöschel is Program Committee Member of
  "Universal Algebra and Lattice Theory" (Szeged, 22.-26.7.2002),
  a conference on the occasion of the 70th birthday of B. Csakany
  (ancient rector of the university to whom existed good cntacts).
  Prof. Pöschel will also give a talk at this conference.
• Joint course on description logics by Carsten Lutz (TU Dresden) and Ulrike Sattler (both TU Dresden) at the European Summer School on Logic, Language, and Information (ESSLLI 2002).
• June 17, 2002
  Visit of Professor John McCarthy (Stanford University)
  He gave a talk with the title:
  ``Actions and Other Events in Situation Calculus''
  Abstract: This talk presents a situation calculus formalism featuring events as primary and the usual actions as a special case. Events that are not actions are called internal evenst and actions are called external events. The effects of both kinds of events are given by effect axioms of the usual kind. The actions are assumed to be performed by an agent as is usual in situation calculus. An internal event occurs in situations satisfying the occurrence assertion for that event. We offer a general viewpoint on the situation calculus and its applications to real world problems.
• Manfred Droste and Heiko Vogler organized the workshop
  Weighted Automata: Theory and Applications
  -- 04.-08.03.02 in Dresden, funded by the DFG-Graduiertenkolleg 334 --
  which had many participants from our Hungarian IQN partner Univ. Szeged.
• Steffen Hölldobler visited our IQN Partner in Jakarta in March 2002
• Heiko Vogler held a compact series of lectures
  (26 hours within 1 week)
  for PhD students at the University Szeged (funded by Sokrates)
• Invited lecturers:
  Prof. Esik and Dr. Fülöp gave invited talks at the International Workshop on
  Weighted Automata: Theory and Applications.
• 02. - 03. November 2001: Workshop on
  Begriffliche Formalisierung von Prozessen und Systemen
  

---

Maintained by Bertram Fronhöfer <> Last modified: Thu Dec 18 13:00:58 CET 2003

Back to IQN home page