posted by user: sadegh_rk || 3017 views || tracked by 1 users: [display]

IWLS 2022 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: https://www.iwls.org/iwls2022/
 
When Jul 18, 2022 - Jul 21, 2022
Where Virtual
Abstract Registration Due Apr 11, 2022
Submission Deadline Apr 18, 2022
Notification Due Jun 24, 2022
Final Version Due Jul 6, 2022
Categories    logic   verification   formal methods   optimization
 

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.

Call for regular papers: 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 and social coffee breaks. Submissions are made electronically through EasyChair. Please see the workshop website for instructions.

Organizing Committee:
General Chair Luca Amaru Synopsys, USA
Program Committee Chairs Eleonora Testa / Valentina Ciriani Synopsys, USA / University of Milan, IT
Program Contest Chairs Alan Mishchenko / Satrajit Chatterjee University of California Berkeley, USA / Google, USA
Special Session Chair Cunxi Yu Univerisy of Utah, USA
Finance Chair Zhufei Chu Ningbo University, China
Proceedings Chair Walter Lau Neto Univerisy of Utah, USA
Publicity Chair Augusto Neutzling Cadence, UK
Virtual Chair Giulia Meuli Synopsys, IT

Related Resources

LOPSTR 2025   Logic-based Program Synthesis and Transformation
RV 2025   25th International Conference on Runtime Verification
HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
NLPCL 2025   6th International Conference on Natural Language Processing and Computational Linguistics
AI in Evidence Synthesis 2025   AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing
ITE 2025   6th International Conference on Integrating Technology in Education (ITE 2025)
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
EI/Scopus-ICSSD 2025   2025 International Conference on Smart Manufacturing, Structural Health Monitoring and Digital Twin-EI/Scopus