posted by user: charlotte || 2217 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
MEIJ 2019   Mechanical Engineering: An International Journal
IICSEEHawaii 2020   The 4th IAFOR International Conference on Sustainability, Energy & the Environment – Hawaii
JEDT 2019   International Journal of Electronic Design and Test
3rd ICSTR Barcelona September 2020   3rd ICSTR Barcelona – International Conference on Science & Technology Research, 03-04 September 2020
17th ICTEL September Barcelona 2020   17th ICTEL 2020 – International Conference on Teaching, Education & Learning, 31 Aug -01 Sep, Barcelona
3rd ICSTR Budapest July 2020   3rd ICSTR Budapest – International Conference on Science & Technology Research, 03-04 July 2020
3rd Barcelona ICSSH September 2020   3rd Barcelona – International Conference on Social Science & Humanities (ICSSH), 01-02 September 2020
XVIth ICBELLP September Barcelona 2020   2020 – XVIth International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), September 02-03, Barcelona
13th ICTEL Bangkok July, 2020   13th ICTEL 2020 – International Conference on Teaching, Education & Learning, 13-14 July, Bangkok