This page lists workshops related to BDDs. Our aim is to provide one central place where all BDD related workshops can be accessed. This page will be updated frequently. If you find that your workshop is missing here or if you know of some workshops we should list, please contact the maintainer of this page.
Sorted by deadline        Sorted by name

Sorted by Date:

DateNameDeadlinePlace
March 17-22, 2005(VISSAS 2005) Verification of Infinite State Systems with Application to SecurityNovember 1, 2004 Timisoara, Romania
March 8-11, 2005INTERNATIONAL WORKSHOP ON ABSTRACT STATE MACHINES (ASM'2005)January 10, 2005 Paris, France
February 28 - March 1, 2005ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital SystemsOctober 19, 2004 San Francisco, California
February 27 - March 1, 200517. Workshop "Testmethoden und Zuverlässigkeit von Schaltungen Systemen"November 17, 2004 Innsbruck, Austria
November 10-12, 2004HLDVT'04 - IEEE International High Level Design Validation and Test WorkshopJuly 7, 2004 Sonoma, California
September 23-24, 20046th International Workshop on Boolean ProblemsApril 15, 2004 Freiberg, Germany
September 9-10, 2004MTV 2004 - Workshop on Microprocessor Test & VerificationMay 31, 2004 Austin, Texas
June 2-4, 2004IWLS 2004 - International Workshop on Logic and SynthesisMarch 15, 2004 Temecula Creek, CA
February 14-15, 2004SLIP 2004 - Intl. Workshop on System Level Interconnect PredictionNovember 11, 2003 Paris, France
February 2-3, 2004ACM/IEEE International Workshop on Timing IssuesSeptember 19, 2003 Austin, Texas
January 10, 2004ALENEX 2004 - ACM Workshop on ALgorithm ENgineering and EXperimentsSeptember 19, 2003 New Orleans, LA

Last updated:   Okt 25, 2004