DIMACS Special Year on Logic and Algorithms

Organizing Committees:

Special Year Organizers:

• 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

Special Year Publicity Chair:

• Stephen Bloch, Adelphi U.
  sbloch@boethius.adelphi.edu
  Steve Bloch's Home Page

Special Year Steering Committee:

• Paul Beame, U. Washington
  beame@cs.washington.edu
• Sam Buss, U. California, San Diego
  sbuss@gentzen.ucsd.edu
• Gregory Cherlin, Rutgers U.
• Ed Clarke, Carnegie Mellon U.
  Edmund_Clarke@cs.cmu.edu
• Steve Cook, U. Toronto
  sacook@theory.toronto.edu
• Allen Emerson, U. Texas
  emerson@cs.utexas.edu
• Joan Feigenbaum, AT&T Bell Labs
  jf@research.att.com
• Orna Grumberg, Technion
  orna@cs.technion.ac.il
• Phokion Kolaitis, U. California, Santa Cruz
  kolaitis@cs.ucsc.edu
• Daniel Leivant, Indiana U.
  leivant@cs.indiana.edu
• Richard Lipton, Princeton U.
  rjl@cs.princeton.edu
• Amir Pnueli, Weizmann Institute
  amir@wisdom.weizmann.ac.il
• Peter Winkler, AT&T Bell Labs
  pw@research.att.com

Special Year Industrial Advisory Board

• Hao Nham, AT&T QUEST
  hnn@mhcnet.att.com
• Paul Loewenstein, Sun
  Paul.Loewenstein@Eng.Sun.COM
• Carl Pixley, Motorola
  pixley@math.sps.mot.com
• Zeev Shtadler, Intel
  steed@iil.intel.com
• Kurt Keutzer, Synopsys
  keutzer@Synopsys.COM

Sponsors of the Special Year on Logic and Algorithms

• The National Science Foundation
• The New Jersey Commission on Science and Technology
• AT&T Bell Laboratories
• Bellcore
• Cadence, Inc.
• Motorola

Index of Special Year on Logic and Algorithms

DIMACS Homepage