@@ -15,24 +15,26 @@ For full details, please see my CV.
1515
1616### News
1717
18+ - 06/2025 &ndash ; Gave a talk on Horn solving certificates at [ DFMD'26] .
1819- 05/2026 &ndash ; Joined the program committee of [ SEFM'26] .
1920- 04/2026 &ndash ; Two papers, on TLA+ model checking and on certified Horn solving, accepted for publication at [ CAV'26] .
2021- 04/2026 &ndash ; [ ARC'26] paper on CGRA compilation received Best Paper Award.
2122- 03/2026 &ndash ; Paper on CGRA compilation accepted for publication at [ ARC'26] .
2223- 12/2025 &ndash ; Paper on SMT-based approximate logic synthesis published in [ IEEE TCAD] .
2324- 11/2025 &ndash ; Co-organising the Formal Methods track of [ NWO ICT.OPEN 2026] (together with [ Valentina Castiglioni] ).
24- - 11/2025 &ndash ; Gave an invited talk on validation of CHC solving results at [ NetTCS] .
25+ - 11/2025 &ndash ; Gave a talk on validation of CHC solving results at [ NetTCS] .
2526- 11/2025 &ndash ; Paper on approximate multiplier generation accepted for publication at [ DATE'26] .
2627- 10/2025 &ndash ; Joined the program committee of [ FORTE'26] .
2728
2829[ comment ] : < > ( - 09/2025 &ndash ; Joined the University of Groningen as an Assistant Professor! )
2930
31+ [ DFMD'26 ] : https://conf.researchr.org/home/dfdm-2026
32+ [ SEFM'26 ] : https://sefm-conference.github.io/2026
3033[ CAV'26 ] : https://conferences.i-cav.org/2026
3134[ ARC'26 ] : https://www.arc2026.org
3235[ IEEE TCAD ] : https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=43
3336[ Valentina Castiglioni ] : https://sites.google.com/view/valentinacastiglioni
3437[ NWO ICT.OPEN 2026 ] : https://ictopen.nl
3538[ NetTCS ] : https://nettcs.cs.ru.nl
3639[ DATE'26 ] : https://date26.date-conference.com
37- [ FORTE'26 ] : https://www.discotec.org/2026/forte
38- [ SEFM'26 ] : https://sefm-conference.github.io/2026
40+ [ FORTE'26 ] : https://www.discotec.org/2026/forte
0 commit comments