The submission dates for the following conference(s) have past:
FM 2006(http://fm06.mcmaster.ca/)
MEMOCODE 2006(http://memocode.irisa.fr/cfp.html)
SAS 2006(http://ropas.snu.ac.kr/sas06/)
V&D 2006(http://www.ist.tugraz.at/vandd)
BMC 2006(http://iew3.technion.ac.il/BMC06/bmc06.html)
| Abreviation | Subdate | Tools date | Notification Date | Location | Conference Date |
| FM 2006 |
Feb 24, 2006 | May 26, 2006 | May 26, 2006 | Ontario, Canada | Aug 21-27, 2006 |
| Applying mathematical methods to the design of highly trusted computer
systems. |
| MEMOCODE 2006 |
March 17, 2006 | | May 19, 2006 | Napa Valley, California | July 27-29, 2006 |
| Explore ways in which software and hardware design can exploit research results in formal methods |
| SAS 2006 |
April 7, 2006 | No | May 26, 2006 | Seoul, Korea | Aug 29-31, 2006 |
| Static Analysis for program verification, bug detection, compiler optimization, program
understanding, and software maintenance |
| V&D 2006 |
April 24, 2006 | No | | Seattle, Washington | 16-20 Aug, 2006 |
| Part of CAV 2006 |
| BMC 2006 |
May 1, 2006 | No | May 22, 2006 | Seattle, Washington | 15 Aug, 2006 |
| Part of CAV 2006 |
| SVV 2006 |
- | No | May 29, 2006 | Seattle, Washington | 21 Aug, 2006 |
| Part of FLoC 2006 |
| SEFM 2006 |
March-April, 2006 | No | - | Pune, India | Sept, 2006 |
| advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. |
| Formats 2006 |
- | - | - | Paris, France | Sept 25-27, 2006 |
| Great for timed systems |
| MoChart 2006 |
10 April, 2006 | | 10 May, 2006 | Riva Del Garda, Italy | 28 Aug, 2006 |
| Combinations of AI and model checking techniques |
| FMCAD 2006 |
24 April, 2006 | | 23 June, 2006 | San Jose, California | 11-16 November, 2006 |
|
| ASE 2006 |
24 Feb, 2006 | | | Tokyo, Japan | Sept 18-20, 2006 |
| Analysis, design, implementation, testing, and maintenance of large
software systems |
| Cluster 2006 |
| | | Barcelona, Spain | September 25-28, 2006 |
| Issues, directions, and results that will shape the future of cluster computing |
| Concur 2006 |
- | - | - | Bonn, Germany | Aug 27-30, 2006 |
| The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications |
