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 [2012/11/17 16:39]
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 31: Line 33:
   * **[[SVARM10|SVARM 2010]]** in Edinburgh, at [[http://​www.floc-conference.org/​|FLOC 2010]], July 20-21 (organization:​ **Paul Jackson**)   * **[[SVARM10|SVARM 2010]]** in Edinburgh, at [[http://​www.floc-conference.org/​|FLOC 2010]], July 20-21 (organization:​ **Paul Jackson**)
   * **[[Lugano|Lugano 2010]]**, October 18-19, with [[http://​fmcad10.iaik.tugraz.at/​|FMCAD 2010]] and AVM (organization:​ **Viktor Kuncak** and **Natasha Sharygina**)   * **[[Lugano|Lugano 2010]]**, October 18-19, with [[http://​fmcad10.iaik.tugraz.at/​|FMCAD 2010]] and AVM (organization:​ **Viktor Kuncak** and **Natasha Sharygina**)
-  * **[[svarm11|SVARM 2011]]** meeting, 1-3 April 2011, Saarbruecken,​ with [[http://​www.etaps.org/​|ETAPS]] (organization:​ **Rupak Majumdar** and **Bernd Finkbeiner**) [[https://​picasaweb.google.com/​barbara.jobstmann/​SVARM?​authuser=0&​authkey=Gv1sRgCNqsmMmuhZubjAE&​feat=directlink|Pictures]] [[https://​picasaweb.google.com/​barbara.jobstmann/​ETAPS?​authuser=0&​authkey=Gv1sRgCNjWlPfGhti-zwE&​feat=directlink|Pictures of social event]]+  * **[[svarm11|SVARM 2011]]** meeting, 1-3 April 2011, Saarbruecken,​ with [[http://​www.etaps.org/​|ETAPS]] (organization:​ **Bernd Finkbeiner** and **Rupak Majumdar**) [[https://​picasaweb.google.com/​barbara.jobstmann/​SVARM?​authuser=0&​authkey=Gv1sRgCNqsmMmuhZubjAE&​feat=directlink|Pictures]] [[https://​picasaweb.google.com/​barbara.jobstmann/​ETAPS?​authuser=0&​authkey=Gv1sRgCNjWlPfGhti-zwE&​feat=directlink|Pictures of social event]]
   * [[http://​www.cs.berkeley.edu/​~bodik/​dagstuhl-2011.html|Summer School on Synthesis]] ([[http://​www.dagstuhl.de/​en/​program/​calendar/​evhp/?​semnr=11322|Dagstuhl page]]), 07-12 August 2011, Dagstuhl Schloss, Germany   * [[http://​www.cs.berkeley.edu/​~bodik/​dagstuhl-2011.html|Summer School on Synthesis]] ([[http://​www.dagstuhl.de/​en/​program/​calendar/​evhp/?​semnr=11322|Dagstuhl page]]), 07-12 August 2011, Dagstuhl Schloss, Germany
   * **[[https://​sites.google.com/​site/​torino2011ic0901/​|Turin 2011]]** meeting, Oct 3-4, 2011, Turin, co-located with [[http://​foveoos2011.cost-ic0701.org/​|International Conference on Formal Verification of Object-Oriented Software]] and [[http://​fmco.liacs.nl/​|International Symposia on Formal Methods for Components and Objects]] (organization:​ **Alessandro Armando**, **Maria Paola Bonacina**, and **Luca Paolini**) [[https://​picasaweb.google.com/​barbara.jobstmann/​20111003_Torino?​authuser=0&​authkey=Gv1sRgCOupzY2Mua3AVA&​feat=directlink|Pictures]]   * **[[https://​sites.google.com/​site/​torino2011ic0901/​|Turin 2011]]** meeting, Oct 3-4, 2011, Turin, co-located with [[http://​foveoos2011.cost-ic0701.org/​|International Conference on Formal Verification of Object-Oriented Software]] and [[http://​fmco.liacs.nl/​|International Symposia on Formal Methods for Components and Objects]] (organization:​ **Alessandro Armando**, **Maria Paola Bonacina**, and **Luca Paolini**) [[https://​picasaweb.google.com/​barbara.jobstmann/​20111003_Torino?​authuser=0&​authkey=Gv1sRgCOupzY2Mua3AVA&​feat=directlink|Pictures]]
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 109: 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 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
-