🚀 go-pugleaf

From: kowa@forwiss.tu-muenchen.de (Wolfgang Kowarschick)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Mon, 28 Jan 1991 13:08:52 GMT
Subject: <mod-ki 0634> International Summer School 91
Keywords: Kurse

mod-ki message 0634
************************************************************************
                      International Summer School on
                    LOGIC and ALGEBRA of SPECIFICATION
             Marktoberdorf, Germany, July 23 - August 4, 1991

DIRECTORS:

F.L. BAUER          Technische Universitaet Muenchen
                    Munich, Germany
W. BRAUER           Technische Universitaet Muenchen
                    Munich, Germany
H. SCHWICHTENBERG   Ludwig-Maximilians-Universitaet Muenchen
                    Munich, Germany
S.S. WAINER         The University of Leeds
                    Leeds, Great Britain


            LECTURERS:

            W. BRAUER           Munich, Germany
            R. CONSTABLE        Ithaca, U.S.A.
            J.-Y. GIRARD        Paris, France
            G. JAEGER           Bern, Switzerland
            Z. MANNA            Rehovot, Israel / Stanford, U.S.A.
            R. MILNER           Edinburgh, Great Britain
            P.D. MOSSES         Aarhus, Denmark
            H. SCHWICHTENBERG   Munich, Germany
            J.V. TUCKER         Swansea, Great Britain
            M. WIRSING          Passau, Germany


                                TOPICS:
For application forms           Specification and Automated Deduction
please contact:
                                Proving Techniques
Institut fuer Informatik
Techn. Universitaet Muenchen    Concurrency and Logic
- Summer School -
Orleansstrasse 34               Abstract Data Types and
D-8000 Muenchen 80, Germany     Operational Semantics
phone: (+89)48095-209 or
            2105-8176           Constructive Methods
fax:   (+89)48095-203
                                Action Semantics
 

                Deadline for Application is April 3, 1991
 
         The Summer School is organized under the auspices of the
         Technische Universitaet Muenchen and is sponsored by the
  NATO Science Committee under the Advanced Study Institutes Programme

------------------------------------------------------------------------
Wolfgang L.J. Kowarschick      !    ! /      kowa@forwiss.tu-muenchen.de
FORWISS, FG Wissensbasen       !    !/
TU Muenchen                    ! /\ !\       phone: +89/48095-206 (-200)
West Germany                   !/  \! \      fax:   +89/48095-203
************************************************************************