<div class="csl-bib-body">
<div class="csl-entry">Schindler, T., & Lee A. Barnett. (2026). The FMCAD 2026 Student Forum. In B. Dutertre & B. Könighofer (Eds.), <i>Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026</i> (pp. 5–6). TU Wien Academic Press. https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_5</div>
</div>
The Student Forum at the International Conference on Formal Methods in Computer–Aided Design (FMCAD) gives undergraduate and graduate students the opportunity to introduce their research to the formal methods community and receive feedback. In 2026, the event took place in Graz, Austria. Eighteen students were invited to give a short talk and present a poster of their work.
en
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
formal methods
en
dc.subject
computer-aided system design
en
dc.subject
hardware and system verification
en
dc.title
The FMCAD 2026 Student Forum
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34727/2026/isbn.978-3-85448-093-8_5
-
dc.contributor.affiliation
University of Basel (Basel, CH)
-
dc.contributor.affiliation
Amazon (United States), United States of America (the)
-
dc.contributor.editoraffiliation
Amazon Web Services
-
dc.contributor.editoraffiliation
Graz University of Technology (Graz, AT)
-
dc.relation.isbn
978-3-85448-093-8
-
dc.description.volume
7
-
dc.description.startpage
5
-
dc.description.endpage
6
-
dc.rights.holder
the authors
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2708-7824
-
tuw.booktitle
Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026
-
tuw.peerreviewed
true
-
tuw.relation.ispartof
10.34727/2026/isbn.978-3-85448-093-8
-
tuw.relation.publisher
TU Wien Academic Press
-
tuw.book.chapter
5
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
20
-
tuw.publication.orgunit
E000 - Technische Universität Wien
-
dc.identifier.libraryid
AC17999069
-
dc.description.numberOfPages
2
-
tuw.relation.ispartoftuwseries
Conference Series: Formal Methods in Computer-Aided Design
-
tuw.author.orcid
0000-0002-7462-8445
-
tuw.author.orcid
0000-0003-1282-8596
-
dc.contributor.serieseditor
Weissenbacher, Georg
-
dc.contributor.serieseditor
Hunt, Warren A., Jr.
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.editor.orcid
0000-0002-6284-380X
-
tuw.editor.orcid
0000-0001-5183-5452
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.grantfulltext
open
-
crisitem.author.dept
University of Basel, Switzerland
-
crisitem.author.dept
Amazon (United States), United States of America (the)
