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

IWLS 2017 : International Workshop on Logic and Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/
 
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

website: http://www.iwls.org

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 (drechsle@informatik.uni-bremen.de)
and Robert Wille (robert.wille@jku.at).

----------------------------------------------------------------------

In 2017, the IWLS organizing committee set up a programming contest.
For more information, visit our website:
(http://www.iwls.org/iwls2017/index.php?&#contest)

----------------------------------------------------------------------

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
IBM, USA

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 2017   27th International Symposium on Logic-Based Program Synthesis and Transformation
DAFx 2017   20th International Conference on Digital Audio Effects (DAFx 17)
ICCD 2017   International Conference on Computer Design
FLOPS 2018   International Symposium on Functional and Logic Programming
ILP 2017   Inductive Logic Programming conference
IEA/AIE 2018   Industrial, Engineering & Other Applications Applied Intelligent Systems
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
CILC 2017   32nd Italian Conference on Computational Logic
TIME 2017   24th International Symposium on Temporal Representation and Reasoning
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)