Skip to content

Commit 3c266bd

Browse files
committed
update news
1 parent 5af8706 commit 3c266bd

1 file changed

Lines changed: 9 additions & 1 deletion

File tree

_pages/about.md

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,14 +15,22 @@ For full details, please see my CV.
1515

1616
### News
1717

18+
- 04/2026 – Paper on TLA+ model checking accepted for publication at [CAV'26].
19+
- 04/2026 – Paper on certified Horn solving accepted for publication at [CAV'26].
20+
- 04/2026 – [ARC'26] paper on CGRA compilation received Best Paper Award.
21+
- 03/2026 – Paper on CGRA compilation accepted for publication at [ARC'26].
1822
- 12/2025 – Paper on SMT-based approximate logic synthesis published in [IEEE TCAD].
1923
- 11/2025 – Co-organising the Formal Methods track of [NWO ICT.OPEN 2026] (together with [Valentina Castiglioni]).
20-
- 11/2025 – Gave an invited talk on Validation of CHC Solving Results at [NetTCS].
24+
- 11/2025 – Gave an invited talk on validation of CHC solving results at [NetTCS].
25+
- 11/2025 – Paper on approximate multiplier generation accepted for publication at [DATE'26].
2126
- 10/2025 – Joined the program committee of [FORTE'26].
2227
- 09/2025 – Joined the University of Groningen as an Assistant Professor!
2328

29+
[CAV'26]: https://conferences.i-cav.org/2026
30+
[ARC'26]: https://www.arc2026.org
2431
[IEEE TCAD]: https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=43
2532
[Valentina Castiglioni]: https://sites.google.com/view/valentinacastiglioni
2633
[NWO ICT.OPEN 2026]: https://ictopen.nl
2734
[NetTCS]: https://nettcs.cs.ru.nl
35+
[DATE'26]: https://date26.date-conference.com
2836
[FORTE'26]: https://www.discotec.org/2026/forte

0 commit comments

Comments
 (0)