Events

• First PROSYD Workshop on Verification and Debugging (V&D), associated with FLOC, Seattle, 21 August 2006.

• Verification track topics, Haifa's IBM Verification Conference 2005 (IBM VC), Haifa, 13 November 2005.

• PSL session, 2005 ECSI Forum on Specification and Design Languages (FDL), Lausanne, September 2005

• Feedback group meeting , 2005 ECSI Forum on Specification and Design Languages, Lausanne, September 2005

• Technical advisory committee meeting at CAV'05, July 2005

• Workshop on Formal Verification of Analog Circuits, Edinburgh, 9 April 2005. see http://www-verimag.imag.fr/~maler/FAC

• PSL/Sugar Consortium Meeting at DATE'04 in Paris, 19 February 2004, 4:30PM - 7PM. See http://www.pslsugar.org/psl_meeting.html

-- RoderickBloem - 27 Jan 2004