DIMACS Workshop on Verification and Control of Hybrid Systems

October 22 - 25, 1995
Rutgers University, CoRE Building, Piscataway, NJ

Rajeev Alur, AT&T Labs, alur@research.att.com
Tom Henzinger, Cornell University, tah@cs.cornell.edu
Eduardo Sontag, Rutgers University, sontag@control.rutgers.edu Co-sponsored by DIMACS and the Rutgers Center for Systems and Control (SYCON)

Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.

Registration and Participant Support:

The DIMACS Conference Center at Rutgers can accommodate about 100 participants. Subject to this capacity constraint, the workshop is open to all researchers. If possible, please register, although registration at the conference is permitted. THERE IS NO REGISTRATION FEE.

To register, please mail or email a Workshop Registration Form to Pat Toci

(908) 445-5930.

Previous: Program
Next: Registration Form
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on April 21, 1995