[MI] ================================================ AMAST Links 02 03 Chaitin Complexity and Applications - Summer School Mangalia, Romania, 27 June - 6 July 1995 The LaTeX full version of this announcement is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i03/full/AC0203MI.tex The course will focus on basic results regarding the information theoretic limits of mathematics and their relevance for understanding the Universe. It will be supported by lab sessions in which Lisp programs will be used to explain and illustrate the theoretical ideas. *Key-Note Lecturer:* G. J. Chaitin, IBM Thomas J. Watson Research Center, New York, USA *Guest Lecturers:* o D. S. Bridges, University of Waikato, New Zealand o H. J" urgensen, University of Western Ontario, Canada o G. Markowsky, University of Maine, United States o K. Svozil, Technical University of Vienna, Austria *Course Secretary:* M. Tuatuar^am, Black Sea University 50, Primuaverii Blvd. Bucharest 1, Romania. Phone & Fax 401-312-8327 *Information Contact:* C. Calude, Computer Science Department, University of Auckland Private Bag 92019 Auckland, New Zealand. Phone +64-9-373-7599 x 5751 Fax: +64-9-373-7453. Email: cristian@cs.auckland.ac.nz *Topics* o Classical vs Constructive Mathematics o Algorithmic Information Theory o G"odel Incompleteness Theorem Revisited o Coding the Universe *General Information:* The working language is English. Participation fee of US $500 includes course attendance fee, printed materials, accommodation in two-bed rooms and meals. Special arrangements will be made for participants from countries of the Black Sea area and for those in Central and Eastern Europe. *Deadline* for application is 13 June 1995. *Payment* Participation fee of US $500 will be paid by mail, at the Romanian Bank of Foreign Trade, Bucharest, Romania, Account no 46.10.109.162.300.8 of the Black Sea University or in cash on arrival.