update news and about text

Author: rodrigo7491

_pages/about.md

@@ -7,24 +7,25 @@ redirect_from:
   - /about.html
 ---
 
-I am an Assistant Professor at the University of Groningen, Netherlands, investigating the use of logic as a means to ensure robustness of the systems underlying our digital infrastructure. My research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, I am interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking. My work primarily targets systems which have distribution as a key feature, including blockchains and quantum networks.
+I am an Assistant Professor at the University of Groningen, Netherlands, investigating the use of logic as a means to ensure correctness of the systems underlying our digital infrastructure. My research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, I am interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking. My work primarily targets systems which have distribution as a key feature, including blockchains and quantum networks.
 
 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.
 
 ### News
 
-- 04/2026 – Paper on TLA+ model checking accepted for publication at [CAV'26].
-- 04/2026 – Paper on certified Horn solving accepted for publication at [CAV'26].
+- 05/2026 – Joined the program committee of [SEFM'26].
+- 04/2026 – Two papers, on TLA+ model checking and on certified Horn solving, accepted for publication at [CAV'26].
 - 04/2026 – [ARC'26] paper on CGRA compilation received Best Paper Award. 
 - 03/2026 – Paper on CGRA compilation accepted for publication at [ARC'26].
 - 12/2025 – Paper on SMT-based approximate logic synthesis published in [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].
 - 11/2025 – Paper on approximate multiplier generation accepted for publication at [DATE'26].
 - 10/2025 – Joined the program committee of [FORTE'26].
-- 09/2025 – Joined the University of Groningen as an Assistant Professor!
+
+[comment]: <> (- 09/2025 &ndash; Joined the University of Groningen as an Assistant Professor!)
 
 [CAV'26]: https://conferences.i-cav.org/2026
 [ARC'26]: https://www.arc2026.org
@@ -33,4 +34,5 @@ For full details, please see my CV.
 [NWO ICT.OPEN 2026]: https://ictopen.nl
 [NetTCS]: https://nettcs.cs.ru.nl
 [DATE'26]: https://date26.date-conference.com
-[FORTE'26]: https://www.discotec.org/2026/forte
+[FORTE'26]: https://www.discotec.org/2026/forte
+[SEFM'26]: https://sefm-conference.github.io/2026