Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 

Anmeldeformular [Postscript]  [Ascii] Call for Papers Postscript Ascii

 

18. Workshop  der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte gemeinsam mit der  GI-Fachgruppe 2.1.9 Objektorientierte Softwareentwicklung (OOSE) Sprachen, Architekturen und neue objektorientierte Softwaretechniken (Generatoren, Agenten, Komponenten, Muster) 7. - 9. Mai 2001 im Physikzentrum Bad Honnef Programm

 

Montag, 7. Mai 2001
10:45	Begrüßung (W. Goerigk, E. Pulvermüller, A. Speck)
11:00	Christian Donker, Wolfgang Goerigk, Thomas Stahl (Univ. Kiel, becker & mohnberg Informatik AG, Kiel) Generative Softwareentwicklung mit UML
11:45	Klaus D. Günther (GMD-SIT, Darmstadt) Lava - Programmieren im Lego-Stil
	12.30-14.00  *** Mittagspause ***
14:00	Andreas Speck (Univ. Tübingen), Elke Pulvermüller (Univ. Karlsruhe) Feature Modeling
14:45	Ralf H. Reussner (Univ. Karlsruhe) Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten
	15.30-16.00  *** Kaffeepause ***
16:00	Bernd Brassel, Michael Hanus, Frank Steiner (RWTH Aachen, Univ. Kiel) Embedding Processes in a Declarative Programming Language
	Michael Weber (RWTH Aachen) HaskellMPI - Programmieren paralleler Programme in Haskell
	Volker Stolz, Frank Huch (RWTH Aachen) Robuste verteilte Programmierung in Haskell
Dienstag, 8. Mai 2001
09:00	Michael Franz (University of California at Irvine) Distributing and Managing Mobile Code
09:45	Sergio Antoy1, Michael Hanus2, Bart Massey1, Frank Steiner2,  (1Portland State Univ., 2Univ. Kiel) An Implementation of Narrowing Strategies
	10.30 - 11.00  *** Kaffeepause ***
11:00	Andreas Vox (Med. Univ. Lübeck) Realisierung rekursiver Datenstrukturen durch generische Klassen
11:45	Hermann von Issendorff (Hemmoor) Ansätze zur formalen Beschreibung von Aminosäureketten und Proteinen
	12.30-14.30  *** Mittagspause ***
	ab 14.30 Uhr  Gemeinsame Unternehmung
	ab 19.00 Uhr Mitgliederversammlung der Fachgruppe 2.1.4
Mittwoch, 9. Mai 2001
09:00	Arnd Poetzsch-Heffter (FernUniv. Hagen) Towards Type Systems for Dynamic Components
09:45	Dirk Draheim (FU Berlin) Integration von Polymorphismus und Subtypen für das Pi-Kalkül
	10.30 - 11.00  *** Kaffeepause ***
11:00	Stefan Kuhlins (Univ. Mannheim) Techniken für Preisvergleiche im World Wide Web
11:45	Frank Huch (RWTH Aachen) Model Checking für Erlang-Programme: Ein Überblick
	12.30 Mittagessen und Ende des Workshops

Wolfgang Goerigk ( wg@informatik.uni-kiel.de )