posted by system || 4017 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

LOPSTR 2025   Logic-based Program Synthesis and Transformation
MEIJ 2025   Mechanical Engineering: An International Journal
HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
SASIMI 2025   The 26th Workshop on Synthesis And System Integration of Mixed Information technologies
AI in Evidence Synthesis 2025   AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
PRIMA 2025   26th International Conference on Principles and Practice of Multi-Agent Systems
FoIKS 2026   International Symposium on Foundations of Information and Knowledge Systems
JELIA 2025   19th European Conference on Logics in Artificial Intelligence