29th International Workshop on Logic and Synthesis (IWLS)
July 27-30, 2020


Message from the General Chair

Dear IWLS contributors, attendees and enthusiasts,

Due to the current situation, IWLS is also going to embark into the virtual experience. It is the main focus of the organizing committee to provide a way to exchange new ideas and promote logic synthesis in the most engaging way, while accounting for the challenges of having colleagues all over the world. The modalities of the virtual transition will be communicated in due time.IWLS has always been an exemplary workshop for early scientific dissemination and exchange. As such, we would welcome any advices and recommendations that our community might have to make the first virtual IWLS a successful event.

Please feel free to reach out directly to the general chair, Pierre-Emmanuel Gaillardon (pierre-emmanuel.gaillardon@utah.edu) for any ideas.

Best wishes,
Pierre-Emmanuel Gaillardon, on behalf of the IWLS 2020 organizing committee

Your Session Instructions as a Speaker at Virtual IWLS

Thank you for participating in virtual IWLS 2020. Below please find information, IWLS presentation guidelines and best practices to prepare your virtual video presentation.

Each session will be a pre-recorded video with a live chat discussion with the audience following each presentation. Every presenter is required to be at their session for the entire time of the scheduled session and required to participate in the live chat discussion.

The final program scheduler is under planning. At the same time, we have provided a list of useful links below:

  1. Record a zoom meeting: https://support.zoom.us/hc/en-us/articles/201362473-Local-recording
  2. Upload a video to youtube: https://iwls20.cade.utah.edu/videos/

Important Dates

It is mandatory to register a paper by submitting an abstract before the deadline below.

Paper abstract submission: April 17, 2020 May 1st, 2020 (extended)
Full paper submission: April 24, 2020 May 8th, 2020 (extended)
Notification of acceptance: June 16, 2020
Final version due: July 3, 2020

Submission Instructions

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.

IWLS 2020 Programming Contest: Machine Learning + Logic Synthesis

In 2020, the IWLS organizing committee set up a programming contest. To participate, please follow these steps:
  1. Read the contest description and download the benchmark
  2. Write a computer program to learn an unknown boolean function from a training set consisting of input-output pairs.
  3. Test your solution using the provided validation set. Notice that we will evaluate your function not on the validation set, but on a private test set.
  4. Submit both the program used to generate AIGs given the training data as well as the actual AIG files for each benchmark no later than June 12, 2020 June 26, 2020.
Submission instructions:
  1. Please submit your solution to iwls.contest.2020@gmail.com no later than the contest deadline.
  2. Please feel free to include external links (e.g., Google Drive, GitHub) containing your solution.
  3. Please include the information about the team (participants' names and affiliations) in the submission.
  4. Please include a brief description of your solution.
The submission deadline is extended to June 26, 2020.

Organizing Committee

General Chair Pierre-Emmanuel Gaillardon University of Utah, USA
Program Chairs Luca Amaru / Heinz Riener Synopsys, USA / EPFL, Switzerland
Programming Contest Chair Gai Liu Xilinx Inc, USA
Special Session Chair Tsung-Yi Ho NTHU, Taiwan
Finance Chair Cunxi Yu University of Utah, USA
Proceedings Chair Zhufei Chu Ningbo University, China
Publicity Chair Tsung-Wei Huang University of Utah, USA
Local Chair Vinicius Callegaro Mentor, a Siemens Business, USA

Technical Program Committee

Luca Amaru Synopsys, USA
Anna Bernasconi University of Pisa, Italy
Vinicius Callegaro Mentor, a Siemens business, USA
Kai-Hui Chang Avery Design Systems, USA
Mihir Choudhury IBM T. J. Watson, USA
Zhufei Chu Ningbo University, China
Sabya Das Synopsys, USA
Rolf Drechsler University of Bremen, Germany
Elena Dubrova KTH, Sweden
Stephen Edwards Columbia University, USA
Petr Fiser CTU, Czech Republic
Masahiro Fujita University of Tokyo, Japan
Pierre-Emmanuel Gaillardon University of Utah, USA
Tsung-Yi Ho NTHU, Taiwan
Tsung-Wei Huang University of Utah, USA
Paolo Ienne EPFL, Switzerland
Hui-Ru Iris Jiang National Taiwan University, Taiwan
Jie-Hong Roland Jiang National Taiwan University, Taiwan
Victor Kravets IBM T. J. Watson, USA
Gai Liu Xilinx Inc, USA
Felipe Marranghello Synopsys, USA
Mayler Martins Mentor, a Siemens business, USA
Jody Matos Silvaco, USA
Alan Mishchenko UC Berkeley, USA
Augusto Neutzling Cadence, UK
Elie EI Aaraj Cadence, USA
Vinicius Possani Synopsys, USA
Madhura Purnaprajna Amrita University, India
Weikang Qian Shanghai Jiao Tong University, China
Andre Inacio Reis UFRGS, Brazil
Heinz Riener EPFL, Switzerland
Tsutomu Sasao Meiji University, Japan
Mathias Soeken Microsoft, USA
Dirk Stroobandt Ghent University, Belgium
Tiziano Villa Universita' di Verona, Italy
Robert Wille Johannes Kepler U., Austria
Cunxi Yu University of Utah, USA
Zhiru Zhang Cornell University, USA

Join the IWLS Mailing List

The list is hidden and only its administrator can post to it

Related Conferences

ICCAD: International Conference on Computer-Aided Design

DATE: Design, Automation and Test in Europe

ASPDAC: Asia and South Pacific Design Automation Conference

DAC: Design Automation Conference

ISPD: International Symposium on Physical Design

ISLPED: International Symposium on Low Power Electronics and Design

IWBDA: International Symposium on Bio-Design Automation