DIMACS Workshop on Verification and Control of Hybrid Systems

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

Organizers:

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

toci@dimacs.rutgers.edu

(908) 445-5930.

---

Previous: Program

---

Next: Registration Form

---

Workshop Index

---

DIMACS Homepage

---

Contacting the Center
Document last modified on April 21, 1995