The DIMACS Center for Discrete Mathematics and Theoretical Computer Science announces its 1995-96 Special Year on Logic and Algorithms.

DIMACS is a Science and Technology Center funded by the NSF, whose participating institutions are Rutgers University, Princeton University, AT&T Bell Laboratories, and Bellcore. Research and education activities at DIMACS focus on such areas as analysis of algorithms, combinatorics, complexity, computational algebra, discrete and computational geometry, discrete optimization and graph theory. A primary activity of the Center is to sponsor year-long research programs on specific topics of current interest, and one such program is this Special Year on Logic and Algorithms.

A dichotomy in theoretical computer science is best demonstrated by looking at the 1994 Handbook of Theoretical Computer Science. Volume A discusses algorithms and complexity, while Volume B treats formal models and semantics. Theoretical computer science in the United States is largely "Vol. A"-ish, while European theoretical computer science is largely "Vol. B"-ish. The goal of this Special Year is to bridge the gap between the two branches, focusing on three bridge areas: Computer-Aided Verification, Finite-Model Theory, and Proof Complexity. All three are emerging research areas that fit naturally between Vol. A and Vol. B.

Below is a brief description of each topic, and a tentative list of workshops associated with that topic. We also plan a series of week-long tutorials, one in each topic, intended to introduce students, recent graduates, and professionals from other areas to the topic.

We invite applications for visiting and postdoctoral positions at DIMACS in connection with the Special Year. We encourage people to apply to NSF or other granting agencies for support to be used at DIMACS, as well as applying to DIMACS itself. Many funding deadlines fall between mid-October and mid-November, which calls for speedy action by those who are interested in visiting DIMACS. For more information on these positions, likely granting agencies, or anything else, contact DIMACS as described at the end of this announcement. DIMACS will announce other postdoc and visitor application deadlines in November, 1994.

- You can use several methods to contact the DIMACS center.
- By email: center@dimacs.rutgers.edu
- For information on visiting, fellows@dimacs.rutgers.edu
- By telephone: 908-445-5928
- By FAX: 732-445-5932
- By post:
- DIMACS Center
- Rutgers University
- 96 Frelinghuysen Road
- Piscataway, NJ 08854-8018

- Eric Allender, allender@cs.rutgers.edu
- Moshe Vardi, vardi@cs.rice.edu

**Special Year Organizing Committee:**

- Eric Allender, Rutgers U. allender@cs.rutgers.edu
- Bob Kurshan, AT&T Bell Labs k@research.att.com
- Moshe Vardi, Rice U. vardi@cs.rice.edu

- Stephen Bloch, Adelphi U. sbloch@boethius.adelphi.edu

- Paul Beame, U. Washington beame@cs.washington.edu
- Sam Buss, U. California, San Diego sbuss@gentzen.ucsd.edu
- Gregory Cherlin, Rutgers U.
- Ed Clarke, Carnegie Mellon U. Edmund_Clarke@cs.cmu.edu
- Steve Cook, U. Toronto sacook@theory.toronto.edu
- Allen Emerson, U. Texas emerson@cs.utexas.edu
- Joan Feigenbaum, AT&T Bell Labs jf@research.att.com
- Orna Grumberg, Technion orna@cs.technion.ac.il
- Phokion Kolaitis, U. California, Santa Cruz kolaitis@cs.ucsc.edu
- Daniel Leivant, Indiana U. leivant@cs.indiana.edu
- Richard Lipton, Princeton U. rjl@cs.princeton.edu
- Amir Pnueli, Weizmann Institute amir@wisdom.weizmann.ac.il
- Peter Winkler, AT&T Bell Labs pw@research.att.com

Index of Special Year on Logic and Algorithms

DIMACS Homepage

Contacting the Center

Document last modified on October 19, 1998.