posted by system || 2667 views || tracked by 2 users: [display]

IWLS 2011 : International Workshop on Logic and Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/
 
When Jun 3, 2011 - Jun 5, 2011
Where La Jolla, CA, USA
Submission Deadline TBD
Categories    design automation
 

Call For Papers

Mission: The International Workshop on Logic and Synthesis is dedicated to 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 as well as abstracts highlighting important new problems in the early stages of development. The emphasis is on novelty and intellectual rigor.

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 as well as abstracts, highlighting important new problems in the early stages of development, without providing complete solutions. The emphasis is 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 and platforms are also encouraged. Both complete papers as well as extended abstracts highlighting new problems and new topics of research are welcomed. Only original and previously unpublished material is permitted.

Accepted papers are distributed only to IWLS participants. The workshop format includes paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities.

Deadlines for manuscript submissions will be posted in February 2011 and will be approximately in mid-March 2011.

Related Resources

OVERLAY 2019   First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
JEDT 2019   International Journal of Electronic Design and Test
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
SS DNAP IJCNN 2020   Special Session on Deep Neural Audio Processing at IEEE WCCI/IJCNN 2020
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
CONCUR 2020   31st International Conference on Concurrency Theory
IJCAR 2020   10th International Joint Conference on Automated Reasoning