Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
lat [2011/03/01 20:53]
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       - 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/​       - 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 ===== ===== 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) **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]]   - //​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)]] [[http://​www.imar.ro/​~purice/​SNS/​homepage/​index_eng.php3|Scoala Normala Superioara Bucharest (SNSB)]]