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
start [2013/01/26 00:35]
vkuncak
start [2016/07/14 14:11] (current)
sysadmin [Mailing Lists]
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** ​
 +  * **[[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 117: Line 123:
  
 URL for configuration and archive: URL for configuration and archive:
-  * http://​laraserver.epfl.ch/​wws+  * https://​laraserver.epfl.ch/​wws
  
 ===== Experts ===== ===== Experts =====
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
-