posted by organizer: jmamatos || 1121 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 2019   First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SLIE 2020   Semantic, Logics, Information Extraction and AI
History of Logic 2019   History of Logic and its Modern Interpretation
IJESA 2019   International Journal of Embedded Systems and Applications
KRR@SAC 2020   Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
ALC 2019   The Sixteenth Asian Logic Conference
IPPR 2020   6th International Conference on Image Processing and Pattern Recognition
ParaFPGA 2019   Parallel Computing with FPGAs
ZJULogAI 2020   Zhejiang Conferences on Logics in Artificial Intelligence
CREATIVITY 2019   1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday