|
name
|
description
|
submission
|
conference
|
|
CAV
|
Computer aided verification
|
January
|
July
|
|
CONCUR
|
Concurrent theory (CONCUR'07)
|
April
|
September
|
|
FMCAD
|
Formal methods in computer aided design
|
April
|
November
|
|
ICCAD
|
International conference on computer aided design
|
April
|
November
|
|
ICCD
|
International conference on computer design
|
May
|
October
|
|
ASP-DAC
|
Asia-pacific design automation conference
|
July
|
January
|
|
POPL
|
Principle of programming language (POPL’08)
|
July
|
January
|
|
DATE
|
Design, Automation and Test in Europe
|
September
|
March
|
|
VMCAI
|
Verification, model checking, and abstract
interpretation (VMCAI’08)
|
September
|
January
|
|
TACAS
|
Tools and algorithms for the construction and analysis
of system (TACAS'08)
|
October
|
March
|
|
SPIN
|
SPIN workshop on model checking of software (SPIN'07)
|
December
|
|
|
DAC
|
Design automation conference
|
December
|
June
|
|
SVV'05
|
Workshop on software verification and validation
|
September
|
October
|