Former Events first period

Former Events of the first period

The following lectures were given by the faculty of the postgraduate program:

Prof. Dr. R. Pöschel: Universal Algebra (Apr. 8, 15, 22, 29; May 6; June 10, 17)
Prof. Dr. H. Vogler: Tree Transducer (May 27; June 3; July 1, 8, 15)
Prof. Dr. M. Droste: Introduction to Trace Theory (Oct. 14, 21, 28, 1997)
Prof. Dr. H. Reichel: Foundations of Category Theory (Nov. 11, 18, 25; Dec. 2, 9, 1997)
Prof. Dr. S. Hölldobler: Logic Programming (Jan. 13, 20, 27; Feb. 3, 1998)
Dr. M. Baldamus: Einführung in die automatische Verifikation.
(February 23; March 2, 9, 16, 1999, 10.30 - 12.00 and 1.00 - 2.30 pm.)

Talks and further events:

February 17 - 21, 1997
Workshop of the postgraduate program in the Sächsische Schweiz
April 8, 1997
Dipl.-Math. Martin Rößiger (talk):
"Schizophrene Objekte zwischen Transitionssystemen und Petri-Netzen"
April 11, 1997
Opening ceremony of the postgraduate program
at the Faculty of Computer Sciences, room HG 172:
Prof. Dr. Manfred Broy, Munich University of Technology (talk):
"Mathematische Modelle im Software Engineering"
April 15, 1997
Dr. Karsten Schmidt (talk):
"Parametrisierte Erreichbarkeitsanalyse für algebraische Petrinetze"
April 22, 1997
Prof. Dr. Michael Sonnenschein, University of Oldenburg (talk):
"Modellbildung und Simulation mit THOR-Netzen"
April 29, 1997
Dipl.-Inf. Markus Lohrey (talk):
"Transformation von Logikprogrammen in Attributgrammatiken"
May 6, 1997
Prof. Dr. Wolfgang Reisig, HU Berlin (talk):
"Verteilte Algorithmen - Modellierung und Verifikation mit Petrinetzen"
May 13 - 16, 1997
Prof. Dr. Clemens Cap, University of Zürich:
May 13, 1.15 pm, talk:
"Praktische Modellierung und theoretische Untersuchung verteilter Systeme mit kategoriellen und linearlogischen Methoden"
May 20, 1997
Prof. Dr. Akihiro Yamamoto, TH Darmstadt (talk):
"A Deductive Approach to Inductive Inference: from abduction to induction"
May 27, 1997
Dipl.-Inf. Hans-Peter Störr (talk):
"Bedingte und rekursive Aktionen im Fluent-Kalkül"
June 3, 1997
Dipl.-Inf. Helko Lehmann (talk):
"Dynamik in einfachen rekurrenten neuronalen Netzen: Implementierung eines Zählers"
June 10, 1997
Dipl.-Math. Ralph Kummetz (talk):
"Präfixmetrik auf Spurmonoiden und Autometriegruppen"
June 11, 1997
Prof. Dr. Franz Baader, RWTH Aachen (talk):
"Kombination von Constraint-Lösungsverfahren"
June 17, 1997
Prof. Dr. Friedrich von Henke, University of Ulm (talk):
"Formale Modellierung und Analyse sicherheitskritischer Systeme"
July 1, 1997
Dmitri Schamschurko (talk):
"Semantische Analyse von CORBA"
July 8, 1997
Dr. Karsten Schmidt (Steam Boiler Seminar):
"Der Steamboiler - erste Begegnung"
July 15, 1997
Dipl.-Inf. Daniel Kirsten (talk):
"Monadische Logik zweiter Stufe auf Graphen"
July 21 - 25, 1997
Prof. Dr. Egon Börger, University of Pisa (lecture):
"Einführung in die ASM-Methode zur Spezifikation und Verifikation komplexer Computersysteme"
September 1 - 26, 1997
Dr. Michael Thielscher, TH Darmstadt
September 11, 1997, 10.00 am, Faculty of Computer Sciences, room 250
Prof. Dr. Leszek Pacholski, Wroclaw (talk):
"Set constraints and program analysis"
September 22 - October 2, 1997
Prof. Dr. Paul Gastin, Université Paris
November 3 - 5, 1997
Workshop of the postgraduate program:
"Traces and Logic"
November 11, 1997
Dr. Vincent Schmitt, Rennes (talk):
"Automata - Domains - Event Structures"
November 18, 1997
Prof. Dr. Hartmut Ehrig and Dr. Julia Padberg, TU Berlin (talk):
"Spezifikationstechniken für Prozesse und verteilte Systeme"
November 25, 1997
Prof. Dr. Peter Bachmann, TU Cottbus (talk):
"Prozeß-Spezifikation mittels fauler Termersetzungsregeln"
December 1, 1997
Prof. Dr. Ernst-Rüdiger Olderog, University of Oldenburg (talk):
"Entwicklung korrekter zeitkritischer Systeme"
December 2, 1997
Dr. Michael Baldamus, TU Berlin (talk):
"Volle Abstraktion gegenüber schwacher Kontext-Bisimulation: eine Semantik für Prozesse höherer Ordnung"
December 9, 1997
Dipl.-Math. Ralph Kummetz (Steam Boiler Seminar):
"Steam-Boiler-Spezifikation durch ASMs"
December 16, 1997
Dipl.-Math. Martin Rößiger (Steam Boiler Seminar):
"Steam-Boiler-Spezifikation auf algebraisch"
January 6, 1998
Prof. Dr. Helmut Schwichtenberg, LMU München (talk):
"Normalisierung durch Auswertung"
January 13, 1998
Dr. Zoltan Fülöp, University of Szeged (talk):
"Composition Semigroups"
January 20, 1998
Dipl.-Inf. Dmitri Schamschurko (Steam Boiler Seminar):
"VDM-basierte Lösungen des Steam-Boiler-Problems"
January 27, 1998
Dipl.-Inf. Helko Lehmann (Steam Boiler Seminar):
"Spezifikation der Steuerung eines Dampferzeugers mittels Intervall-Logik"
January 28, 1998
Dr. Michael Baldamus (talk):
"Über den Pi-Kalkül"
February 3, 1998
Dipl.-Inf. Hans-Peter Störr (Steam Boiler Seminar):
"Steam-Boiler-Spezifikation mit temporaler Logik"
February 9 - 12, 1998
Workshop of the postgraduate program in the Sächsische Schweiz
February 24, 1998
Dr. Fabio Gadducci, TU Berlin (talk):
"Tiles, Rewriting Rules and CCS"
March 9, 1998, 10.00 pm
Dipl-Inf. Michael Christoffel, University of Kaiserslautern (talk):
"Automatisierte Algorithmensynthese aus Beispielauswertungen"
April 14, 1998, 1.00 pm
Dr. Michael Baldamus:
"Eine mengentheoretische Semantik des Pi-Kalküs"
April 14, 1998, 2.30 pm
Dipl.-Inf. Daniel Kirsten:
"Einige Unentscheidbarkeitsresultate für erkennbare Spursprachen im C4"
April 21, 1998, 1.00 pm
Dipl.-Inf. Petra Hofstedt:
"Combination of Constraint Solvers by Projections"
April 21, 1998, 2.30 pm
Dr. Bart Jacobs, Nijmegen:
"Categorical Logic and Type Theory I"
April 28, 1998, 1.00 pm
Dr. Bart Jacobs, Nijmegen:
"Categorical Logic and Type Theory II"
April 28, 1998, 2.30 pm
Dr. Jan Rutten, CWI, Amsterdam:
"Elements of universal coalgebra"
May 5, 1998, 1.00 pm
Dipl.-Inf. Dmitri Schamschurko:
"Objekte und Objektsysteme"
May 5, 1998, 2.30 pm
Prof. Dr. Jan Maluszynski, Linköping:
"Relating Attribute Grammars and Logic Programs"
May 12, 1998, 1.00 pm
Dipl.-Inf. Hans-Peter Störr:
"Schließen über zusammengesetzte Aktionen"
May 12, 1998, 2.30 pm
Dipl.-Inf. Helko Lehmann:
"Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems"
May 19, 1998, 1.00 pm
Dipl.-Math. Ralph Kummetz:
"Zur Topologie von $\alpha$-Spuren"
May 19, 1998, 2.30 pm
Dr. Uwe Egly, TU Vienna:
"Proof-theoretical Investigations of Computational Calculi: Some Surprising Results"
May 26, 1998, 1.00 pm
Dipl.-Math. Martin Rößiger:
"Modale Logik für Koalgebren"
May 26, 1998, 2.30 pm
Dr. Peter Baumgartner, University of Koblenz-Landau:
"The $P(x) \lor Q(x)$ Problem"
June 16, 1998, 1.00 pm
Dipl.-Inf. Alexander Kurz, LMU Munich:
"Coalgebren und Modallogik"
June 16, 1998, 2.30 pm
Prof. Dr. H. Peter Gumm, Philipps University of Marburg:
"Gleichungsdefinierte Klassen Universeller Coalgebren"
June 29, 1998, 4.45 pm
Prof. Dr. François Bry, LMU Munich:
"Model Generation in Prolog: Variations on Satchmo's Theme"
July 7, 1998, 1.00 pm
Dipl.-Inf. Daniel Kirsten:
"Sind FPPP und Sternproblem im Spurmonoid C4 äquivalent?"
July 7, 1998, 2.30 pm
Dr. Anca Muscholl, University of Stuttgart:
"Modellierung und Verifikation mit Message Sequence Charts"
July 14, 1998, 1.00 pm
Florent Madelaine:
"Constraint Satisfaction Probleme, Komplexität und Zusammenhang mit Klonen"
September 1, 1998, 1.00 pm
Dr. Doron Peled, Bell Labs:
"Ten Years of Partial Order Reduction"
September 1, 1998, 2.45 pm
Prof. Dr. Igor Walukiewicz, Warsaw University:
"Logics for Traces"
October 13, 1998, 1.15 pm
Dipl.-Inf. Helko Lehmann:
"Verwendung von Strukturen für Petrinetz-Erreichbarkeit beim Planen"
October 20, 1998, 1.15 pm
Prof. Dr. Heiko Vogler:
"A Characterization of Attributed Tree Transformations"
October 20, 1998, 2.45 pm
Dr. Armin Kühnemann:
"Kompositions- und Dekompositionsresultate für Tree Transducer"
October 27, 1998, 1.15 pm
Dipl.-Inf. Petra Hofstedt:
"Combining Constraint Solvers -- Computation Strategies"
November 3, 1998, 1.15 pm
Dr. Gwénaël Richomme, Université de Picardie Jules Verne:
"Connections between the Star Problem and the Finite Power Property in Trace Monoids I"
November 3, 1998, 2.45 pm
Dipl.-Inf. Daniel Kirsten:
"Connections between the Star Problem and the Finite Power Property in Trace Monoids II"
November 10, 1998, 1.15 pm
Dr. Didier Parigot, INRIA Rocquencourt:
"Symbolic Composition"
November 10, 1998, 2.45 pm
Prof. Dr. Achim Jung , University of Birmingham:
"Real functions computable by finite automata"
November 17, 1998, 1.15 pm
Dr. Michael Baldamus:
"Effizienzsteigerung beim model checker SPIN durch explizite Angabe von Unabhängigkeiten paralleler Ausführungsschritte"
November 17, 1998, 2.45 pm
Prof. Dr. H. Wansing, University of Leipzig:
"Vierwertige Logik, Modallogik und nicht-monotones Schließen"
November 19 - 20, 1998
Workshop of the postgraduate program:
"Multiagentensysteme und Fluentkalkül"
November 24, 1998, 2.45 pm
Prof. Dr. Giorgio Levi, University of Pisa:
"From denotational semantics to compiled code"
December 1, 1998, 1.15 pm
Dipl.-Math. Ralph Kummetz:
"Approximation durch Projektionen"
December 1, 1998, 2.45 pm
Dipl.-Math. Martin Rößiger:
"Sprachen für Coalgebren"
December 8, 1998, 2.45 pm
Dr. Peter Habermehl, Université Paris VII:
"Über die automatisierte Verifikation unendlicher Systeme"
December 15, 1998, 1.15 pm
Dr. Alessandro Provetti, University of Milano:
"The Stable Models of Unstratified Programs"
December 15, 1998, 2.45 pm
Dipl.-Inf. Hans-Peter Störr:
"Planen mit BDDs: ein Arbeitsbericht"
January 5, 1999, 1.15 pm
Dipl.-Inf. Dmitri Schamschurko:
"Ambient-Kalkül und CORBA"
January 11 - 15, 1999
Prof. Dr. Ugo Montanari, University of Pisa:
Jan. 12: An Introduction to CCS and Pi-Calculus (9.30 - 12.00 WIL C 106, 1.00 - 3.30 pm WIL A 317)
Jan. 13: Tiles for Modeling Distributed and Mobile Systems (1.00 - 3.30 pm WIL C 106)
January 19, 1999, 1.15 pm
Dr. Zoltan Fülöp, University of Szeged:
"Composition of Attributed and Macro Tree Transducers"
January 19, 1999, 2.45 pm
Prof. Dr. Heiko Vogler:
"A characterization of sequential machine functions"
January 26, 1999, 1.15 pm
Prof. Dr. Horst Reichel:
"Hybride diskrete Strukturen -- eine einheitliche Strukturtheorie für die Spezifikation von Daten und Prozessen"
February 2, 1999, 1.15 pm
Dipl.-Inf. Jens Schönherr:
"Automatische, formale Verifikation einer Klasse unendlicher Automaten"
April 13, 1999, 1.15 pm
Internal meeting
April 19 - 21, 1999
Workshop of the postgraduate program:
"Grammars, Automata, and Logic on Graphs and Trees"
May 4, 1999, 1.15 pm
Dr. Backofen, LMU München

