Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
start [2012/11/17 16:43] vkuncak |
start [2013/02/13 10:47] radu.iosif |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| * **[[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 22: | ||
| * 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 45: | Line 45: | ||
| * [[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 79: | ||
| * 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 | ||
| [[:internal:stsm-guide|Guide to Application Process for IC0901 Members]] | [[:internal:stsm-guide|Guide to Application Process for IC0901 Members]] | ||
| Line 145: | Line 153: | ||
| * [[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 169: | ||
| * [[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]] | ||