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

IWLS 2012 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2012/
 
When Jun 1, 2012 - Jun 3, 2012
Where Berkeley, CA
Submission Deadline TBD
Categories    design automation   EDA
 

Call For Papers

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.

Related Resources

LOPSTR 2018   28th International Symposium on Logic-Based Program Synthesis and Transformation
JEDT 2018   International Journal of Electronic Design and Test
LICS 2018   Logic in Computer Science
MEIJ 2018   Mechanical Engineering: An International Journal
DATE E2 2018   Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis
Scopus-EI-WADCE 2018   2018 3rd International Workshop on Aircraft Design and Control Engineering (WADCE 2018)
CASES 2018   International Conference on Compilers, Architectures, and Synthesis for Embedded Systems
IJDPS 2018   International Journal of Distributed and Parallel systems
INISTA 2018   IEEE International Conference on Innovations in Intelligent SysTems and Applications
JMIER 2019   Rapid Publication & Free - Journal of Mechanical and Industrial Engineering Research