Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
start [2013/01/13 21:31] – vkuncakstart [2016/07/14 12:11] (current) – [Mailing Lists] sysadmin
Line 3: Line 3:
  
 ====== Rich-Model Toolkit ====== ====== Rich-Model Toolkit ======
 +
 +NEWS: [[Acta Informatica Special Issue]]
  
 ===== About the Initiative ===== ===== About the Initiative =====
Line 15: Line 17:
   * **[[synthesis|High-level synthesis.]]** New algorithms for synthesis from high-level specifications. Extending decision procedures to perform synthesis tasks. Connections between invariant generation and code synthesis.   * **[[synthesis|High-level synthesis.]]** New algorithms for synthesis from high-level specifications. Extending decision procedures to perform synthesis tasks. Connections between invariant generation and code synthesis.
  
-The chair of the action is [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]] and the grant holder is [[http://software.imdea.org/~cesar/|Cesar Sanchez]].+The chair and the grant holder of the action is [[http://software.imdea.org/~cesar/|Cesar Sanchez]].
  
 The Action holds general meetings typically twice a year, with one of these meetings publicized as the **SVARM** workshop. The Action holds general meetings typically twice a year, with one of these meetings publicized as the **SVARM** workshop.
Line 22: Line 24:
  
   * Verification Modulo Theories (more information available soon)   * Verification Modulo Theories (more information available soon)
-  * [[ntscomp|(Numerical) Transition 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
-