posted by organizer: jmamatos || 1255 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

OVERLAY 2020   Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ICLP 2020   The 36th International Conference on Logic Programming
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
GESB 2021   Genome Engineering and Synthetic Biology (4th edition)
LABELS 2020   The 5th MICCAI Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis
CONCUR 2020   31st International Conference on Concurrency Theory
FPL 2020   30th International Conference on Field-Programmable Logic and Applications (FPL2020)
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
LPAR 2020   LPAR23 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning