posted by user: charlotte || 1868 views || tracked by 1 users: [display]

IWLS 2014 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2014/
 
When May 30, 2014 - Jun 1, 2014
Where San Francisco, CA
Abstract Registration Due Feb 28, 2014
Submission Deadline Mar 7, 2014
Notification Due Apr 4, 2014
Final Version Due Apr 25, 2014
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 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.

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
SCOPUS-ICDES 2021   6th International Conference on Design Engineering and Science (ICDES 2021)
ICLP 2020   The 36th International Conference on Logic Programming
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
CCNC 2021   IEEE Consumer Communications & Networking Conference
12th ICTEL 26-27 July, Bali 2021   12th ICTEL 2021 – International Conference on Teaching, Education & Learning, 26-27 July, Bali
13th ICTEL August, Amsterdam 2021   13th ICTEL 2021 – International Conference on Teaching, Education & Learning, 02-03 August, Amsterdam
2nd Amsterdam, ICSSH August 2021   2nd Amsterdam – International Conference on Social Science & Humanities (ICSSH), 03-04 August 2021
2021 – XIIth ICBELLP August, Amsterdam 2021   2021 – XIIth International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), 04-05 August, Amsterdam
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis