Filters








4 Hits in 2.6 sec

The FMCAD 2019 Student Forum

Grigory Fedyukovich
2019 2019 Formal Methods in Computer Aided Design (FMCAD)  
The Student Forum at the International Conference on Formal Methods in Computer-Aided Design (FMCAD) provides a platform for (under-)graduate students to introduce their research to the Formal Methods  ...  In 2019, the event took place in San Jose, California. Twenty three students were invited to give a short talk and present a poster illustrating their work.  ...  Graduate and undergraduate 1 students were invited to submit reports describing their ongoing research in the scope of the FMCAD conference.  ... 
doi:10.23919/fmcad.2019.8894257 dblp:conf/fmcad/Fedyukovich19 fatcat:wsmpodalbzberb7b64j2oo27dm

The FMCAD 2020 Student Forum [article]

Peter Schrammel, Alexander Ivrii, Ofer Strichman
2020
The Student Forum at the International Conference on Formal Methods in Computer-Aided Design (FMCAD) allows undergraduate and graduate students to introduce their research to the Formal Methods community  ...  Eight students were invited to give a short talk and discuss their work with their peers and FMCAD attendees.  ...  Abstract-The Student Forum at the International Conference on Formal Methods in Computer-Aided Design (FMCAD) allows undergraduate and graduate students to introduce their research to the Formal Methods  ... 
doi:10.34727/2020/isbn.978-3-85448-042-6_6 fatcat:5wptu7tk2vgkboffvv7hih7aji

Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue

2020
The membership consisted of senior and junior researchers, including graduate students, post-doctoral researchers, and industry experts.  ...  Heidelberg Laureate Forum Participant Talk Animesh Chaturvedi (PhD student, IIT Indore) who was attending the Heidelberg Laureate Forum (2019) was invited by Schloss Dagstuhl -Leibniz Center to attend  ...  as the Tutte polynomial and its many variations and instantiations, the matching polynomial, the interlace polynomial and the cover polynomial.  ... 
doi:10.4230/dagrep.9.9 fatcat:yxieovrp4zbxvhjyyiah6znqxm

Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [article]

Formal Methods In Computer Aided Design, Austin, The University Of Texas At, Austin, The University Of Texas At, Nikolaj Bjørner, Arie Gurfinkel
2019
We discuss how we can take advantage of the structure of neural networks in the search procedure.  ...  Verifying whether a neural network fulfills these properties sheds light on the properties of the function that it represents.  ...  Acknowledgements: We thank Natalia Gavrilenko for constructive feedback on the manuscript and the tool implementation. Acknowledgements: We thank the reviewers for helpful comments.  ... 
doi:10.26153/tsw/2167 fatcat:wstjih5duveh5nil62swinyx2m