CLT@SU-AI.ARPA (03/29/84)
From: Carolyn Talcott <CLT@SU-AI.ARPA> [Forwarded from the CSLI bboard by Laws@SRI-AI.] Organizational meeting TIME: Tuesday, Apr. 3, 4:15 PM PLACE: Philosophy Dept. Room 92 (seminar room) TOPIC: Logic and parallel computation. We will begin by examining some recent papers where parallel computation is used in interesting ways to obtain better algorithms. The logical part will be to investigate how efficient algorithms using parallel computation might be extracted from infinite proof trees by applying transformations that use only finite amounts of information. At the first meeting these ideas will be explained in some more detail. Ideas and suggestions will be welcome. The seminar is scheduled to meet Tuesdays at 4:15, but can be changed if there are conflicts.