[M9] ================================================ AMAST Links 02 05

            DIMACS Summer School on Applied Logic and Algorithms
                         General Announcement

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205M9.txt

  The 1995--96 DIMACS Special Year topic is Logic and Algorithms.
To launch this Special Year, DIMACS will hold a Summer School on
Applied Logic and Algorithms during August 1995.  The Summer School
is intended to expose industry, graduate students, postdocs, and
experienced researchers from other fields to the three focus areas
of the Special Year --- Finite-Model Theory, Proof Complexity, and
Computer-Aided Verification.  The courses will provide students with
a deep understanding of these research areas and will point out
connections with applications.

  The Summer School will consist of three successive one-week tutorial
courses, one for each topic.  Each week, 3-5 experts will lecture for
a total of approximately 20 hours, and time and space will be provided
for informal discussion as well.

  The DIMACS Conference Center at Rutgers can accommodate about 80
participants.  Subject to this capacity constraint, courses are open to
all researchers; there is no registration fee.  Although registration
at the door is permitted, we ask that you register by June 30, 1995,
to give us some idea of attendance.  Pre-registrants will be given
priority in case of capacity constraints.  In addition, information on
local housing will be sent to people who pre-register.

  DIMACS is represented on the WWW at URL: http://dimacs.rutgers.edu