diff --git a/data/about.toml b/data/about.toml index 3f7c8c7..8bc194e 100644 --- a/data/about.toml +++ b/data/about.toml @@ -162,13 +162,13 @@ desc = "Correct and Efficient Accelerator Programming" url = "http://carp.doc.ic.ac.uk/external/" image = "/images/CARP.png" funding = """ -Funded by: European Commission FP7
+Funded by: European Commission FP7
Duration: December 2011 until December 2014""" [sponsors.1] name = "VerCors" desc = "Verification of Concurrent Data Structures" -url = "//fmt.ewi.utwente.nl/research/projects/view/vercors/" +url = "//www.utwente.nl/en/eemcs/fmt/research/projects/completed/vercors.html" image = "" funding = """ Funded by: European Research Council
@@ -177,7 +177,7 @@ Duration: 2011 until 2016""" [sponsors.0] name = "VerDi" desc = "Verification of Distributed Software" -url = "//fmttools.ewi.utwente.nl/research/projects/VerDi/" +url = "//www.utwente.nl/en/eemcs/fmt/research/projects/completed/verdi.html" image = "" funding = """ Funded by: NWO