RE: Conference on "Constructivity in Computer Science." There is a new deadline for submissions of papers since the previous email announcement was late and during the holidays. The new due date for extended abstracts is FEBRUARY 21, 1991. We are renewing the call for papers now. A couple other items of interest: It appears now that Prof. Dana Scott will be accepting our earlier invitation to participate. Also, there are indications that a few papers will be submitted regarding essentially nonconstructive techniques proving useful in computer science. Later in January, we'll know whether we'll be receiving NSF funds to provide assistance for some of the participants with conference expenses. Finally, please forward this announcement to anyone who you feel might be interested. That will help with publicity. Renewal for CALL FOR PAPERS ... Constructivity in Computer Science Trinity University San Antonio, Texas June 18 - 22, 1991 Sponsored by The University of Chicago and Trinity University The emergence of computer science as a discipline has naturally led to a renewal of interest in constructivity, which has become common in the literature of theoretical computer science, programming language semantics, database, logic programming, etc. Constructive notions form a foundational framework for the field of computer science. Indeed, constructivity shows up often in the various theoretical (and applied!) computer science conferences; hence the pertinent results and ideas have been scattered throughout the literature. So the time seems overdue to acknowledge the importance of constructivity to computer science with a conference linking the two by name (that name derived from Heyting's first 1957 conference, "Constructivity in Mathematics"). The primary goal of the conference is to provide a forum for the presentation of contemporary research linking constructivity with computer science and to establish networks of like-minded researchers in computer science, logic, and mathematics. As meetings devoted to constructivity are infrequent (roughly once a decade), instances of breadth will be welcome at the conference also. Robert Constable (Cornell University) and Michael O'Donnell (University of Chicago) have agreed to contribute to these endeavors. Since constructivity is seen by many to be foundational for the field, it seems important to introduce it explicitly into the computer science curriculum. To this end the conference will also include a small "track" to address integration of the concepts of constructivity into the computer science curriculum. Newcomb Greenleaf (Columbia University) has agreed to contribute in this regard. Authors should submit 3 copies of an extended abstract by FEBRUARY 21,1991 to: Research: Michael J. O'Donnell Department of Computer Science The University of Chicago Chicago, Illinois 60637 (312) 702-6011 odonnell@tartarus.UChicago.edu Curriculum: J. Paul Myers, Jr. Department of Computer Science Trinity University San Antonio, Texas 78212 (512) 736-7398 BITNET: pmyers@trinity Submissions should be limited to 10 typed, double-spaced pages. They should begin with a brief statement of the significance of the submission, understandable to non-specialists. Acceptance decisions will be communicated by April 30, 1991; the final copy will be due at the conference. We expect to publish the Proceedings as a volume of Springer-Verlag's Lecture Notes in Computer Science. For general information about the conference, please contact Professor Myers, above. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= J. Paul Myers, Jr. Department of Computer Science Trinity University 715 Stadium Drive San Antonio, Texas 78212 (512) 736-7398 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=