Home | Publications | CV | Software | Links

 

Upcoming Conferences (sort by submission date)

Year 2008DescriptionDeadlineNotificationEvent datePlace
ASP-DAC Asia and South Pacific Design Automation Conference Jul.10, 07Sep.28, 07Jan.21-24, 08Seoul, Korea
POPL Symposium on Principles of Programming Languages Jul.16, 07Sep.28, 07Jan.10-12, 08San Francisco, CA
DATE Design, Automation and Test in Europe Sep.9, 07 Nov.7, 07 Mar.10-14, 08ICM, Munich, Germany
TACAS Symposium on Principles of Programming Languages
DAC Design Automation Conference
ACST IASTED - Advances in Computer Science and Technology
CAV Computer Aided Verification
MEMOCODE Formal Methods and Models for Codesign
IWLS International Workshop on Logic & Synthesis
CODES+ISSSIC on Hardware-Software Codesign and System Synthesis
ITC-CSCC ITC on Circuits/Systems, Computers and Communications
ICCAD International Conference on Computer-Aided Design
FDL Forum on Specification and Design Languages
FMCAD Formal Methods in Computer-Aided Design
DA Sym DA Symposium
ATVA Automated Technology for Verification and Analysis
HLDVT High Level Design Validation and Test Workshop


Year 2007DescriptionDeadlineNotificationEvent datePlace
ASP-DAC Asia and South Pacific Design Automation Conference Jul.11, 06Sep.29, 06Jan.23-26, 07Yokokama, Japan
POPL Symposium on Principles of Programming Languages Jul.15, 06Sep.23, 06Jan.17-19, 07Nice, France
DATE Design, Automation and Test in Europe Sep.10, 06Nov.10, 06Apr.16-20, 07Nice, France
TACAS Symposium on Principles of Programming Languages Oct.13, 06Dec.8, 06Mar.26-30, 07Braga, Portugal
DAC Design Automation Conference Nov.20, 06Mar.9, 07Jun.4-8, 07San Diego, CA
ACST IASTED - Advances in Computer Science and Technology Dec.1, 06Jan.15, 07Apr.2-4, 07Phuket, Thailand
CAV Computer Aided Verification Jan.28, 07Mar.23, 07Jul.3-7, 07Berlin, Germany
MEMOCODE Formal Methods and Models for Codesign Feb.3, 07Mar.24, 07May 30-Jun.1, 07Nice, France
IWLS International Workshop on Logic & Synthesis Mar.16, 07Apr.13, 07May 30-Jun.1, 07San Diego, CA
CODES+ISSSIC on Hardware-Software Codesign and System Synthesis (Apr.8)15, 07Jun.15, 07Sep.30-Oct.5, 07Salzburg, Austria
ITC-CSCC ITC on Circuits/Systems, Computers and Communications Apr.10, 07May 10, 07Jul.8-11, 07Pusan, Korea
ICCAD International Conference on Computer-Aided Design Apr.11, 07Jun.20, 07Nov.5-8, 07San Jose, CA
FDL Forum on Specification and Design Languages Apr.30, 07Jun.15, 07Sep.18-20, 07Barcelona, Spain
FMCAD Formal Methods in Computer-Aided Design (Apr.30)May 7, 07Jun.21, 07Nov.11-14, 07Austin, Texas
DA Sym DA Symposium May 7, 07Jun.1, 07Aug.29-30, 07Hamamatsu, Japan
ATVA Automated Technology for Verification and Analysis May 14, 07Jun.25, 07Oct.22-24, 07Tokyo, Japan
HLDVT High Level Design Validation and Test Workshop Jun.16, 07Sep.13, 07Nov.7-9, 07Irvine, CA


Upcoming Journals

NameDescriptionDeadline
IEICE 12EA2007IEICE special section on "VLSI Design and CAD Algorithms" Mar.6, 2007
IEICE 3ED2008IEICE special section on "Test and Verification of VLSIs" Apr.6, 2007