[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"ager :  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"obner Bases: An Algor. Method in Commutative Algebra
J.-P. Jouannaud :  Rewrite Systems
  *Application Deadline:* March 20, 1995. Application forms are in WWW
URL: http://www4.informatik.tu-muenchen.de/summerschool/index.html
and in Internet News under news.announce.conferences or obtainable from
   Institut f"ur Informatik, Technische Universit"at M"unchen
   Summer School 95, D-80290 M"unchen, Germany