IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
IWLS 2022 : International Workshop on Logic & Synthesis
IWLS 2022 : International Workshop on Logic & Synthesis

IWLS 2022 : International Workshop on Logic & Synthesis

Virtual
Event Date: July 18, 2022 - July 21, 2022
Abstract Submission Deadline: April 11, 2022
Submission Deadline: April 18, 2022
Notification of Acceptance: June 24, 2022
Camera Ready Version Due: July 06, 2022




Call for Papers

The International Workshop on Logic and Synthesis is the premier forum for research in
synthesis, optimization, and verification of integrated circuits ans 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; and design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are particularly encouraged.

Call for regular papers: 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 and social coffee breaks. Submissions are made electronically through EasyChair. Please see the workshop website for instructions.

Organizing Committee:
General Chair Luca Amaru Synopsys, USA
Program Committee Chairs Eleonora Testa / Valentina Ciriani Synopsys, USA / University of Milan, IT
Program Contest Chairs Alan Mishchenko / Satrajit Chatterjee University of California Berkeley, USA / Google, USA
Special Session Chair Cunxi Yu Univerisy of Utah, USA
Finance Chair Zhufei Chu Ningbo University, China
Proceedings Chair Walter Lau Neto Univerisy of Utah, USA
Publicity Chair Augusto Neutzling Cadence, UK
Virtual Chair Giulia Meuli Synopsys, IT


Summary

IWLS 2022 : International Workshop on Logic & Synthesis will take place in Virtual. It’s a 4 days event starting on Jul 18, 2022 (Monday) and will be winded up on Jul 21, 2022 (Thursday).

IWLS 2022 falls under the following areas: LOGIC, VERIFICATION, FORMAL METHODS, OPTIMIZATION, etc. Submissions for this Workshop can be made by Apr 18, 2022. Authors can expect the result of submission by Jun 24, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 6, 2022 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the IWLS 2022

  • Short Name: IWLS 2022
  • Full Name: International Workshop on Logic & Synthesis
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of IWLS 2022
  • Event Type: Workshop
  • Website Link: https://www.iwls.org/iwls2022/
  • Location/Address: Virtual


Credits and Sources

[1] IWLS 2022 : International Workshop on Logic & Synthesis


Check other Conferences, Workshops, Seminars, and Events


OTHER LOGIC EVENTS

DECLARE 2025: DECLARE 2025 - Conference on Declarative Programming
Evora, Portugal
Sep 24, 2025
SYNASC 2025: 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara
Sep 22, 2025
ICAISC 2026: International Conference on Artificial Intelligence and Soft Computing
Zakopane, Poland
Jun 14, 2026
ICLP 2024: International Conference on Logic Programming
Dallas
Oct 11, 2024
CONCUR 2024: International Conference on Concurrency Theory
Calgary, Canada
Sep 9, 2024
SHOW ALL

OTHER VERIFICATION EVENTS

SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SCID @ AsiaCCS 2024: 1st ACM workshop on Security-Centric Strategies for Combating Information Disorder
Singapore
Jul 1, 2024
SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER OPTIMIZATION EVENTS

CSoNet 2025: The 14th International Conference on Computational Data and Social Networks
Danang, Vietnam
Dec 14, 2025
ISAAC 2025: International Symposium on Algorithms and Computation
Tainan, Taiwan
Dec 7, 2025
ANTS 2026: 15th International Conference on Swarm Intelligence
Darmstadt, Germany
Jun 8, 2026
TSMO 2025: KDD-2025 Workshop on Two-sided Marketplace Optimization: Search, Discovery, Matching, Pricing & Growth
Toronto, ON
Aug 4, 2025
ACDA 2025: SIAM Conference on Applied and Computational Discrete Algorithms
Montréal, Québec, Canada
Jul 30, 2025
SHOW ALL