Update news.toml

Added Pallas as a news item.

data/news.toml

@@ -405,3 +405,8 @@ content = """
 > **Marieke Huisman** will give an invited talk at the iFM PhD Symposium. The title of her presentation is **"A verification journey: from sequential Java programs to massively-parallel GPU code"**.
 """
 
+["A new VerCors project: **Pallas**"]
+date = "2023-11-02"
+content = """
+> Pallas (Program Analysis for LLVM-IR and All its Source languages) is a new project involving VerCors. Pallas aims for a universal approach to ensure correctness in programming languages based on LLVM, simplifying verification tech development. This is crucial given software's pivotal role in our lives, where failures can lead to disasters and financial losses. Software developers urgently seek techniques to improve quality, especially formal verification to prevent errors. Pallas tackles integration challenges by creating deductive program verification for LLVM-IR, applicable to any programming language that compiles to this format.
+"""