The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits and 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 the 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.

The workshop format includes paper presentations, invited talks, social lunch and dinner gatherings, and recreational activities.

Workshop website: https://www.iwls.org/iwls2025/

Submission site: https://easychair.org/conferences/?conf=iwls2025

Submission Guidelines

Only complete papers with original and previously unpublished material are permitted. Submissions must be no longer than 8 pages (reference excluded), double column, 10-point font (we recommend using the ACM template or the IEEE template, but not necessarily). Accepted papers are distributed only to IWLS participants.

Double-blind policy: IWLS uses a double-blind reviewing system. Manuscripts must not identify authors or their affiliations; those that do will not be considered.

List of Topics

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.

Committees:

Organizing Committee:

• General Chair: Valentina Ciriani, University of Milan
• Program Committee Chairs: Walter Lau Neto / Weikang Qian,
• Synopsys / Shanghai Jiao Tong University
• Program Contest Chairs: Alan Mishchenko / Alessandro Tempia Calvino, UC Berkeley / EPFL
• Special Session Chair: Tiziano Villa, University of Verona
• Finance Chair: Lana Josipović, ETH Zurich
• Proceedings Chair: Anna Bernasconi, University of Pisa
• Publicity Chairs: Petr Fišer / Jiahui Xu, CTU in Prague / ETH Zurich

Technical Program Committee (Tentative):

• Luca Amarù, Synopsys
• Anna Bernasconi, University of Pisa
• Lei Chen, Huawei Noah’s Ark Lab
• Zhufei Chu, Ningbo University
• Valentina Ciriani, University of Milan
• Fabrizio Ferrandi, Politecnico di Milano
• Petr Fišer, CTU in Prague
• Aman Gayasen, AMD
• Winston Haaswijk, Cadence Design Systems
• Jie-Hong Roland Jiang, National Taiwan University
• Attila Jurecska, Siemens EDA
• Victor Kravets, IBM
• Walter Lau Neto, Synopsys
• Chang Meng, EPFL
• Giulia Meuli, Synopsys
• Shin-ichi Minato, Kyoto University
• Alan Mishchenko, UC Berkeley
• Augusto Neutzling, Real Intent
• Stefan Nikolić, University of Novi Sad
• Weikang Qian, Shanghai Jiao Tong University
• Stefano Quer, Politecnico di Torino
• Andre Reis, UFRGS
• Tsutomu Sasao, Meiji University
• Herman Schmit, Google
• Eleonora Testa, Synopsys
• Gabriella Trucco, University of Milan
• Tiziano Villa, University of Verona
• Robert Wille, TU Munich & SCCH GmbH
• Cunxi Yu, University of Maryland
• Mingfei Yu, EPFL

IWLS 2025 Programming Contest:

The details of the IWLS 2025 programming contest will appear on the workshop website soon.