Added news entries

tinelli · tinelli · commit 8a2ae5489ac3 · 2025-04-13T16:34:14.000-05:00
diff --git a/_news/PIMeeting.md b/_news/PIMeeting.md
diff --git a/_news/Tinelli-FMiF-PI-meeting.md b/_news/Tinelli-FMiF-PI-meeting.md
@@ -0,0 +1,8 @@
+---
+title: CLC hosts NSF FMitF PI Meeting
+date: 2024-11-12
+author: Cesare Tinelli
+layout: post
+---
+
+CLC hosted the [2024 Formal Methods in the Field PI meeting](https://cs.uiowa.edu/fmitf24).
diff --git a/_news/Tinelli-FT-24.md b/_news/Tinelli-FT-24.md
@@ -0,0 +1,8 @@
+---
+title: Tinelli invited lecturer at 13th Summer School on Formal Techniques
+date: 2024-05-25
+author: Cesare Tinelli
+layout: post
+---
+
+Prof. Tinelli gave a series of [lectures](https://fm.csl.sri.com/SSFT24/#lecturers) at the [Thirteenth Summer School on Formal Techniques](https://fm.csl.sri.com/SSFT24/) on modeling and analyzing reactive systems with logic-based symbolic model checkers.
diff --git a/_news/Tinelli-Marktoberdorf-24.md b/_news/Tinelli-Marktoberdorf-24.md
@@ -0,0 +1,8 @@
+---
+title: Tinelli invited lecturer at 2024 Marktoberdorf Summer School
+date: 2024-08-06
+author: Cesare Tinelli
+layout: post
+---
+
+Prof. Tinelli gave a series of [lectures](https://sites.google.com/view/marktoberdorf2024/talks) at the [2024 Marktoberdorf Summer School](https://sites.google.com/view/marktoberdorf2024/) on modeling and analyzing reactive systems with logic-based symbolic model checkers.
diff --git a/_news/Tinelli-SAT-24.md b/_news/Tinelli-SAT-24.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 [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.
