The Coq mailing list

[Yiyu Shi <yshi4 AT nd.edu>]

[Apologies if you receive multiple copies of this email]

 

ACM Student Research Competition at ICCAD 2015 (SRC@ICCAD'15)

DEADLINE: August 21, 2015 


Online Submission: https://www.easychair.org/conferences/?conf=srciccad15

 

Sponsored by Microsoft Research, the ACM Student Research Competition is an internationally recognized venue enabling undergraduate and graduate students who are ACM members to:

•       Experience the research world -- for many undergraduates this is a first!

•       Share research results and exchange ideas with other students, judges, and conference attendees

•       Rub shoulders with academic and industry luminaries

•       Understand the practical applications of their research

•       Perfect their communication skills

•       Receive prizes and gain recognition from ACM and the greater computing community.

The ACM Special Interest Group on Design Automation (ACM SIGDA) is organizing such an event in conjunction with the International Conference on Computer Aided Design (ICCAD). Authors of accepted submissions will get travel grants from ACM/Microsoft to attend the event at ICCAD. The event consists of several rounds, as described at http://www.acm.org/src/participate.html and http://www.acm.org/src/about.html , where you can also find more details on student eligibility and timeline.
 
The first-place winner in the graduate category at SRC@ICCAD'14, Shupeng Sun(Carnegie Mellon University), also won second place in the 2015 ACM SRC Grand Finals: http://src.acm.org.
 


Details on abstract submission:
Research projects from all areas of design automation are encouraged. The author submitting the abstract must still be a student at the time the abstract is due. Each submission should be made on the EasyChair submission site. Please include the author's name, affiliation, postal address, and email address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract (maximum 2 pages or 800 words) containing the following sections:

•       Problem and Motivation: This section should clearly state the problem being addressed and explain the reasons for seeking a solution to this problem.

•       Background and Related Work: This section should describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. Reference lists do not count towards the limit on the length of the abstract.

•       Approach and Uniqueness: This section should describe your approach in attacking the problem and should clearly state how your approach is novel.

•       Results and Contributions: This section should clearly show how the results of your work contribute to computer science and should explain the significance of those results. Include a separate paragraph (maximum of 100 words) for possible publication in the conference proceedings that serves as a succinct description of the project.

•       Single paper summaries (or just cut & paste versions of published papers) are inappropriate for the ACM SRC. Submissions should include at least one year worth of research contributions, but not subsuming an entire doctoral thesis load.

Note that this event is different than other ACM/SIGDA sponsored or supported events at DAC or ICCAD: YSSP brings together seniors and 1st year graduate students at DAC, UBooth features demos from research groups, DASS allows graduate students to get up to speed on lectures on design automation, while the PhD Forum showcases post-proposal PhD research at DAC and the CADathlon allows graduate students to compete in a programming contest at ICCAD. The ACM Student Research Competition allows both graduate and undergraduate students to discuss their research with student peers, as well as academic and industry researchers, in an informal setting, while enabling them to attend DAC and compete with other ACM SRC winners from other computing areas in the ACM Grand Finals. Travel grant recipients cannot receive travel support from any other ICCAD or ACM/SIGDA sponsored program.
 


Online Submission - EasyChair:
https://www.easychair.org/conferences/?conf=srciccad15
 


Important dates:


Abstract submission deadline:  August 21, 2015


Acceptance notification: September 25, 2015


Poster session at ICCAD: Monday, November 2, 2015


Presentation session at ICCAD: Tuesday, November 3, 2015


Award winners announced at ACM SIGDA Dinner: Tuesday, November 3, 2015


Grand Finals winners honored at ACM Awards Banquet: June 2016
 


Requirement:
Students submitting and presenting their work at SRC@ICCAD'15 are required to be members of both ACM and ACM SIGDA.
 


Organizers:


Tsung-Yi Ho (National Tsing Hua University, Taiwan)


Yiyu Shi (University of Notre Dame, United States)

-- 
Yiyu Shi, Ph.D.,
Associate Professor,
Department of Computer Science and Engineering & Department of Electrical Engineering, 

University of Notre Dame, 
384 Fitzpatrick Hall,  
Notre Dame, IN, 46556, 
Phone: 001-574-631-8321   Fax: 001-574-631-9260
Email: yshi4 AT nd.edu
Website: http://ece.mst.edu/~yshi