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 
([log in to unmask]) 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.