Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 18 Nov 1994 12:26:32 +0000 Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id GAA19297 for qed-out; Fri, 18 Nov 1994 06:19:26 -0600 Received: from tuminfo2.informatik.tu-muenchen.de (root@tuminfo2.informatik.tu-muenchen.de [131.159.0.81]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id GAA19290 for ; Fri, 18 Nov 1994 06:19:04 -0600 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <39-1>; Fri, 18 Nov 1994 13:18:00 +0100 Received: by sunbroy14.informatik.tu-muenchen.de id <8083>; Fri, 18 Nov 1994 13:17:41 +0100 Subject: CFPart:International Summer School Marktoberdorf (Germany) From: Oscar Slotosch To: qed@mcs.anl.gov Date: Fri, 18 Nov 1994 13:17:30 +0100 Cc: steinbrue@sunbroy14.informatik.tu-muenchen.de, slotosch@sunbroy14.informatik.tu-muenchen.de (Oscar Slotosch) X-Mailer: ELM [version 2.4 PL23] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 2567 Message-Id: <94Nov18.131741met.8083@sunbroy14.informatik.tu-muenchen.de> Sender: owner-qed@mcs.anl.gov Precedence: bulk International Summer School Marktoberdorf (Germany) on "L O G I C O F C O M P U T A T I O N" from July 25 to August 6, 1995 - an Advanced Study Institute of the NATO Science Committee and the Technische Universitaet Muenchen, Germany. 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: C o m p u t a t i o n a l T y p e T h e o r y R. L. Constable: Computational Type Theory as a Programming Logic G. Huet: Type Theory, Specification Languages, and Program Verification L o g i c P r o g r a m m i n g G. Jaeger: First Order Logic Programming D. Miller: Logic Programming and Meta-Logic P r o v i n g T e c h n i q u e s S. R. Buss: Bounded Arithmetic H. Schwichtenberg: Computational Content of Proofs S. S. Wainer: Applications of Proof Theory to Computation P r o v i n g T e c h n i q u e s S. R. Buss: Bounded Arithmetic H. Schwichtenberg: Computational Content of Proofs S. S. Wainer: Applications of Proof Theory to Computation S e m a n t i c s a n d A l g e b r a i c S p e c i f i c a t i o n J.-Y. Girard: Denotational Semantics M. Wirsing: Algebraic Specification S y m b o l i c C o m p u t a t i o n B. Buchberger: Groebner Bases: An Algorithmic Method in Commutative Algebra J.-P. Jouannaud: Rewrite Systems - Deadline for Application: March 20, 1995 - Application forms are obtainable in WWW, the URL is http://www4.informatik.tu-muenchen.de/summerschool/index.html and in Internet News under news.announce.conferences or from Institut fuer Informatik Technische Universitaet Muenchen - Summer School 95 - 80290 Muenchen, Germany -- Oscar Slotosch slotosch@informatik.tu-muenchen.de Technische Universit"at M"unchen Tel.: ++49/89/2105-8172 Fakult"at f"ur Informatik Fax: ++49/89/2105-8183 Arcisstr. 21 80290 M"unchen http://hpbroy3.informatik.tu-muenchen.de/MITARBEITER/slotosch/slotosch.html