posted by user: charlotte || 1889 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

CASES 2019   International Conference on Compilers, Architectures, and Synthesis for Embedded Systems
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
ICALP 2019   46th International Colloquium on Automata, Languages, and Programming
CODES+ISSS 2019   International Conference on Hardware/Software Codesign and System Synthesis
CSIP 2019   6th International Conference on Signal Processing
DEPRESSION & LITERATURE 2019   THE FACES OF DEPRESSION IN LITERATURE
LICS 2019   Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
ICTEL 2019   15th ICTEL 2019 – International Conference on Teaching, Education & Learning, 05-06 August, Istanbul
ICSTR 2019   ICSTR Istanbul – International Conference on Science & Technology Research, 08-09 August 2019
HCVS 2019   6th Workshop on Horn Clauses for Verification and Synthesis