home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / news / announce / conferen / 1202 < prev    next >
Encoding:
Internet Message Format  |  1992-11-18  |  6.7 KB
  1. Path: sparky!uunet!ornl!rsg1.er.usgs.gov!darwin.sura.net!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!olivea!gossip.pyramid.com!pyramid!tekbspa!denny
  2. From: steinbru@Informatik.TU-Muenchen.DE (Ralf Steinbrueggen)
  3. Newsgroups: news.announce.conferences
  4. Subject: International Summer School Marktoberdorf
  5. Keywords: computational aspects of proofs, logical systems, algebraic specifications
  6. Message-ID: <Bxxzn6.FqG@tss.com>
  7. Date: 19 Nov 92 02:45:05 GMT
  8. Expires: Fri, 19 Mar 1993 08:00:00 GMT
  9. Sender: denny@tss.com (Denny Page)
  10. Organization: Technische Universitaet Muenchen, Germany
  11. Lines: 148
  12. Approved: denny@tss.com
  13.  
  14.  
  15. International Summer School Marktoberdorf
  16.  
  17. on     " P r o o f  and  C o m p u t a t i o n "
  18.  
  19. from July 20 to August 1, 1993 -
  20. an Advanced Study Institute of the NATO Science Committee
  21. and the Technische Universitaet Muenchen, Germany.
  22.  
  23. Directors:  M. Broy,  H. Schwichtenberg,  S. S. Wainer,  W. Brauer,
  24. and  F. L. Bauer (honorary).
  25.  
  26. The "Marktoberdorf Summer School" is a course of two weeks duration
  27. for young computer scientists and mathematicians working in the
  28. fields of computational aspects of proofs, logical systems, and
  29. algebraic specifications. The course aims at the dissemination of
  30. advanced scientific knowledge and the promotion of international
  31. contacts among scientists.
  32. The logical notion of a formal proof in various constructive systems
  33. can be viewed as a very explicit way to describe a computation procedure.
  34. Many aspects of computation can so be captured in an illuminative way:
  35. A good example is the modelling of bounded resources by means of linear
  36. logic. But also conversely the development of logical systems (e.g. for
  37. verification purposes) has been influenced by accumulating knowledge
  38. on rewriting and unification techniques, particularly in a higher order
  39. context.
  40. It is the objective of the 1993 Summer School at Marktoberdorf, a small
  41. town 100 km southwest from Munich, to study the current reapproachment
  42. between logic and computation under methodological and algorithmic
  43. aspects.
  44.  
  45. Topics and Lectures:
  46. 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
  47.    M. Wirsing:  Algebraic Specification Techniques.
  48.    J. V. Tucker:  Many-Sorted Algebras for Hardware Design and Verification.
  49. P r o v i n g  T e c h n i q u e s
  50.    G. Jaeger:  Proof Theory and Logic Programming.
  51.    H. Schwichtenberg:  Program Development by Proof Transformation.
  52.    R. L. Constable:  Constructive Type Theory.
  53. C o n s t r u c t i v e  M e t h o d s
  54.    S. S. Wainer:  Ordinal Analysis of Proofs and Computations.
  55.    J.-P. Jouannoud:  Rewriting Techniques.
  56. L i n e a r  L o g i c
  57.    J.-Y. Girard:  Unifying Classical, Intuitionistic and Linear Logic.
  58.    A. Scedrov:  Bounded Linear Logic.
  59. C o n c u r r e n c y  and L o g i c
  60.    R. Milner:  Mobile Processes.
  61.    W. Brauer:  Concurrent Processes and Petri Nets.
  62.  
  63. Deadline for Application:  March 19, 1993 -
  64. application forms for attendance and grant attached.
  65.  
  66. ----------------------------- cut here --------------------------------
  67.  
  68. APPLICATION FOR ATTENDANCE
  69.  
  70. I hereby apply for admission as participant in the International
  71. Summer School at Marktoberdorf, July 20 through August 1, 1993.
  72.  
  73. Surname: ......................... First name: ....................
  74. Date of birth: ...............Citizenship: ............ male/female
  75. Mailing address: ..................................................
  76. ...................................................................
  77. ...................................................................
  78. Phone No.: Office: ...................... Home: ...................
  79. e-mail: ..................................Telefax: ................
  80. Telex: ...................................
  81. A Letter of Recommendation from
  82. ...................................................................
  83. is attached /will follow under separate cover.
  84. Highest university degree obtained, year, name of institution:
  85. ...................................................................
  86. Institution presently associated with:
  87. ...................................................................
  88. Present professional position and duties:
  89. ...................................................................
  90. Current interest in the computer field:
  91. ...................................................................
  92. Publications:
  93. ...................................................................
  94. ...................................................................
  95. ...................................................................
  96.  
  97. Signature: ............................ .. Date: ..................
  98.  
  99. Applications without a Letter of Recommendation cannot be taken into
  100. consideration. Please return this form at your earliest convenience to:
  101.  
  102. Fakultaet fuer Informatik
  103. Technische Universitaet Muenchen
  104. Postfach 20 24 20
  105. W-8000 Muenchen 2
  106.  
  107. If a support for travel expenses is granted the amount will be reimbursed
  108. by a DM-cheque to the participant during the Summer School at Marktoberdorf.
  109.  
  110. Every person who is admitted to attend the Summer School as participant
  111. has to pay DM 1.120,- for the living expenses and DM 860,- for the
  112. participation fee. An invoice with the respective amount will be sent to
  113. all participants together with a letter of acceptance. Payment of the
  114. invoice is due in advance and must be remitted to our bank account
  115. by July 2, 1993 at the very latest.
  116.  
  117. ----------------------------- cut here --------------------------------
  118.  
  119. APPLICATION FOR A GRANT
  120.  
  121. a) Travel expenses:
  122. When using the most economic way of travelling, my travel costs amount to
  123. DM ................
  124. I hereby request a support for my travel expenses to the amount of
  125. DM ................
  126.  
  127. b) Living expenses:
  128. I hereby request a support for my living expenses to the amount of
  129. DM ................
  130.  
  131. c) Participation fee:
  132. I hereby request a support for my participation fee to the amount of
  133. DM ................
  134.  
  135. STATEMENT OF THE APPLICANT
  136.  
  137. Other sources in my country will contribute to my expenses:
  138. travel expenses  DM ..............., living expenses  DM .............,
  139. participation fee DM ................
  140. I do not receive any further support and I hereby declare that the above
  141. information is correct and to the best of my knowledge.
  142.  
  143. Signature: ........................., date: ................
  144.  
  145. STATEMENT OF THE INSTITUTION
  146.  
  147. The above applicant is associated with our institution. His/her position
  148. is:
  149. full-time employee / part-time employee / senior scientist /
  150. junior scientist / Ph.D. student / other (specify)
  151.  
  152. Our institution will contribute to the costs arising from the applicant's
  153. attendance at the Summer School to the total amount of
  154. DM ...............,
  155. travel expenses:  DM .............., living expenses: DM ...............,
  156. participation fee: DM ...............
  157.  
  158. Signature:  .......................... date: ..............
  159. Stamp:
  160.  
  161. ------------------end Summer School Marktoberdorf--------------------------
  162.