posted by user: charlotte || 2277 views || tracked by 4 users: [display]

IWLS 2015 : International Workshop on Logic & Synthesis

FacebookTwitterLinkedInGoogle

Link: http://www.iwls.org/iwls2015/
 
When Jun 12, 2015 - Jun 13, 2015
Where Mountain View, CA
Abstract Registration Due Mar 14, 2015
Submission Deadline Mar 20, 2015
Notification Due Apr 17, 2015
Final Version Due May 8, 2015
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 2019   First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
JEDT 2019   International Journal of Electronic Design and Test
17th ICTEL September Barcelona 2020   17th ICTEL 2020 – International Conference on Teaching, Education & Learning, 31 Aug -01 Sep, Barcelona
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
ARCI 2021   Automation, Robotics & Communications for Industry 4.0: 1st IFSA Winter Conference
11th ICTEL June, Paris 2020   11th ICTEL 2020 – International Conference on Teaching, Education & Learning, 08-09 June, Paris
SS DNAP IJCNN 2020   Special Session on Deep Neural Audio Processing at IEEE WCCI/IJCNN 2020