posted by user: charlotte || 4967 views || tracked by 6 users: [display]

IWLS 2016 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2016/
 
When Jun 10, 2016 - Jun 11, 2016
Where Austin, TX
Abstract Registration Due Mar 11, 2016
Submission Deadline Mar 18, 2016
Notification Due Apr 15, 2016
Final Version Due May 13, 2016
Categories    design automation   CAD   EDA
 

Call For Papers

The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits ans systems. 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 encourages early dissemination of ideas and results. The workshop accepts complete papers 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: hardware synthesis and optimization; software synthesis; hardware/software co-synthesis; power and timing analysis; testing, validation and verification; synthesis for reconfigurable architectures; hardware compilation for domain-specific languages; and design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are particularly 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 paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities. Submissions are made electronically through EasyChair. Please see the workshop website for instructions: http://www.iwls.org.

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
BINLP 2025   5th International Conference on Big Data, IOT & NLP
AI in Evidence Synthesis 2025   AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing
PRIMA 2025   26th International Conference on Principles and Practice of Multi-Agent Systems
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)