May 4, 1999, 2.45 pm
Prof. Libor Polak, Brno:
"Unification in classes of semigroups"
May 5, 1999, 3.00 pm "Learning of Semantic Functions of Attribute Grammars"
May 11, 1999, 1.15 pm
Alexandru Baltag, CWI Amsterdam:
"Non-wellfounded Sets, Coinduction and Games"
May 11, 1999, 2.45 pm
Dr. A. Kurganskyy, University of Hamburg:
"Ununterschiedlichkeit der endlichen Automaten hinsichtlich der bestimmten Umgebungen"
May 18, 1999, 1.15 pm
Szilvia Zvada:
"Application of AGLEARN method for Hungarian Part-of-Speech Tagging"
May 18, 1999, 2.45 pm
Dipl.-Inf. Daniel Kirsten:
"Über Entscheidungsprobleme erkennbarer Spursprachen"
Dipl.-Math. Martin Rößiger:
"Modale Logik für Coalgebren"
May 25, 1999, 1.15 pm
Dipl.-Math. Ralph Kummetz:
"Partielle Ordnungen mit Projektionen und Spurbereiche"
Dipl.-Inf. Helko Lehmann:
"Entscheidbarkeit des Schließens über Kausalbeziehungen im Fluentkalkül"
Dipl.-Inf. Dmitri Schamschurko:
"Spezifikation von Objektsystemen"
Dipl.-Inf. Hans-Peter Störr:
"Effizientes Planen mit Binären Entscheidungsdiagrammen"
May 27 - 28, 1999
7. Fachgruppentreffen der GI Fachgruppe 0.1.6 "Logik in der Informatik"
June 1, 1999, 1.15 pm
Prof. Maria Paola Bonacina, University of Iowa:
"Distributed theorem proving by Clause-Diffusion: the Peers-mcd prover"
June 1, 1999, 2.45 pm
Prof. Heiko Vogler:
"Recursive MSO transducers"
June 8, 1999, 1.15 pm and 2.45 pm
Prof. Michael Thielscher:
"The Fluent Calculus"
June 11, 1999, from 9.00 am on, room 350
Colloquy
June 15, 1999, 1.15 pm
Dipl.-Inf. Alexander Kurz, LMU München:
"On the algebraic extension of coalgebraic specifications"
June 15, 1999, 2.45 pm
Prof. Horst Reichel:
"Hybrid Structures"
June 22, 1999, 1.15 pm
Prof. Faron Moller, Uppsala University
"On the expressive power of CTL*"
June 22, 1999, 2.45 pm
Prof. Jim Lipton, Wesleyan University:
"Categories and Logic Programming"
June 29, 1999, 1.15 pm and 2.45 pm
Prof. Bernhard Ganter:
"Formal Concept Analysis"
July 6, 1999, 1.15 pm
Prof. Reinhard Pöschel:
"Homomorphisms (e.g. of algebras and coalgebras) as formal concepts"
July 6, 1999, 2.45 pm
Dipl.-Inf. Enno Sandner
July 13, 1999, 1.15 pm
Prof. Peter Buchholz:
"Modular analysis of discrete systems -- Techniques and tool support"
July 13, 1999, 2.45 pm
Prof. Peter Buchholz:
"Efficient computation and representation of large reachability sets for composed automata"
July 20, 1999, 1.15 pm
Prof. Manfred Droste:
"On process cost functions for discrete systems"
July 20, 1999, 2.45 pm
Prof. Mila Majster-Cederbaum, University of Mannheim:
"Towards a unified view of bisimulation"
September 6, 1999, 10.00 am, room 250
Dr. Remi Morin, Université Paris Sud, Orsay:
"Comparisons of some models of concurrent systems"
October 12, 1999, 1.15 pm
Meeting

