[Prev][Next][Index][Thread]

Marktoberdorf Summer School 97



" C o m p u t a t i o n a l   L o g i c "

from July 29 to August 10, 1997

An Advanced Study Institute
of the NATO Science Committee
and the Institut fuer Informatik, Technische Universitaet Muenchen
	Directors: M. Broy, W. Brauer, R. L. Constable, H. Schwichtenberg,
	S. S. Wainer
	Secretary: R. Steinbrueggen,

The "Marktoberdorf Summer School" is a two weeks' course for young
computer scientists and mathematicians working in the field of formal
systems development. The course aims at the dissemination of advanced
scientific knowledge and the promotion of international contacts among
scientists.

Recent developments in computer science clearly show the necessity of
a better theoretical foundation of central issues. Methods and results
from mathematical logic are of great help and will be used to a much
greater extent than is presently the case. This holds in particular
for proof theory, which from its very beginning had to deal with
deduction mechanisms and their analysis. Also model theory has
important benefits for applied subjects, e.g. by providing a sound
semantical foundation, or in the context of algebraic specification.

The 1997 Summer School at Marktoberdorf, a small town 100 km southwest
of Munich, will deliver a comprehensive spectrum of lectures on the
major topics in the area.

LECTURES

D. Scott:		A Theory of Domains
J.-Y. Girard:		Linear Logic and Denotational Semantics
S. Abramsky:		Game Semantics

S. S. Wainer:		Complexity of Recursion
S. R. Buss:		Complexity of Proofs

P. Aczel:		Constructive Type Theory
H. Schwichtenberg:	Computational Content of Proofs
D. Miller:		Proof Theoretic Specifications of Computation

H. Barendregt:	Applications of Lambda Calculus
U. Martin:		Orderings, Structure, and Termination

J. Meseguer:		Rewriting Logic
R. L. Constable:	The Mathematics and Mechanics of Relating Formal Theories

You will find details on the web:
http://www4.informatik.tu-muenchen.de/div/summerschool/

DEADLINE for APPLICATION:  March 6, 1997.


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 to 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 June 30, 1997 at the very latest.

Limited funds from the NATO Science Committee and from other sources
will be available. If a support for travel expenses is granted, the
amount will be reimbursed to the participant during the Summer School
at Marktoberdorf by a DM-cheque.

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

APPLICATION FOR ATTENDANCE

I hereby apply for admission as participant in the International
Summer School at Marktoberdorf, July 29 through August 10, 1997.

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 fields of interest in computer science:
...................................................................
Publications:
...................................................................
...................................................................
Periods spent outside the academic field:..........................
...................................................................

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

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

Institut fuer Informatik
Technische Universitaet Muenchen
- Summer School 97 -
80290 Muenchen, Germany

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

APPLICATION FOR A GRANT

a) Travel expenses:
When using the most economical 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 BY 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 BY 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--------------------------