Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start [2013/02/19 15:07] vkuncak |
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 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]]** | + | * **[[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 88: | Line 91: | ||
| * 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 118: | 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 184: | 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 | ||
| - | |||