October 12, 1999, approx. 1.30 pm
Prof. Hermann Härtig, Dipl.-Inf. Hendrik Tews:
"FIASCO Evaluation"
October 14 - 16, 1999
Workshop of the postgraduate program:
"Categorical Models of Concurrency"
October 26, 1999, 1.15 pm
Dr. Thomas Noll, RWTH Aachen:
"Truth -- A Verification Tool for Distributed Systems"
October 26, 1999, 2.45 pm
Dr. Thomas Noll, RWTH Aachen:
"A Process Algebra Compiler Based on Rewriting Logic"
October 27, 1999, 9.20 am
Dr. Thomas Noll, RWTH Aachen:
"On Coherence Properties in Term Rewriting Models of Concurrency"
November 9, 1999, 1.15 pm (CL)
Catalin Buiu, Politehnica University of Bucharest:
"State of the Art and Perspectives of Artificial Intelligence in Education Research"
November 16, 1999, 1.15 pm
Dr. Rémi Morin:
"Panorama of some known relationships between some models of concurrency"
November 16, 1999, 2.45 pm
Dr. Rémi Morin:
"Petri nets, stably concurrent automata and recognizable dI-domains"
November 29, 1999, 4.00 pm, room HG 250
Daniel Kirsten's PhD defence
November 30, 1999, 1.15 pm
Dr. Zoltan Fülöp, University of Szeged:
"Attributed Tree Transducers as Tree Recognizers"
December 7, 1999, 1.15 pm
Prof. S. Hölldobler:
"A Decidable Fragment of the Situation Calculus"
December 14, 1999, 1.15 pm (CL)
Prof. Lakemeyer, RWTH Aachen

December 14, 1999, 2.45 pm
Prof. S. Hölldobler:
"The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus"

(November 24, 2003/sg)