| NSF Org: |
CCF Division of Computing and Communication Foundations |
| Recipient: |
|
| Initial Amendment Date: | March 9, 2015 |
| Latest Amendment Date: | March 9, 2015 |
| Award Number: | 1529480 |
| Award Instrument: | Standard Grant |
| Program Manager: |
Nina Amla
namla@nsf.gov (703)292-7991 CCF Division of Computing and Communication Foundations CSE Directorate for Computer and Information Science and Engineering |
| Start Date: | April 1, 2015 |
| End Date: | March 31, 2016 (Estimated) |
| Total Intended Award Amount: | $10,000.00 |
| Total Awarded Amount to Date: | $10,000.00 |
| Funds Obligated to Date: |
|
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
360 HUNTINGTON AVE BOSTON MA US 02115-5005 (617)373-5600 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
University Station Austin TX US 78712-0269 |
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): | Software & Hardware Foundation |
| Primary Program Source: |
|
| Program Reference Code(s): |
|
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
Formal Methods in Computer Aided Design (FMCAD) 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. It provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. This grant will help support conference travel for up to 10 students enrolled in US institutions to attend FMCAD in Austin, Texas, September 27-30th 2015. The students will get the opportunity to present at the Student Forum, which is a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
Formal methods is being rapidly deployed in a variety of areas both in academic research as well as in industrial systems. Thus the broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to present at the Student Forum, learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise. The organizers will give priority to students from under-represented groups and from small universities without a formal methods program.
PROJECT OUTCOMES REPORT
Disclaimer
This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.
The FMCAD 2015 Student Forum ("Student Forum") provided a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, solicit feedback, and network. The Student Forum was part of the FMCAD 2015, the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD stands out due to its interaction between industry and academia.
Students were encouraged to submit short reports describing research ideas or ongoing work (within the scope of the FMCAD conference) that the student is currently pursuing. They received (anonymous) reviews from committee members. The submissions were selected based on these reviews. The students were invited to attend the conference and present their work. Participants with accepted short reports had the opportunity to give a 5-minute talk on their work. All participants were asked to present a poster illustrating their work.
Results.
The Student Forum received 22 submissions. All submissions were of extremely high quality. 16 submissions were accepted based on evaluations of the review committee. All US-based authors of submissions were invited to attend the conference, including students with rejected submissions. 18 students in the end attended the Student Forum. 16 students gave a talk on their work in a 2 hour conference session. All 18 students presented posters on their work.
The results of the students' work were included in the FMCAD conference proceedings. The posters and slides of the students were published on the FMCAD 2015 Student Forum Website
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/student-forum.shtml
A "best contribution" was chosen based on the quality of the talk and the submitted report. The award was presented to Jiaqi Tan from Carnegie Mellon University. The awardee received a trophy and a certificate at the conference banquet. The best contribution award is also announced on the above website.
Impact.
The FMCAD 2015 Student Forum was organized to educate the next generation of verification engineers and formal methods specialists. Formal methods ensure the correct operation of software, as well as integrated circuits and electronic devices, which are widely used in safety-critical and every-day applications. The Student Forum ignited the transfer and dissemination of knowledge at an early stage, leading to more significant research results and better educated and motivated specialists, eventually resulting in superior technology.
Last Modified: 04/16/2016
Modified by: Thomas Wahl
Please report errors in award information by writing to: awardsearch@nsf.gov.
