posted by organizer: jmamatos || 1405 views || tracked by 2 users: [display]

IWLS 2017 : International Workshop on Logic and Synthesis


When Jun 17, 2017 - Jun 18, 2017
Where Austin, TX - USA
Abstract Registration Due Mar 5, 2017
Submission Deadline Mar 12, 2017
Notification Due Apr 16, 2017
Final Version Due May 14, 2017

Call For Papers

Call for Papers

The 26th International Workshop on Logic & Synthesis

sponsored by ACM/SIGDA and by the IEEE

June 17 - June 18, 2017
Thompson Conference Center, Austin, TX

Co-located with the Design Automation Conference


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 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; design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are particularly encouraged. The workshop format includes paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities. Accepted papers are distributed exclusively to IWLS participants.

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.


Paper abstract submission: March 5, 2017
Full paper submission: March 12, 2017 - 11.59pm Anywhere on earth
Notification of acceptance: April 16, 2017
Final version due: May 14, 2017

**** The submission deadline is final. ****
**** There will be no extension. ****

For questions, contact Rolf Drechsler (
and Robert Wille (


In 2017, the IWLS organizing committee set up a programming contest.
For more information, visit our website:


General Chair:
Jie-Hong Roland Jiang
National Taiwan University, Taiwan

Program Co-Chair:
Rolf Drechsler
University of Bremen/DFKI GmbH, Germany

Program Co-Chair:
Robert Wille
Johannes Kepler University Linz, Austria

Special Sessions Chair:
Pierre-Emmanuel Gaillardon
University of Utah, USA

Contest Chair:
Mathias Soeken
EPFL, Switzerland

Finance Chair:
Andre Reis
UFRGS, Brazil

Local Arrangement Chair:
Mihir Choudhury

Publicity Chair:
Jody Maick Matos
UFRGS, Brazil


Steering Committee:
Dirk Stroobandt, Ghent University, Belgium
Andre Reis, UFRGS, Brazil
Rolf Drechsler, University of Bremen/DFKI GmbH, Germany
Ilya Wagner, Intel, US
Valeria Bertacco, University of Michigan, US
Alan Mishchenko, University of California Berkeley, US


Related Resources

LOPSTR 2021   31st International Symposium on Logic-Based Program Synthesis and Transformation
CODES + ISSS 2021   International Conference on Hardware/Software Codesign and System Synthesis
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CASES 2021   International Conference on Compilers, Architectures, and Synthesis for Embedded Systems
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
FPL 2021   Field-Programmable Logic and Applications
CBIoT 2021   2nd International Conference on Cloud, Big Data and IoT
ICAISC 2021   International Conference on Artificial Intelligence and Soft Computing
ICLP 2021   The 37th International Conference on Logic Programming
GESB 2021   Genome Engineering and Synthetic Biology (4th edition)