add news to about file

Author: rodrigo7491

_pages/about.md

@@ -11,4 +11,18 @@ I am an Assistant Professor at the University of Groningen, Netherlands, investi
 
 On a more technical note, I have experience in topics such as symbolic model checking, SMT and CHC solving, TLA+ specifications, process algebras, smart contracts, and entanglement-based networks.
 
-For full details, please see my CV.
+For full details, please see my CV.
+
+### News
+
+- 12/2025 - Paper on SMT-based approximate logic synthesis published at [IEEE TCAD].
+- 11/2025 - Co-organising the Formal Methods track of [NWO ICT.OPEN 2026] (together with [Valentina Castiglioni]).
+- 11/2025 - Gave an invited talk on *Validation of CHC Solving Results* at [NetTCS].
+- 10/2025 - Joined the program committee of [FORTE'26].
+- 09/2025 - Joined the University of Groningen as an Assistant Professor!
+
+[IEEE TCAD]: https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=43
+[Valentina Castiglioni]: https://sites.google.com/view/valentinacastiglioni
+[NWO ICT.OPEN 2026]: https://ictopen.nl
+[NetTCS]: https://nettcs.cs.ru.nl
+[FORTE'26]: https://www.discotec.org/2026/forte