minker@umcp-cs.arpa (06/08/84)
From: JACK MINKER <minker@umcp-cs.arpa> SPECIAL YEAR IN MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE Each year the Mathematics Department of the University of Maryland devotes its attention to a special topic. In conjunction with the Department of Computer Science, the 1984-1985 academic year will be devoted to the topic of mathematical logic and theoretical computer science. The year will consist of eight sessions devoted to particular areas. The time-table that has evolved is given below. As will be noted, the week of October 22-26, 1984, will be devoted to issues in LOGIC and its ROLE in ARTIFICIAL INTELLIGENCE with emphasis on knowledge representation, com- mon sense reasoning, non-monotonic reasoning and logic pro- gramming. The lectures will be open to the public. The precise times and dates of the lectures for the AI week will be announced in the next few months. We anticipate that there will be modest financial sup- port presumably for graduate students and junior faculty. Applications for support for the week of October 22-26 to be devoted to LOGIC and its ROLE in ARTIFICIAL INTELLIGENCE should be sent to: Dr. Jack Minker Department of Computer Science University of Maryland College Park, Maryland 20742 minker@umcp-cs (301) 454-6119 Kindly send a letter including a vitae, a statement as to the importance of these issues to your research, the number of days you might like to attend, and the amount of support that you might require. We emphasize that we do not know if we will have funds and even assuming they are available, they will be modest at best. You should also notify the above by sending a message over the net expressing your interest in attending the open sessions. Those who plan to come, but require no financial sup- port should also inform us of your intentions so that we may arrange for an appropriate size lecture hall. Those individuals interested in other topics associated with this Math Year should contact: Dr. E.G.K. Lopez - Escobar Department of Mathematics University of Maryland College Park, Maryland 20742 egkle@umcp-cs (301) 454-3759 and provide the same information as above. TIME SCHEDULE AND LECTURERS October 1-5, 1984. Semantics and Logics of Programs. Participants: S. Brookes, D. Kozen, A. Meyer, M. O'Donnell, R. Statman October 8-12, 1984. Recursion Theory. Participants: R. Book, J. Case, R. Daley, D. Leivant, J. Myhill, A. Selman, P. Young **October 22-26, 1984. LOGIC and its ROLE in ARTIFICIAL INTELLIGENCE Participants: J. Barwise, M. van Emden, L. Henschen, J. McCarthy, R. Reiter December 3-7, 1984. Model Theory and Algebra. Participants: A. Macintyre, A. Mekler, C. Wood March 4-8, 1985. Automath and Automating Natural Deduction. Participants: N.G. DeBruijn, J. Zucker March 11-15, 1985. Stability theory. Participants: J. Baldwin, S. Buechler, A. Pillay, C. Steinhorn April 22-26, 1985. Toposes and Model Theory. Participants: A. Joyal, F. Lawvere, I. Moerdijk, G. Reyes, A. Scendrov April 29-May 3,1985. Toposes and Proof Theory. Participants: M. Bunge, P. Freyd, M. Makkai, D. Scott, P. Scott