more bib entries

tinelli · tinelli · commit 4770050acd9e · 2025-04-13T18:11:01.000-05:00
diff --git a/_news/Tinelli-CADE-23.md b/_news/Tinelli-CADE-23.md
@@ -0,0 +1,8 @@
+---
+title: Tinelli keynote speaker at SAT 2024
+date: 2024-05-25
+author: Cesare Tinelli
+layout: post
+---
+
+Prof. Tinelli was a co-chair of the [CADE 29](https://easyconferences.eu/cade2023/), the 29th International Conference on Automated Deduction, in Rome, Italy.
diff --git a/_news/Tinelli-FMiF-PI-meeting.md b/_news/Tinelli-FMiF-PI-meeting.md
@@ -5,4 +5,4 @@ author: Cesare Tinelli
 layout: post
 ---
 
-CLC hosted the [2024 Formal Methods in the Field PI meeting](https://cs.uiowa.edu/fmitf24).
+CLC organized and hosted the [2024 PI meeting](https://cs.uiowa.edu/fmitf24) of NSF's [Formal Methods in the Field](https://www.nsf.gov/funding/opportunities/fmitf-formal-methods-field/505518/nsf24-509) program.
diff --git a/_news/Tinelli-SAT-24.md b/_news/Tinelli-SAT-24.md
@@ -5,4 +5,4 @@ author: Cesare Tinelli
 layout: post
 ---
 
-Prof. Tinelli was a [keynote speaker](https://satisfiability.org/SAT24/speakers.php) at [SAT 2024](https://satisfiability.org/SAT24/), the 27th International Conference on Theory and Applications of Satisfiability Testing.
+Prof. Tinelli was a [keynote speaker](https://satisfiability.org/SAT24/speakers.php) at [SAT 2024](https://satisfiability.org/SAT24/), the 27th International Conference on Theory and Applications of Satisfiability Testing, in Pune, India.
