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
Last revision Both sides next revision
start [2012/11/17 16:43]
vkuncak
start [2014/01/13 15:47]
cesar.sanchez
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|(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 79: Line 83:
   * Dr Corneliu Popeea   * Dr Corneliu Popeea
   * Mr Simone Fulvio Rollini   * Mr Simone Fulvio Rollini
 +  * Dr Michael Tautschnig
 +  * Mr Michał Skrzypczak
 +  * Mr Hossein Hojjat
 +
 +Short-Term Scientific Missions in 2013:
 +
 +  * Dr Ondrej Sery
 +  * 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 145: 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 161: 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 175: 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
-