The full version of this call is available as a plain text file.
The DIMACS Center for Discrete Mathematics and Theoretical Computer Science announces its 1995-96 Special Year on Logic and Algorithms.
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 the Special Year is to bridge the gap between the two branches, focusing on three bridge areas: ComputerAided Verification, Finite-Model Theory, and Proof Complexity. All three are emerging research areas that fit naturally between Vol. A and Vol. B.
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 & 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 below. DIMACS will announce other postdoc and visitor application deadlines in November, 1994.
For Further Information. You can use several methods:
E-mail: center@dimacs.rutgers.edu, or: fellows@dimacs.rutgers.edu
Phone: 908-445-5928, Fax: 908-445-5932
Mosaic/www/lynx , Gopher , Telnet (login as `info')
Post:DIMACS Center
Rutgers U
P.O. Box 1179
Piscataway, NJ 08855-1179
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)