From 090535c1c20527f87fedb70a9f6d35a267d4d212 Mon Sep 17 00:00:00 2001 From: nianzelee Date: Thu, 4 Apr 2024 17:58:09 +0200 Subject: [PATCH] Minor tweak --- _pages/about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_pages/about.md b/_pages/about.md index 20aee2a05c836..ec355531cbe7f 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -11,7 +11,7 @@ redirect_from: ## News - 2024-03-28: Our grant proposal is approved by the German Research Foundation (DFG)! - We are hiring a Ph.D. student to work on [bridging hardware and software formal verification](files/2024-04-07_COOP24_Bridging_Hardware_Software_Formal_Verification_Nian-Ze.pdf)! + We are hiring a Ph.D. student to work on [bridging hardware and software formal verification](files/2024-04-07_COOP24_Bridging_Hardware_Software_Formal_Verification_Nian-Ze.pdf). - 2024-02-27: Our paper _Augmenting interpolation-based model checking with auxiliary invariants_ is accepted at [SPIN 2024](https://spin-web.github.io/SPIN2024/). - 2023-12-22: Our paper _Btor2-Cert: A certifying