idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store

Event


institutionlogo


07/03/2007 - 07/07/2007 | Berlin

19th International Conference on Computer Aided Verification (CAV)

The conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. (CAV)

Information on participating / attending:

Date:

07/03/2007 - 07/07/2007

Event venue:

Park-Inn Hotel
Alexanderplatz
10178 Berlin
Berlin
Germany

Target group:

Scientists and scholars

Relevance:

international

Subject areas:

Information technology

Types of events:

Entry:

05/21/2007

Sender/author:

Gerhard Harms

Department:

Pressestelle

Event is free:

no

Language of the text:

English

URL of this event: http://idw-online.de/en/event20509


Help

Search / advanced search of the idw archives
Combination of search terms

You can combine search terms with and, or and/or not, e.g. Philo not logy.

Brackets

You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

Phrases

Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

Selection criteria

You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).