From: steinbru@Informatik.TU-Muenchen.DE (Ralf Steinbrueggen)
Newsgroups: news.announce.conferences
Subject: International Summer School Marktoberdorf
Keywords: computational aspects of proofs, logical systems, algebraic specifications
Date: 19 Nov 92 02:45:05 GMT
Expires: Fri, 19 Mar 1993 08:00:00 GMT
Organization: Technische Universitaet Muenchen, Germany


International Summer School Marktoberdorf

on     " P r o o f  and  C o m p u t a t i o n "

from July 20 to August 1, 1993 -
an Advanced Study Institute of the NATO Science Committee
and the Technische Universitaet Muenchen, Germany.

Directors:  M. Broy,  H. Schwichtenberg,  S. S. Wainer,  W. Brauer,
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
fields of computational aspects of proofs, logical systems, and
algebraic specifications. The course aims at the dissemination of
advanced scientific knowledge and the promotion of international
contacts among scientists.
The logical notion of a formal proof in various constructive systems
can be viewed as a very explicit way to describe a computation procedure.
Many aspects of computation can so be captured in an illuminative way:
A good example is the modelling of bounded resources by means of linear
logic. But also conversely the development of logical systems (e.g. for
verification purposes) has been influenced by accumulating knowledge
on rewriting and unification techniques, particularly in a higher order
context.
It is the objective of the 1993 Summer School at Marktoberdorf, a small
town 100 km southwest from Munich, to study the current reapproachment
between logic and computation under methodological and algorithmic
aspects.

Topics and Lectures:
S p e c i f i c a t i o n  and  A b s t r a c t  D a t a  T y p e s
   M. Wirsing:  Algebraic Specification Techniques.
   J. V. Tucker:  Many-Sorted Algebras for Hardware Design and Verification.
P r o v i n g  T e c h n i q u e s
   G. Jaeger:  Proof Theory and Logic Programming.
   H. Schwichtenberg:  Program Development by Proof Transformation.
   R. L. Constable:  Constructive Type Theory.
C o n s t r u c t i v e  M e t h o d s
   S. S. Wainer:  Ordinal Analysis of Proofs and Computations.
   J.-P. Jouannoud:  Rewriting Techniques.
L i n e a r  L o g i c
   J.-Y. Girard:  Unifying Classical, Intuitionistic and Linear Logic.
   A. Scedrov:  Bounded Linear Logic.
C o n c u r r e n c y  and L o g i c
   R. Milner:  Mobile Processes.
   W. Brauer:  Concurrent Processes and Petri Nets.

Deadline for Application:  March 19, 1993 -
application forms for attendance and grant attached.

----------------------------- cut here --------------------------------

APPLICATION FOR ATTENDANCE

I hereby apply for admission as participant in the International
Summer School at Marktoberdorf, July 20 through August 1, 1993.

Surname: ......................... First name: ....................
Date of birth: ...............Citizenship: ............ male/female
Mailing address: ..................................................
...................................................................
...................................................................
Phone No.: Office: ...................... Home: ...................
e-mail: ..................................Telefax: ................
Telex: ...................................
A Letter of Recommendation from
...................................................................
is attached /will follow under separate cover.
Highest university degree obtained, year, name of institution:
...................................................................
Institution presently associated with:
...................................................................
Present professional position and duties:
...................................................................
Current interest in the computer field:
...................................................................
Publications:
...................................................................
...................................................................
...................................................................

Signature: ............................ .. Date: ..................

Applications without a Letter of Recommendation cannot be taken into
consideration. Please return this form at your earliest convenience to:

Fakultaet fuer Informatik
Technische Universitaet Muenchen
Postfach 20 24 20
W-8000 Muenchen 2

If a support for travel expenses is granted the amount will be reimbursed
by a DM-cheque to the participant during the Summer School at Marktoberdorf.

Every person who is admitted to attend the Summer School as participant
has to pay DM 1.120,- for the living expenses and DM 860,- for the
participation fee. An invoice with the respective amount will be sent to
all participants together with a letter of acceptance. Payment of the
invoice is due in advance and must be remitted to our bank account
by July 2, 1993 at the very latest.

----------------------------- cut here --------------------------------

APPLICATION FOR A GRANT

a) Travel expenses:
When using the most economic way of travelling, my travel costs amount to
DM ................
I hereby request a support for my travel expenses to the amount of
DM ................

b) Living expenses:
I hereby request a support for my living expenses to the amount of
DM ................

c) Participation fee:
I hereby request a support for my participation fee to the amount of
DM ................

STATEMENT OF THE APPLICANT

Other sources in my country will contribute to my expenses:
travel expenses  DM ..............., living expenses  DM .............,
participation fee DM ................
I do not receive any further support and I hereby declare that the above
information is correct and to the best of my knowledge.

Signature: ........................., date: ................

STATEMENT OF THE INSTITUTION

The above applicant is associated with our institution. His/her position
is:
full-time employee / part-time employee / senior scientist /
junior scientist / Ph.D. student / other (specify)

Our institution will contribute to the costs arising from the applicant's
attendance at the Summer School to the total amount of
DM ...............,
travel expenses:  DM .............., living expenses: DM ...............,
participation fee: DM ...............

Signature:  .......................... date: ..............
Stamp:

------------------end Summer School Marktoberdorf--------------------------
Newsgroups: news.announce.conferences