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 [2013/01/26 00:36] vkuncak |
start [2013/08/01 11:41] cesar.sanchez |
||
---|---|---|---|
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 38: | Line 38: | ||
* **[[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** | ||
+ | * {{:new.png?60|new}} **[[Madrid13|Madrid 2013]]** October, 17-18, 2013. Final meeting. | ||
===== Related Competitions ===== | ===== Related Competitions ===== | ||
Line 45: | Line 47: | ||
* [[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 87: | Line 89: | ||
* Dr Ondrej Sery | * Dr Ondrej Sery | ||
* Mr Pavel Jancik | * 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 183: | Line 187: | ||
* [[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 | ||
- |