Former Events of the third period
- January 7, 2003, 1.45 pm
- Dr. Charles Stewart, TU Dresden:
- "Partial Sharing Diagrams"
- January 14, 2003, 1.45 pm
- Dr. Frithjof Dau, TU Darmstadt:
- "Mathematische Logik mit Diagrammen"
- March 31 - April 4, 2003
- Workshop, Kurort Gohrisch
- talks and abstracts
- preliminary programme
- April 8, 2003, 1.45 pm
- Prof. Alexander Pott and Prof. Jörg Raisch,
Otto-von-Guericke-Universität Magdeburg
- "Sichere Approximation dynamischer Systeme"
- April 22, 2003, 1.15 pm
- Prof. Marc Denecker, University of Leuven
- "Nonmonotone inductive definitions: the logic underlying Logic Programming"
- April 29, 2003, 1.15 pm
- Dipl.-Inf. Manuel Bodirsky, HU Berlin
- "Constraint Satisfaction with Countable Homogeneous Templates"
- May 6, 2003, 1.15 pm
- Meeting
- May 13-15, 2003 room DUE 274 B, Department of Computer
Science, Dürerstraße 26
- Workshop "Algebra, Logic, and Discrete Mathematics"
- Program
- May 20, 2003, 1.15 pm
- Dipl.-Inf. Josef Svenningsson, Göteborg
- "The dual of shortcut fusion"
- May 27, 2003, 1.15 pm
- Achim Blumensath, RWTH Aachen
- "Einfache Monadische Theorien"
- June 3, 2003, 1.15 pm
- Prof. Patricia Johann, Rutgers University, Camden, New Jersey
- "Proving the Correctness of Free Theorems-Based Program Transformations"
- June 17, 2003, 1.15 pm (IQN)
- Prof. Paul Gastin, LIAFA, University of Paris
- "A survey on temporal logics"
- June 24, 2003, 1.15 pm
- Prof. Anders Moller, University of Aarhus, Denmark
- "The MONA project"
- June 23 - July 4, 2003 (CL)
- Summer School and Workshop on Proof Theory, Computation and
Complexity, TU Dresden
- preliminary program
- July 8, 2003, 1.15 pm
- Olga Skvortsova, TU Dresden
- "Towards Probabilistic Fluent Calculus"
- July 8, 2003, 2.15 pm
- Maja Milicic, TU Dresden
- "Describing Web Services with Description Logics"
- July 15, 2003, 1.15 pm (IQN)
- Prof. Dmitrii Vinogradov, Russian State University for Humanities,
VINITI, Moscow
- "Logical Foundations of Plausible Reasoning of JSM-type"
- September 22, 2003, 4.00 pm
- Prof. Dale Miller, INRIA/Futurs and Ecole polytechnique, Orsay
- "Reasoning about proof search specifications"
- October 14, 2003, 1.15 pm
- Dipl.-Inf. Leonard Kwuida, TU Dresden
- Weakly dicomplemented lattices: a Boolean algebras extension
- October 28, 2003, 1.15 pm
- Martijn Warnier, University of Nijmegen
- Java Program Verification Challenges
- November 4, 2003
- closed talks
- 1.15 pm
- Georg Ulbrich
- 2.00 pm
- Maja Ponjavic
- 2.45 pm
- Sebastian Bader
- 3.30 pm
- Maja Milicic
- November 10, 2003, 1.15 pm
- Prof. Jürgen Albert, University of Würzburg
- Verallgemeinerungen endlicher Automaten zur Bild- und Videokompression
- November 18, 2003, 1.15 pm
- Prof. Jörg Flum, University of Freiburg
- Parametrische Komplexität
- November 25, 2003, 1.15 pm
- Dr.-Ing. Armin Kühnemann, TU Dresden
- Tree Transducers - From Practice to Theory to Practice
- December 2, 2003, 1.15 pm
- Dr. Sebastian Maneth, Swiss Institute of Technology Lausanne (EPFL)
- Application of Tree Transducer Theory to XML Querying and Processing
- January 20, 2004, 2.30 - 4.30 pm
- Joint Seminar with Lisbon (IQN)
- Prof. Steffen Hölldobler, TU Dresden: "Reasoning about actions in uncertain domains"
- Prof. Carlos Damásio, University of Lisbon: "A preliminary
report on the implementation of a Prolog based Semantic Web Engine"
- January 27, 2004, 2.30 - 4.30 pm
- Joint Seminar with Lisbon (IQN)
- Prof. Bernhard Ganter, TU Dresden: "Implications in triadic data"
- Prof. João Leite, University of Lisbon: "Logic Program Updates: a
gentle overview"
- February 3, 2004, 2.30 - 4.30 pm
- Joint Seminar with Lisbon (IQN)
- Prof. Michael Schroeder, TU Dresden: "Rules, Reasoning and the Web
- Theory and Applications in Bioinformatics"
- Prof. José Alferes, University of Lisbon: "Application of
Logic Programming and Updates for the Semantic Web"
- February 16 - 20, 2004
- GRK-Workshop
- im Margaretenhof, Kurort Gohrisch
- Program and Abstracts
- March 2, 2004, 1.15 pm (CL)
- Prof. Prakash Panangaden, McGill University (Canada) and Oxford (UK)
- "Concurrent Common Knowledge: Agreement and Causal Consistency in Distributed Systems"
- April 20, 2004, 1.15 pm
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- April 27, 2004, 1.15 pm
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- May 18, 2004, 1.15 pm
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- May 25, 2004, 1.15 pm
- Andreas Zollmann, ILLC, University of Amsterdam
- "A Consistent Estimator for Data-Oriented Parsing"
- June 1 - 5, 2004 von-Gerber-Bau, room 038
- Workshop "WATA 2004"
- June 8, 2004, 1.15 pm, two talks
- Dr. Dragan Masulovic, University of Novi Sad
- "Clones and Dualities"
- Dr. Pascal Hitzler, TU Dresden
- "Representing first-order knowledge by
artificial neural networks"
- June 15, 2004, 1.15 pm Willers-Bau, room C207
- Dr. Dragan Masulovic, University of Novi Sad
- "Dualising clones"
- June 14-26, 2004 (CL) Hans-Grundig-Straße
- Workshop "Computational Logic -- Proof Theory and Automated Theorem Proving"
- June 22, 2004, 1.15 pm
- Dr. Christian Pech, TU Dresden
- June 29, 2004, 1.00 pm, Willers-Bau, room C207
- Dipl.-Math. Léonard Kwuida, TU Dresden
- Dicomplemented Lattices. A Contextual Generalization of Boolean
Algebras
- July 6, 2004, 1.15 pm
- Dr. Christian Pech, TU Dresden
- July 13, 2004, 1.15 pm
- Dr. Christian Pech, TU Dresden
- 16.09.-22.09.2004
- Workshop on: Algorithms and Tools for Coinductive Reasoning
- Workshop-Homepage
- 12.10.2004, 1.15 pm
- Prof. Johan van Benthem, Institute for Logic, Language and
Computation (ILLC), University of Amsterdam
- "Logic meets Game Theory: On the
dynamic-epistemic fine-structure of strategic equilibria"
- 19.10.2004, 1.15 pm
- Prof. Franz Baader, TU-Dresden
- "A new n-ary existential quantifier in
Description Logic, or how syntactic sugar can speed up reasoning"
- 26.10.2004, 1.15 pm
- Prof. Silvio Ghilardi, Università degli Studi di Milano
- "Unification in Propositional Logic"
- 09.11.2004, 1.15 pm
- Dipl.-Inf. Sebastian Brandt, TU-Dresden
- "How to Design a Slideshow?"
- 16.11.2004, 1.15 pm
- Dipl.-Inf. Andreas Maletti, TU-Dresden
- "Relating Tree Series Transducers and
Weighted Tree Automata"
- 30.11.2004, 1.15 pm
- Dr. Dragan Masulovic, University of Novi Sad
- "Categorical Logic and Invariants of
Computations"
- 14.12.2004, 1.15 pm
- Prof. Peter Vojtas, University of Kosice
- "Comparative Notion of Truth as a Classification and Ranking Tool
(in CS Applications)"
- 04.01.2005, 1.15 pm
- Dr. Hendrik Tews, TU-Dresden
- "Verifying Duff's Device: A Simple
Compositional Denotational Semantics for Goto and Computed Jumps"
- 11.01.2005, 1.15 pm
- Dr. Yohanes Lim Stefanus, UI Jakarta
- "The B-Method and Its Mathematical Foundation"
- 18.01.2005, 1.15 pm
- internal meeting of the GK-professors
- 25.01.2005, 1.15 pm
- Prof. Helmut Seidl, TU-Munich
- "Interprozedurale Analyse modularer
Arithmetik"
- 21.-23.02.2005
- internal GK-workshop in Gohrisch
- Programme (PS) (PDF) and Abstracts
- 05.04.2005, 1.15 pm
- internal meeting of the professors of the programme
- 12.04.2005, 1.15 pm
- Jonathan Ben-Naim, Laboratoire d'Informatique Fondamentale de
Marseille, France
- "Preferential and
Preferential-Discriminative Consequence Relations"
- 26.04.2005, 1.15 pm
- Loránd Muzamel, University of Szeged, Hungary (currently member of
GK)
- "Pebble Tree Transducers, Tree-Walking and
Alternating Tree-Walking Automata"
- 03.05.2005, 1.15 pm
- Dr. Steven Shapiro, University of Leipzig
- "Belief Change with (Noisy) Sensing and
Introspection"
- 10.05.2005, 1.15 pm
- Prof. Dr. Andreas Dress, University of Bielefeld
- "Phylogenetische Bäume, bewertete Matroide und tropische Geometrie"
- 24.05.2005, 1.15 pm
- Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
- "The contribution of Abstract State Machines
to the foundations of Systems Modeling"
- 31.05.2005, 1.15 pm
- Dmitrii Ignatov, Institut für Algebra, TU-Dresden
- "Finding near-duplicate documents in the
web: an FCA approach"
- 07.06.2005, 1.15 pm
- Prof. Dr. Bernhard Ganter, Institut für Algebra, TU-Dresden
- "Acyclic compositions of deterministic Mealy automata"
- 21.06.2005, 1.15 pm
- Prof. Dr. Grigori Mints, Department of Philosophy, Stanford
University, USA
- "Dynamic Topological Logic"
- 28.06.2005, 1.15 pm
- Dipl.-Math. Maja Pech, Department of Mathematics and Natural Sciences,
TU-Dresden
- "An application of the local method in the study of the clone lattice"
- 12.07.2005, 1.15 pm
- Dipl.-Inf. Boontawee Suntisrivaraporn, Department of Computer Science,
TU-Dresden
- "CEL: A Polynomial-time Classifier for the
Description Logic EL+"
- 26.07.2005, 1.15 pm
- Dr. Gregory Wheeler, UNL-FCT Lisbon, Portugal
- "Everything you always wanted to know about
knowledge but were afraid to ask"
- 11.10.2005, 1.15 pm
- Prof. Dr. Frank Drewes, Department of Computing Science, Umeå
University, Sweden
- "Avoiding Dead States in Query Learning of
Regular Tree Languages"
- (slides)
- 18.10.2005, 1.15 pm
- Prof. Dr. Miki Hermann, École Polytechnique Palaiseau, France
- "Complexity of Clausal Constraints Over
Chains"
- 01.11.2005, 1.15 pm
- Dr. Alexander Okhotin, University of Turku, Finland
- "Language Equations and Computation"
- 15.11.2005, 1.15 pm
- Dipl.-Inf. Enrico Bormann, TU-Dresden
- "A Combination of Formal Paradigms for the
Specification of the Syntax of Application Languages"
- 29.11.2005, 9.00 am, GRU 350
- Workshop on Methods of Category Theory in Software
Engineering
- Proceedings (PS, PDF) and Programme
- Gallery of pictures and original pictures
- 13.12.2005, 1.15 pm
- Dr. habil. Helmar Gust, University of Osnabrück
- "Learning Models of Logical Theories by Neural Networks"
- 20.12.2005, 1.15 pm
- M.Sc. Zsolt Gazdag, University of Szeged
- "Shape-Preserving Tree Transducers"
- 31.01.2006, 1.15 pm
- Andreas Witzel, TU-Dresden
- "Neural Symbolic Integration - Constructive Approaches"
(This website is no longer maintained.)