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/01/26 00:35]
vkuncak
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)
-  * [[ntscomp|(NumericalTransition ​System Competition]]+  * [[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 153: Line 159:
   * [[http://​www.chalmers.se/​cse/​EN/​people/​claessen-koen|Koen Claessen]] (Sweden)   * [[http://​www.chalmers.se/​cse/​EN/​people/​claessen-koen|Koen Claessen]] (Sweden)
   * [[http://​www.kroening.com/​|Daniel Kröning]] (UK)   * [[http://​www.kroening.com/​|Daniel Kröning]] (UK)
-  * [[http://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] (Switzerland) ​- **Chair**+  * [[http://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] (Switzerland) ​
   * [[http://​www.cs.utt.ro/​~marius/​|Marius Minea]] (Romania)   * [[http://​www.cs.utt.ro/​~marius/​|Marius Minea]] (Romania)
   * [[http://​www.tcs.hut.fi/​~ini/​|Ilkka Niemelä]] (Finland)   * [[http://​www.tcs.hut.fi/​~ini/​|Ilkka Niemelä]] (Finland)
Line 169: Line 175:
   * [[http://​www.philipp.ruemmer.org/​|Philipp Ruemmer]] (Sweden)   * [[http://​www.philipp.ruemmer.org/​|Philipp Ruemmer]] (Sweden)
   * [[http://​www.mpi-sws.mpg.de/​~rybal/​|Andrey Rybalchenko]] (Germany)   * [[http://​www.mpi-sws.mpg.de/​~rybal/​|Andrey Rybalchenko]] (Germany)
-  * [[http://​theory.stanford.edu/​~cesar|Cesar Sanchez]] (Spain) - **Grant Holder**, MC Member+  * [[http://​theory.stanford.edu/​~cesar|Cesar Sanchez]] (Spain) - **Chair and Grant Holder**
   * [[http://​www.csl.sri.com/​users/​shankar/​|Natarajan Shankar]] (US)   * [[http://​www.csl.sri.com/​users/​shankar/​|Natarajan Shankar]] (US)
   * [[http://​www.imada.sdu.dk/​~petersk/​|Peter Schneider-Kamp]] (Denmark) [[http://​ditwww.epfl.ch/​cgi-perl/​EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=650&​plugin=9&​checkplugin=1|Talk Video]]   * [[http://​www.imada.sdu.dk/​~petersk/​|Peter Schneider-Kamp]] (Denmark) [[http://​ditwww.epfl.ch/​cgi-perl/​EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=650&​plugin=9&​checkplugin=1|Talk Video]]
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
-