posted by user: charlotte || 1463 views || tracked by 2 users: [display]

IWLS 2013 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2013/
 
When Jun 7, 2013 - Jun 8, 2013
Where Austin, TX
Abstract Registration Due Mar 8, 2013
Submission Deadline Mar 15, 2013
Notification Due Apr 1, 2013
Final Version Due May 10, 2013
Categories    design automation   EDA   CAD
 

Call For Papers

The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop accepts complete papers highlighting important new problems in the early stages of development, without providing complete solutions. The emphasisis on novelty and intellectual rigor.

Topics of interest include (but are not limited to): synthesis and optimization; power and timing analysis; testing, validation and verification; architectures and compilation; and design experiences. Submissions on modeling, analysis and synthesis for emerging technologies are also encouraged.

Only complete papers with original and previously unpublished material are permitted. Submissions must be no longer than 8 pages, double column, 10-point font. Accepted papers are distributed only to IWLS participants. The workshop format includes pap
er presentations, posters, invited talks, lunch and dinner gatherings, and recreational activities. Submissions are made electronically through the EDAS system. Please see the website for instructions: http://www.iwls.org

Related Resources

SS DNAP IJCNN 2020   Special Session on Deep Neural Audio Processing at IEEE WCCI/IJCNN 2020
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
ICLP 2020   The 36th International Conference on Logic Programming
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
VDAT 2020   24th International Symposium on VLSI Design and Test
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IJCAR 2020   10th International Joint Conference on Automated Reasoning
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
CONCUR 2020   31st International Conference on Concurrency Theory