Programm des Workshops in Reinhardtsdorf, 05.-09. Februar 2001

Vorträge:

• Dipl.-Inf. Jan Rothe

  Coalgebraische Verhaltensspezifikation
  

  
  

• Dipl.-Math. Ralph Borgschulze

  Berechnungen in Automaten mit Nebenläufigkeitsrelationen
  

  
  

• Dipl.-Math. Ingmar Meinecke

  Diskrete Systeme mit Kostenfunktionen - Eine algebraische Charakterisierung
  

  
  

• Björn Borchardt

  Formale Kontexte, Nebenläufige Prozesse und Social Choice - Die Antiaustausch - Bedingung als Schnittstelle
  

  
  

• Dipl.-Math. Claus Jürgensen

  Waldsterben und saurer Regen
  

  
  

• Dipl.-Math. Grit Malik

  Infomorphismen und Bindungen
  

  
  

• Dipl.-Inf. Kai Brünnler, Dipl.-Inf. Lutz Straßburger

  Introduction to Structural Proof Theory
  

  
  

• Sebastian Rudolph

  A Contextual View on Processes
  

  
  

• Dipl.-Inf. Hendrik Tews

  Coalgebraische Verfeinerung
  

  
  

• Dr. Rémi Morin

  On Rational Message Sequence Chart Languages
  

  
  

• Dipl.-Inf. Kai Brünnler

  Classical Logic in the Calculus of Structures
  

  
  

• Dipl.-Inf. Lutz Straßburger

  Sequent Calculus for MELL
  

  
  

• Prof. Dr. Michael Thielscher

  Formalisierung von Workflows durch den Fluentenkalkül
  

  
  

• Dipl.-Inf. Martin Morgenthal

  Eine Semantik für Ausführungsanweisungen in einer Prozeßalgebra
  

  
  

• Prof. Dr. Peter Buchholz

  Compositional Modelling of Workflows using labeled GSPNS
  

  
  

• Dipl.-Math. Christian Pech

  Algebraic Moore Machines
  

  
  

• Dr. Igor Tarasyuk

  A class of stochastic Petri nets with step semantics and related equivalence notions
  

  
  

(13.02.2001/sg)