June 1997 • Volume 24 • Number 3
July 23-25, 1997: Special Year on Logic and Algorithms - One Year Later at DIMACS Center, Rutgers University, Piscataway, NJ 08855-1179. The purpose of the workshop is to follow up on the Special Year on Logic and Algorithms (SYLA). The workshop will cover the three major topics of the Special Year: computer-aided verification, finite-model theory and proof complexity. For more information, contact Moshe Vardi; E-mail: [email protected]