[MG] ================================================ AMAST Links 02 04

First Announcement and Logo Contest: Federate Logic Conference, FLoC'96
      Rutgers University, USA, Sat. July 27 - Sat. August 3, 1996

**The Federate Logic Conference**

  *Participating Conferences.* Goal of FLoC is to battle fragmentation
of the technical community by bringing together synergetic conferences
that apply logic to computer science.  The following conferences will
participate in FLoC: CADE (Conf. on Automated Deduction), CAV (Conf. on
Computer-Aided Verification), LICS (IEEE Symposium on Logic in Computer
Science), and RTA (Conf. on Rewriting Techniques and Applications).
  *Location.* DIMACS will host the meeting as part of its Special Year
on Logic and Algorithms.  The meeting will take place at the College
Avenue Campus of Rutgers University, downtown New Brunswick, NJ.
  *Program Chairs.* Rajeev Alur (CAV), Harald Ganzinger (RTA), Michael
McRobbie & John Slaney (CADE), Ed Clarke (LICS).
  *Conference Committee.* Rajeev Alur (CAV local arrangements chair),
Leo Bachmair (RTA), Amy Felty (CADE), Douglas Howe (publicity chair),
Jon G. Riecke (LICS, conference committee chair).
  *Steering Committee.* Members of the conference committee plus Steve
Mahaney (DIMACS) and Moshe Y. Vardi (steering committee chair).
  *Further information* is available on the WWW, at URL:
   http://www.research.att.com/lics/FLoC/ 

**Logo Contest**

  *Call for Logos.* The FLoC'96 organizing committee would like a logo
for the FLoC WWW pages and for printed items such as posters and
programs.  The FloC logo should be suitable for displaying beside the
full name of the conference.  If it uses an acronym, it should use
"FLoC".  The logo should look good when rendered monochromatically.
  *Incentives.*  In addition to the fame, the winner will also receive
congratulatory email and approving nods at FLoC'96.
  *Submissions*  should be sent by May 19, 1995, to the FLoC publicity
chair: Doug Howe (howe@research.att.com), in some reasonably common
electronic form, eg postscript. The winner will be announced on May 26.
  *Further Information.*  howe@research.att.com .