Differences

This shows you the differences between two versions of the page.

--- lat [2011/03/01 20:51]
jobstman
+++ lat [2012/01/09 15:24] (current)
radu.iosif
@@ Line 38: / Line 38: @@
       - The Gastex Package for Latex : http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html
       - GAVS+: An Open Platform for the Research of Algorithmic Game Solving: http://www6.in.tum.de/~chengch/gavs/
+===== ENS Lyon Course on Automata-Theoretic Model Checking =====
+[[http://www.ens-lyon.fr/DI/?p=2320|ER01 : vérification et certification du logiciel]]
+**Slides**
+     - First part: {{:mc1.pdf|mc1.pdf}}
+     - Second part: {{:mc2.pdf|mc2.pdf}}
+     - Related software: http://www-verimag.imag.fr/~iosif/jcat
 ===== Ecole Doctorale Grenoble =====
+[[http://edmstii.ujf-grenoble.fr/|Ecole Doctorale Mathématiques, Sciences et Technologies de l'Information, Informatique]]
 **Slides for lectures on game theory** (23/11/2010 and 30/11/2010)
@@ Line 45: / Line 56: @@
   - //Tuesday//, 30/11/2010, [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/4_parity.pdf|Parity Games]], [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/5_games_and_trees.pdf|Relationship between Games and Tree Automata]]
-===== SNBS =====
+===== SNSB Bucharest =====
 [[http://www.imar.ro/~purice/SNS/homepage/index_eng.php3|Scoala Normala Superioara Bucharest (SNSB)]]
@@ Line 59: / Line 70: @@
 **Outline of the second week** (24/05/2010 - 29/05/2010) :
-  - //Monday.// Automata on Finite Trees {{w2_mon.pdf}} (4h, Radu Iosif)
+  - //Monday.// Automata on Finite Trees {{:w2_mon.pdf|}} (4h, Radu Iosif)
-  - //Tuesday.// Automata on Infinite Trees {{w2_tue.pdf}} (4h, Radu Iosif)
+  - //Tuesday.// Automata on Infinite Trees {{:w2_tue.pdf|}} (4h, Radu Iosif)
-  - //Wednesday.// Motivation {{:snsb_course:w2_wed_1.pdf|}}, Terminology {{:snsb_course:w2_wed_2.pdf|}}, Reachability and Buchi games {{:snsb_course:w2_wed_3.pdf|}} (4h, Barbara Jobstmann)
+  - //Wednesday.// Motivation {{:w2_wed_1.pdf|}}, Terminology {{:w2_wed_2.pdf|}}, Reachability and Buchi games {{:w2_wed_3.pdf|}} (4h, Barbara Jobstmann)
-  - //Thursday.// Obligation and weak-parity games {{:snsb_course:w2_thu_1.pdf|}}, Parity games {{:snsb_course:w2_thu_2.pdf|}} (4h, Barbara Jobstmann)
+  - //Thursday.// Obligation and weak-parity games {{:w2_thu_1.pdf|}}, Parity games {{:w2_thu_2.pdf|}} (4h, Barbara Jobstmann)
-  - //Friday.// Games and tree automata {{:snsb_course:w2_fri_1.pdf|}}, Quantitative Verification and Synthesis {{:snsb_course:quantitative-synthesis-p4.pdf|}}, Mean-payoff games {{:snsb_course:w2_fri_3.pdf|}} (4h, Barbara Jobstmann)
+  - //Friday.// Games and tree automata {{:w2_fri_1.pdf|}}, Quantitative Verification and Synthesis {{:quantitative-synthesis-p4.pdf|}}, Mean-payoff games {{:w2_fri_3.pdf|}} (4h, Barbara Jobstmann)
   - //Saturday.// Integer Arithmetic, Presburger Arithmetic and Semilinear Sets {{presburger-slide.pdf}}. Definability and Recognizability {{recognizable-slide.pdf}} (4h, Radu Iosif)