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
Next revision Both sides next revision
start [2013/02/13 10:46]
radu.iosif
start [2013/11/08 15:17]
vkuncak
Line 3: Line 3:
  
 ====== Rich-Model Toolkit ====== ====== Rich-Model Toolkit ======
 +
 +NEWS: [[Acta Informatica Special Issue]]
  
 ===== About the Initiative ===== ===== About the Initiative =====
Line 22: Line 24:
  
   * Verification Modulo Theories (more information available soon)   * Verification Modulo Theories (more information available soon)
-  * [[http://​nts.imag.fr/​index.php/​Main_Page |(NumericalTransition Systems]]+  * [[http://​nts.imag.fr/​index.php/​Main_Page | Numerical Transition Systems]]
  
 ===== Meetings ===== ===== Meetings =====
Line 38: Line 40:
   * **[[Haifa12|Haifa 2012]]** meeting organized by **Eran Yahav** and **Armin Biere**   * **[[Haifa12|Haifa 2012]]** meeting organized by **Eran Yahav** and **Armin Biere**
   * **[[Rome13|Rome 2013]]** meeting organized by **Maria Paola Bonacina** and **Cesar Sanchez**   * **[[Rome13|Rome 2013]]** meeting organized by **Maria Paola Bonacina** and **Cesar Sanchez**
 +  * **[[Malta13|Malta 2013]]** meeting organized by **Gordon Pace** and **Cesar Sanchez** ​
 +  * {{:​new.png?​60|new}} **[[Madrid13|Madrid 2013]]** October, 17-18, 2013. Final meeting.
  
 ===== Related Competitions ===== ===== Related Competitions =====
Line 45: Line 49:
   * [[http://​www.termination-portal.org/​wiki/​Termination_Competition|Termination Competition]] - Proving Termination of Programs and Rewrite Systems   * [[http://​www.termination-portal.org/​wiki/​Termination_Competition|Termination Competition]] - Proving Termination of Programs and Rewrite Systems
   * [[http://​fmv.jku.at/​hwmcc10/​|HWMCC]] - Hardware Model Checking Competition   * [[http://​fmv.jku.at/​hwmcc10/​|HWMCC]] - Hardware Model Checking Competition
-  * [[ntscomp|NTS-COMP]] - Numerical Transition Systems Competition+  * [[http://​nts.imag.fr/​index.php/​Main_Page|NTS-COMP]] - Numerical Transition Systems Competition
  
 Other competitions:​ Other competitions:​
Line 87: Line 91:
   * Dr Ondrej Sery   * Dr Ondrej Sery
   * Mr Pavel Jancik   * Mr Pavel Jancik
 +  * Ondrej Lengal
 +  * Andrijana Stamenkovic
  
 [[:​internal:​stsm-guide|Guide to Application Process for IC0901 Members]] [[:​internal:​stsm-guide|Guide to Application Process for IC0901 Members]]
Line 183: Line 189:
   * [[http://​www.fit.vutbr.cz/​~vojnar/​|Tomas Vojnar]] (Czech Republic)   * [[http://​www.fit.vutbr.cz/​~vojnar/​|Tomas Vojnar]] (Czech Republic)
   * [[http://​www.cs.technion.ac.il/​people/​yahave/​|Eran Yahav]], Technion, Israel   * [[http://​www.cs.technion.ac.il/​people/​yahave/​|Eran Yahav]], Technion, Israel
-