CAV recognizes the generous support of the following Institutions and Companies:

CAV 2007 is organized by

SFB/TR 14 AVACS

CAV 2007

Computer Aided Verification (CAV)

19th International Conference

July 3-7, 2007, Berlin, Germany

Travel and Local Information

Berlin

Find out more about Berlin in
english or german [at wikipedia.org].

Still more about Berlin.

Park-Inn Hotel - Berlin Alexanderplatz

CAV 2007 will be held at the
Park-Inn Hotel Alexanderplatz.

Berlin Alexanderplatz

Infos on Berlin Alexanderplatz, also in
english or german [at wikipedia.org].