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