From 9651209faf7ad4045fcbc4b9c80c5bf54c0e52c1 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 7 Nov 2019 16:39:49 +0100
Subject: [PATCH] Teaching, removes dead links

---
 dokuwiki/teaching.md | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/dokuwiki/teaching.md b/dokuwiki/teaching.md
index 40ca439a..08fcfc2e 100644
--- a/dokuwiki/teaching.md
+++ b/dokuwiki/teaching.md
@@ -1,6 +1,6 @@
----
-layout: clean_page
----
+---
+layout: clean_page
+---
 # Frama-C in teaching
 
 This page lists various courses that are using Frama-C in their lab
@@ -8,8 +8,6 @@ lessons.
 
 ## In English
 
-  - [University of Iowa: Formal Methods in Software
-    Engineering](http://homepage.divms.uiowa.edu/~pgaroche/181/syllabus.shtml)
   - [University of Minho: Formal Methods in Software
     Engineering](http://mei.di.uminho.pt/?q=en/1112/mfes-uk)
   - [University College London: Language-based
@@ -20,12 +18,8 @@ lessons.
   - [ENSIIE Evry: Static Analysis of Programs](/dokuwiki/ensiie.html)
   - [École Polytechnique: Initiation to Program
     Proof](http://www.enseignement.polytechnique.fr/profs/informatique/Sylvie.Putot/Enseignement/SemantiqueValidation/TP6.html)
-  - [ENSI Bourges: Specification and Test of
-    Applications](http://enseignement.ensi-bourges.fr/ects/modules/fiche.php?id=2513&lang=fr)
 
 ## In other languages
 
-  - [Humboldt University Berlin: Deductive Verification (in
-    German)](http://www2.informatik.hu-berlin.de/~hs/Lehre/2011-WS_SWV1/index.html)
   - [Moscow State University: Formal Specification and Verification (in
     Russian)](http://sed.ispras.ru/fmprac)
-- 
GitLab