Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start [2012/04/01 12:51] enric.rodriguez.carbonell |
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 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 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]] | ||
* **[[Tallinn12|Tallinn 2012]]** meeting collocated with **[[http://www.etaps.org/|ETAPS]] 2012** and organized by **[[http://users.ics.tkk.fi/kepa/|Keijo Heljanko]]** and **[[http://yquem.inria.fr/~herbelin/|Hugo Herbelin]]** | * **[[Tallinn12|Tallinn 2012]]** meeting collocated with **[[http://www.etaps.org/|ETAPS]] 2012** and organized by **[[http://users.ics.tkk.fi/kepa/|Keijo Heljanko]]** and **[[http://yquem.inria.fr/~herbelin/|Hugo Herbelin]]** | ||
- | * **[[Manchester12|Manchester 2012]]** meeting organized by Viktor Kuncak in collaboration with the VERIFY workshop, collocated with [[http://ijcar.cs.manchester.ac.uk/|IJCAR 2012]] and part of the [[http://www.mathcomp.leeds.ac.uk/turing2012/|2012 Alan Turing year]] celebration | + | * **[[Manchester12|Manchester 2012]]** in collaboration with the VERIFY workshop, collocated with [[http://ijcar.cs.manchester.ac.uk/|IJCAR 2012]] and part of the [[http://www.mathcomp.leeds.ac.uk/turing2012/|2012 Alan Turing year]] celebration |
+ | * **[[Haifa12|Haifa 2012]]** meeting organized by **Eran Yahav** and **Armin Biere** | ||
+ | * **[[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 43: | 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 75: | Line 81: | ||
* Mr Ronald Toegl | * Mr Ronald Toegl | ||
* Mr Markus Rabe | * Mr Markus Rabe | ||
+ | * Dr Corneliu Popeea | ||
+ | * 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 105: | 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 141: | 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 157: | 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 171: | 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 | ||
- |