posted by user: charlotte || 2539 views || tracked by 6 users: [display]

IWLS 2016 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2016/
 
When Jun 10, 2016 - Jun 11, 2016
Where Austin, TX
Abstract Registration Due Mar 11, 2016
Submission Deadline Mar 18, 2016
Notification Due Apr 15, 2016
Final Version Due May 13, 2016
Categories    design automation   CAD   EDA
 

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.

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. Submissions are made electronically through EasyChair. Please see the workshop website for instructions: http://www.iwls.org.

Related Resources

OVERLAY 2020   Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SASIMI 2021   The 23rd Workshop on Synthesis And System Integration of Mixed Information Technologies
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ICDEPI-SCOPUS 2021   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2021)
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
SCOPUS-ICDES 2021   6th International Conference on Design Engineering and Science (ICDES 2021)
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CCNC 2021   IEEE Consumer Communications & Networking Conference
ICLP 2020   The 36th International Conference on Logic Programming
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome