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/03 22:16]
vkuncak
start [2016/07/14 14:11]
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 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
-  * DrMichael Tautschnig +  * Dr Michael Tautschnig 
-  * Michał Skrzypczak +  * Mr Michał Skrzypczak 
-  * Hossein Hojjat+  * 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 112: 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 148: 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 164: 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 178: 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
-