news update

Author: rodrigo7491

_pages/about.md

@@ -15,9 +15,9 @@ For full details, please see my CV.
 
 ### News
 
-- 12/2025 – Paper on SMT-based approximate logic synthesis published at [IEEE TCAD].
+- 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 – 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!