We apologize if you receive multiple copies of this email. See below about how to unsubscribe. .............................................................

Computer Aided Verification

19th International Conference

July 3 - 7, 2007 Berlin, Germany

Call for Workshop Proposals

.............................................................

CAV 2007 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

CAV 2007 will take place from July 3 to July 7, 2007 at the Park Inn Hotel, Berlin (Alexanderplatz).

Traditionally, CAV is hosting a number of affiliated pre- and post-event workshops complementing its technical program. Affiliated workshops will be organized between July 1 and July 3 (pre-event workshops) and on July 8, 2007 (post-event workshops). Rooms will be available at Park Inn Hotel and at the Humboldt University (Unter den Linden, a 5 minutes walk from the hotel).

Proposals for workshops affiliated with CAV 2007 are cordially invited. Informal proposals should be sent before October 15, 2006 to the workshop chair Christoph Scholl (cav2007_ws_announce(a)avacs.org) and should include the following information:

- Name of the workshop - Intended aims and scope of the workshop - History of the workshop - Expected number of participants (min/av/max) - Length of the event (1 or 2 days) - Contact person with full contact information

Important dates: ---------------- Submission deadline for workshop proposals: October 15, 2006 Notification: November 1, 2006

Program chairs: --------------- Werner Damm, CvO Univ Oldenburg Holger Hermanns, Saarland Univ

Local arrangements chair: ------------------------- Bernd-Holger Schlingloff, Humboldt Univ

Workshop chair: --------------- Christoph Scholl, Freiburg Univ

----------------------------------------------------------- We apologize if you receive multiple copies of this email.

If you do not want any further announcements regarding CAV2007, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply.

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------