Announcement and Call for Papers

DIMACS Symposium on

Rutgers University
July 25 - 26, 1996

Sponsored by the DIMACS Special Year on Logic and Algorithms
and the Association for Symbolic Logic
in conjunction with the Federated Logic Conference.
Hosted by Rutgers, The State University of New Jersey

Logic and logical thinking are central to all disciplines and are critical in the mathematical and computer sciences. This symposium will explore the teaching of introductory logic and logical thinking, with a primary focus on the college level and a secondary focus on the high school level. The symposium will be interdisciplinary, emphasizing and contrasting approaches used in mathematics, computer science, natural sciences, and engineering.

The symposium seeks a sharing of ideas, rather than consensus, on how to teach logic, so that all participants gain an appreciation for the fundamental issues and ultimately are better able to motivate the importance of logic and to convey the foundations of logical reasoning to students. Topics of interest include, but are not limited to:

Pedagogical Approaches
Cognitive Models of Logical Reasoning
Empirical Studies
Exemplary Course Material
Innovative Approaches
Courseware for Teaching Logic

Submit an extended abstract (maximum of 4 pages) by 1 April 1996. Submissions in postscript form are preferred; email them to Mail paper submissions to: David Gries, Computer Science, Upson Hall, Cornell University, Ithaca, NY 14853 USA.

Notification of acceptance: 1 May 1. Camera ready and electronic paper versions due: 1 July. Accepted papers will be published in a locally available proceedings and on the World Wide Web.


Susanna Epp (DePaul University),
David Gries (Cornell University),
Peter Henderson (SUNY Stony Brook),
Ann Yasuhara (Rutgers University),

For further information, contact Peter Henderson, Department of Computer Science, SUNY Stony Brook, Stony Brook, N.Y. 11794-4400 USA. (516) 632-8463,

The symposium will be held prior to the Federated Logic Conference (FLoC), hosted by DIMACS as part of its Special Year on Logic and Algorithms. FLoC includes the following conferences:

IEEE Symp. on Logic in Computer Science (LICS), July, 27-30, 1996
Rewriting Techniques and Applications (RTA), July 27-30, 1996
Conference on Automated Deduction (CADE) workshops, July 30, 1996
Conference on Automated Deduction (CADE), July 31 - August 3, 1996
Computer-Aided Verification (CAV), July 31 - August 3, 1996

For further information, see the FLoC home page at Information about the Special Year can be found in

Previous: Announcement
Next: Program
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on April 21, 1995