[M5] _________________________ AMAST Links 01 03

International Summer School on Logic of Computation

Marktoberdorf, Germany, July 25 to August 6, 1995

Directors: M. Broy, W. Brauer, R. L. Constable, H. Schwichtenberg, S. S. Wainer, and F. L. Bauer (honorary),

The `Marktoberdorf Summer School' is a course of two weeks duration for young computer scientists and mathematicians working in the field of computational aspects of proof and new programming paradigms. The course aims at the dissemination of advanced scientific knowledge and the promotion of international contacts among scientists. Limited funds from the NATO Science Committee and from other sources will be available. The 1995 Summer School at Marktoberdorf, a small town 100 km southwest from Munich, will deliver a comprehensive spectrum of lectures on the major topics in the area.

Topics and Lectures:

Computational Type Theory

R. L. Constable

Computational Type Theory as a Programming Logic

G. Huet

Type Theory, Specification Languages and Program Verification

Logic Programming

G. Jäger

First Order Logic Programming

D. Miller

Logic Programming and Meta-Logic

Proving Techniques

S. R. Buss

Bounded Arithmetic

H. Schwichtenberg

Computational Content of Proofs

S. S. Wainer

Applications of Proof Theory to Computation

Semantics and Algebraic Specification

J.-Y. Girard

Denotational Semantics

M. Wirsing

Algebraic Specification

Symbolic Computation

B. Buchberger

Gröbner Bases: An Algor. Method in Commutative Algebra

J.-P. Jouannaud

Rewrite Systems

Application Deadline: March 20, 1995. Application forms are in WWW and in Internet News under news.announce.conferences or obtainable from

Institut für Informatik, Technische Universität München
Summer School 95, D-80290 München, Germany