[J4] ================================================ AMAST Links 01 01

          DIMACS 1995-96 Special Year on Logic and Algorithms
        Call for Visitor & PostDoctoral Fellowship Applications
The full version of this call is available as a plain text file at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/full/DIMACSj.txt
  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: http://dimacs.rutgers.edu/ Gopher: dimacs.rutgers.edu
TELNET: telnet dimacs.rutgers.edu and 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)