Gesellschaft für Informatik e.V.

Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 
FG 2.1.4 Home Page
 
21. Workshop der GI-Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte
3. - 5. Mai 2004 im Physikzentrum Bad Honnef

Programm 

Anmeldeformular
   in Postscript
   in Ascii
Wichtige Termine
 
Montag, 3. Mai 2004

14.00 - 15.30 Uhr
 
Begrüßung (W. Goerigk)
Wolfram Lippe (Univ. Münster)
Zur Geschichte der Rechenautomaten - Von der Antike bis zur Neuzeit
Walter Dosch (Univ. Lübeck)
From Communications Histories to State Transition Machines

*** 15.30-16.00 Kaffeepause ***

16.00 - 17.30 Uhr
 
Clemens Grelck (Univ. Lübeck)
Generische Array-Programmierung mit SAC
Hermann von Issendorff (Hemmoor)
Von mathematischen über algorithmische zu physikalischen Strukturen
Ulrich Hoffmann (Eckernförde)
Hardware/Software-Codesign mit der MicroCore-Architektur

Dienstag, 4. Mai 2004
9.00 - 10.30 Uhr

Christian Heinlein (Univ. Ulm)
Weiterführende Konzepte für prozedurale Programmiersprachen
Ralf Lämmel (Vrije Universiteit Amsterdam)
What semantics  fits with my aspects?
Christof Lutteroth (FU Berlin)
Demonstration of Factory - A Java Extension for Generative Programming

*** 10.30 - 11.00 Kaffeepause ***

11.00 - 12.30 Uhr

Christoph Lembeck (Univ. Münster)
Constraint Solving for Generating Glass-Box Test Cases
Roger A. Müller (Univ. Münster)
Issues in the Implementation of a Symbolic Java Virtual Machine for Test Case Generation
Nicole Rauch, Burkhart Wolff (Univ. Kaiserslautern, Univ. Freiburg)
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

*** 12.30-14.00 Mittagspause ***

ab 14.30 Uhr 
Social Event

danach
Mitgliederversammlung der Fachgruppe 2.1.4

ab ca. 18.30 Uhr
Gemeinsames Conference-Dinner mit dem Reengineering-Workshop

Mittwoch, 5. Mai 2004
9.00 - 10.30 Uhr

Michael Hanus (Univ. Kiel)
Dynamic Predicates In Functional Logic Programs
Bernd Brassel, Michael Hanus, Frank Huch (Univ. Kiel)
Encapsulating Non-Determinism in Functional Logic Computations
Frank Huch, Bernd Brassel, Michael Hanus (Univ. Kiel)
Tracing Curry by Program Transformation

*** 10.30 - 11.00 Kaffeepause ***

11.00 - 12.00 Uhr

Robert Giegerich, Peter Steffen (Univ. Bielefeld)
Versatile and Declarative Dynamic Programming Using Pair Algebras
Matthias Neubauer (Univ. Freiburg)
An Implementation of Session Types

12.30 Mittagessen und Ende des Workshops

FG 2.1.4 Home Page
Wolfgang Goerigk ( wg@informatik.uni-kiel.de )