Calendar: Special Year on Logic and Algorithms

Follow hot-links for detailed program descriptions and information for participants.

All events are at DIMACS facilities at Rutgers or Princeton. Specific locations will be found through the hotlinks.

Workshop on Verification and Control of Hybrid Systems
Date: October 22-25, 1995
Organizers: Rajeev Alur, Tom Henzinger, Eduardo Sontag
Email: alur@research.att.com, tah@cs.cornell.edu, sontag@control.rutgers.edu

Workshop on Logic and Random Structures
Date: November 5-7, 1995
Organizers: Ravi Boppana, James Lynch, and Kevin Compton
boppana@cs.nyu.edu, jlynch@sun.mcs.clarkson.edu, kjc@eecs.umich.edu

Workshop on Finite Models and Descriptive Complexity
Date: January 14 - 17, 1996
Organizers: Neil Immerman and Phokion Kolaitis
Email: immerman@cs.umass.edu, kolaitis@cs.ucsc.edu

March 1996:

Workshop on the Satisfiability Problem: Theory and Applications
Date: March 11-13, 1996
Organizers: Ding-Zhu Du, Jun Gu, Panos Pardalos
Email: dzd@cs.umn.edu, gu@enel.ucalgary.ca, pardalos@ufl.edu
Advisory Committee: Bob Johnson, David Johnson, Christos Papadimitriou, Paul Purdom, Benjamin Wah
Workshop on Computational and Complexity Issues in Automated Verification
Date: March 25-28, 1996
Organizers: Bob Brayton, Allen Emerson, Joan Feigenbaum
Email: brayton@ic.eecs.berkeley.edu, emerson@cs.utexas.edu, jf@research.att.com

Workshop on Feasible Arithmetics and Length of Proofs
Date: April 21-23, 1996
Organizers: Paul Beame and Sam Buss
Email: beame@cs.washington.edu, sbuss@cs.ucsd.edu

Workshop on Controllers for Manufacturing and Automation: Specification, Synthesis, and Verification Issues
Date: May 13-15, 1996
Organizers: Mohsen A. Jafari and Bud Mishra
Email: jafari@gandalf.rutgers.edu, mishra@anihccam.cs.nyu.edu

Workshop on Partial Order Methods in Verification (POMIV)
Date: July 24-26, 1996
Organizers: Doron Peled, Gerard Holzmann, Vaughan Pratt
Email: doron@research.att.com, gerard@research.att.com, pratt@cs.stanford.edu}
Workshop on Teaching Logic and Reasoning in an Illogical World
Date: July 25-26, 1996
Organizers: Susanna Epp, David Gries, Peter Henderson, Ann Yasuhara
Email
DIMACS Workshop on Computation Complexity and Programming Languages
Date: July 25-26, 1996
Organizers: Bruce Kapron, Jim Royer
Email: bmkapron@csr.csc.uvic.ca, royer@top.cis.syr.edu
Federated Logic Conference - FLOC'96
Final Program
Date: July 26 - August 3, 1996
FLOC'96 Conference Chair: Jon Riecke
Email: riecke@research.att.com
The Federated Logic Conference will consist of:
- CADE (Conference on Automated Deduction)
- CAV (Conference on Computer-Aided Verification),
- IEEE LICS (Logic in Computer Science),
- RTA (Conference on Rewriting Techniques and Applications).

Workshop on SPIN96 -- 2nd International SPIN Verificatin Workshop Algorithms, Applications, Tool Use, Theory
Date: August 5, 1996
Organizers: Jean-Charles Gre'goire, Gerard J. Holzmann and Doron Peled
Email: gregoire@inrs-telecom.uquebec.ca, gerard@research.att.com, doron@research.att.com

Workshop: Special Year on Logic and Algorithms - One year later
Date: July 23-25, 1997
Location: DIMACS Center, CoRE Building, Rutgers University
Piscataway, New Jersey
Organizers: Eric Allender, Robert Kurshan, Moshe Vardi
Email: allender@cs.rutgers.edu, k@research.bell-labs.com, vardi@cs.rice.edu

Workshop: Workshop on Logic and Cognitive Science
Date: April 16-18, 1999
Location: Institute for Research in Cognitive Science (IRCS), University of Pennsylvania
Philadelphia, Pennsylvania
Organizers: Moshe Vardi, Rice University; Scott Weinstein, University of Pennsylvania
Email: vardi@cs.rice.edu; weinstein@cis.upenn.edu

Contacting the Center
Document last modified on October 20, 1998.