Vergangene Veranstaltungen der 3. Förderperiode (01.01.2003
bis 31.12.2005)
- 07.01.2003, 13.45 Uhr
- Dr. Charles Stewart, TU Dresden:
- "Partial Sharing Diagrams"
- 14.01.2003, 13.45 Uhr
- Dr. Frithjof Dau, TU Darmstadt:
- "Mathematische Logik mit Diagrammen"
- 21.01.2003, 13.45 Uhr
- Sichtung der Bewerber
- geschlossene Sitzung der GRK-Professoren
- 28.01.2003, 13.30 Uhr
- Vorträge der Bewerber
- geschlossene Sitzung der GRK-Professoren
- 04.02.2003, 13.30 Uhr
- Vorträge der Bewerber
- geschlossene Sitzung der GRK-Professoren
- 31.03.-04.04.2003
- interner Workshop des GRK im Kurort Gohrisch
- Vorträge und Abstracts
- vorläufiges Programm
- 08.04.2003, 13.45 Uhr
- Prof. Alexander Pott und Prof. Jörg Raisch, Otto-von-Guericke-Universität Magdeburg
- "Sichere Approximation dynamischer Systeme"
- 22.04.2003, 13.15 Uhr
- Prof. Marc Denecker, Universität Leuven
- "Nonmonotone inductive definitions: the logic underlying Logic Programming"
- 29.04.2003, 13.15 Uhr
- Dipl.-Inf. Manuel Bodirsky, HU Berlin
- "Constraint Satisfaction with Countable Homogeneous Templates"
- 06.05.2003, 13.15 Uhr
- interne Besprechung mit GRK-Stipendiaten und GRK-Professoren
- 13.-15.05.2003 im DUE 274 B, Fakultät Informatik,
Dürerstraße 26
- Workshop Algebra, Logic, and Discrete Mathematics, zusammen mit
Universität Novi Sad
- Programm
- 20.05.2003, 13.15 Uhr
- Dipl.-Inf. Josef Svenningsson, Göteborg
- "The dual of shortcut fusion"
- 27.05.2003, 13.15 Uhr
- Achim Blumensath, RWTH Aachen
- "Einfache Monadische Theorien"
- 03.06.2003, 13.15 Uhr
- Prof. Patricia Johann, Rutgers University, Camden, New Jersey
- "Proving the Correctness of Free Theorems-Based Program Transformations"
- 17.06.2003, 13.15 Uhr (IQN)
- Prof. Paul Gastin, LIAFA, Universität Paris
- "A survey on temporal logics"
- 24.06.2003, 15.30 Uhr
- Prof. Anders Moller, Universität Aarhus, Dänemark
- "The MONA project"
- 23.06.-04.07.2003 (CL)
- Summer School and Workshop on Proof Theory, Computation and
Complexity, TU Dresden
- vorläufiges Programm
- 08.07.2003, 13.15 Uhr
- Olga Skvortsova, TU Dresden
- "Towards Probabilistic Fluent Calculus"
- 08.07.2003, 14.15 Uhr
- Maja Milicic, TU Dresden
- "Describing Web Services with Description Logics"
- 15.07.2003, 13.15 Uhr (IQN)
- Prof. Dmitrii Vinogradov, Russian State University for Humanities,
VINITI, Moskau
- "Logical Foundations of Plausible Reasoning of JSM-type"
- 22.09.2003, 16.00 Uhr
- Prof. Dale Miller, INRIA/Futurs and Ecole polytechnique, Orsay
- "Reasoning about proof search specifications"
- 14.10.2003, 13.15 Uhr
- Dipl.-Inf. Leonard Kwuida, TU Dresden
- Weakly dicomplemented lattices: a Boolean algebras extension
- 28.10.2003, 13.15 Uhr
- Martijn Warnier, Universität Nijmegen
- Java Program Verifikation Challenges
- 04.11.2003
- nicht öffentliche Bewerbervorträge
- 13.15 Uhr
- Georg Ulbrich
- 14.00 Uhr
- Maja Ponjavic
- 14.45 Uhr
- Sebastian Bader
- 15.30 Uhr
- Maja Milicic
- 10.11.2003, 13.15 Uhr
- Prof. Jürgen Albert, Universität Würzburg
- Verallgemeinerungen endlicher Automaten zur Bild- und Videokompression
- 18.11.2003, 13.15 Uhr
- Prof. Jörg Flum, Universität Freiburg
- Parametrische Komplexität
- 25.11.2003, 13.15 Uhr
- Dr.-Ing. Armin Kühnemann, TU Dresden
- Tree Transducers - From Practice to Theory to Practice
- 02.12.2003, 13.15 Uhr
- Dr. Sebastian Maneth, Swiss Institute of Technology Lausanne (EPFL)
- Application of Tree Transducer Theory to XML Querying and Processing
- 20.01.2004, 14.30 Uhr - 17.30 Uhr
- Joint Seminar mit Lissabon (IQN)
- Prof. Steffen Hölldobler, TU Dresden: "Reasoning about actions in uncertain domains"
- Prof. Carlos Damásio, Universität Lissabon: "A
preliminary report on the implementation of a Prolog based Semantic
Web Engine"
- 27.01.2004, 14.30 Uhr - 17.30 Uhr
- Joint Seminar mit Lissabon (IQN)
- Prof. Bernhard Ganter, TU Dresden: "Implications in triadic data"
- Prof. João Leite, Universität Lissabon: "Logic Program
Updates: a gentle overview"
- 03.02.2004, 14.30 Uhr - 17.30 Uhr
- Joint Seminar mit Lissabon (IQN)
- Prof. Michael Schroeder, TU Dresden: "Rules, Reasoning and the Web
- Theory and Applications in Bioinformatics"
- Prof. José Alferes, Universität Lissabon: "Application
of Logic Programming and Updates for the Semantic Web"
- 16. - 20.02.2004
- GRK-Workshop
- im Margaretenhof, Kurort Gohrisch
- Programm und Abstracts
- 02.03.2004, 13.15 Uhr (CL)
- Prof. Prakash Panangaden, McGill University (Canada) and Oxford (UK)
- "Concurrent Common Knowledge: Agreement and Causal Consistency in Distributed Systems"
- 20.04.2004, 13.15 Uhr
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- 27.04.2004, 13.15 Uhr
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- 18.05.2004, 13.15 Uhr
- Prof. Dr.-Ing. Heiko Vogler, TU Dresden
- "Weighted automata on strings and trees - a short tutorial"
- 25.05.2004, 13.15 Uhr
- Andreas Zollmann, ILLC, Universität Amsterdam
- "A Consistent Estimator for Data-Oriented Parsing"
- 01.-05.06.2004 von-Gerber-Bau, Raum 038
- Workshop "WATA 2004"
- 08.06.2004, 13.15 Uhr, zwei Vorträge
- Dr. Dragan Masulovic, University of Novi Sad
- "Clones and Dualities"
- Dr. Pascal Hitzler, TU Dresden
- "Representing first-order knowledge by
artificial neural networks"
- 15.06.2004, 13.15 Uhr Willers-Bau, Raum C207
- Dr. Dragan Masulovic, University of Novi Sad
- "Dualising clones"
- 14.-26.06.2004 (CL) Hans-Grundig-Straße
- Sommer Akademie "Computational Logic -- Proof Theory and Automated -->
-- Theorem Proving"
- 22.06.2004, 13.15 Uhr
- Dr. Christian Pech, TU Dresden
- 29.06.2004, 13.00 Uhr Willers-Bau, Raum C207
- Dipl.-Math. Léonard Kwuida, TU Dresden
- Disputation: Dicomplemented Lattices. A Contextual Generalization
of Boolean Algebras
- 06.07.2004, 13.15 Uhr
- Dr. Christian Pech, TU Dresden
- 13.07.2004, 13.15 Uhr
- Dr. Christian Pech, TU Dresden
- 16.09.-22.09.2004
- Workshop on: Algorithms and Tools for Coinductive Reasoning
- Workshop-Startseite
- 12.10.2004, 13.15 Uhr
- 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, 13.15 Uhr
- 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, 13.15 Uhr
- Prof. Silvio Ghilardi, Università degli Studi di Milano
- "Unification in Propositional Logic"
- 09.11.2004, 13.15 Uhr
- Dipl.-Inf. Sebastian Brandt, TU-Dresden
- "How to Design a Slideshow?"
- 16.11.2004, 13.15 Uhr
- Dipl.-Inf. Andreas Maletti, TU-Dresden
- "Relating Tree Series Transducers and
Weighted Tree Automata"
- 30.11.2004, 13.15 Uhr
- Dr. Dragan Masulovic, University of Novi Sad
- "Categorical Logic and Invariants of
Computations"
- 14.12.2004, 13.15 Uhr
- Prof. Peter Vojtas, University of Kosice
- "Comparative Notion of Truth as a Classification and Ranking Tool
(in CS Applications)"
- 04.01.2005, 13.15 Uhr
- Dr. Hendrik Tews, TU-Dresden
- "Verifying Duff's Device: A Simple
Compositional Denotational Semantics for Goto and Computed Jumps"
- 11.01.2005, 13.15 Uhr
- Dr. Yohanes Lim Stefanus, UI Jakarta
- "The B-Method and Its Mathematical Foundation"
- 18.01.2005, 13.15 Uhr
- interne Sitzung der GK-Professoren
- 25.01.2005, 13.15 Uhr
- Prof. Helmut Seidl, TU-München
- "Interprozedurale Analyse modularer
Arithmetik"
- 21.-23.02.2005
- interner GK-Workshop in Gohrisch
- Programm (PS) (PDF) und Zusammenfassungen
- 05.04.2005, 13.15 Uhr
- internes Treffen der GK-Professoren
- 12.04.2005, 13.15 Uhr
- Jonathan Ben-Naim, Laboratoire d'Informatique Fondamentale de
Marseille, Frankreich
- "Preferential and
Preferential-Discriminative Consequence Relations"
- 26.04.2005, 13.15 Uhr
- Loránd Muzamel, University of Szeged, Ungarn (derzeit Stipendiat)
- "Pebble Tree Transducers, Tree-Walking and
Alternating Tree-Walking Automata"
- 03.05.2005, 13.15 Uhr
- Dr. Steven Shapiro, Universität Leipzig
- "Belief Change with (Noisy) Sensing and
Introspection"
- 10.05.2005, 13.15 Uhr
- Prof. Dr. Andreas Dress, Universität Bielefeld
- "Phylogenetische Bäume, bewertete Matroide und tropische Geometrie"
- 24.05.2005, 13.15 Uhr
- Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
- "The contribution of Abstract State Machines
to the foundations of Systems Modeling"
- 31.05.2005, 13.15 Uhr
- Dmitrii Ignatov, Institut für Algebra, TU-Dresden
- "Finding near-duplicate documents in the
web: an FCA approach"
- 07.06.2005, 13.15 Uhr
- Prof. Dr. Bernhard Ganter, Institut für Algebra, TU-Dresden
- "Acyclic compositions of deterministic Mealy automata"
- 21.06.2005, 13.15 Uhr
- Prof. Dr. Grigori Mints, Fakultät Philosophie, Stanford
University, USA
- "Dynamic Topological Logic"
- 28.06.2005, 13.15 Uhr
- Dipl.-Math. Maja Pech, Fakultät Mathematik und Naturwissenschaften,
TU-Dresden
- "An application of the local method in the study of the clone lattice"
- 12.07.2005, 13.15 Uhr
- Dipl.-Inf. Boontawee Suntisrivaraporn, Fakultät Informatik,
TU-Dresden
- "CEL: A Polynomial-time Classifier for the
Description Logic EL+"
- 26.07.2005, 13.15 Uhr
- Dr. Gregory Wheeler, UNL-FCT Lisbon, Portugal
- "Everything you always wanted to know about
knowledge but were afraid to ask"
- 11.10.2005, 13.15 Uhr
- Prof. Dr. Frank Drewes, Department of Computing Science, Umeå
University, Schweden
- "Avoiding Dead States in Query Learning of
Regular Tree Languages"
- (Folien)
- 18.10.2005, 13.15 Uhr
- Prof. Dr. Miki Hermann, École Polytechnique Palaiseau, Frankreich
- "Complexity of Clausal Constraints Over
Chains"
- 01.11.2005, 13.15 Uhr
- Dr. Alexander Okhotin, University of Turku, Finnland
- "Language Equations and Computation"
- 15.11.2005, 13.15 Uhr
- 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 Uhr, GRU 350
- Workshop Methods of Category Theory in Software
Engineering
- Tagungsband (PS, PDF) und Programm
- Fotogalerie und Originalbilder
- 13.12.2005, 13.15 Uhr
- Dr. habil. Helmar Gust, Universität Osnabrück
- "Learning Models of Logical Theories by Neural Networks"
- 20.12.2005, 13.15 Uhr
- M.Sc. Zsolt Gazdag, Universität Szeged
- "Shape-Preserving Tree Transducers"
- 31.01.2006, 13.15 Uhr
- Andreas Witzel, TU-Dresden
- "Neural Symbolic Integration - Constructive Approaches"
(Diese Seite wird nicht mehr gepflegt.)