Differences

This shows you the differences between two versions of the page.

--- svarm:program [2010/07/29 12:10]
piskac
+++ svarm:program [2010/07/29 12:13]
vkuncak
@@ Line 3: / Line 3: @@
 {{:svarm:program.pdf|Program in PDF Format}}
-We are pleased to announce the program of [[:SVARM]], joint with [[http://research.ihost.com/psy2010/|PSY]] and a shared [[http://clc.cs.uiowa.edu/EMSQMS/|EMSQMS panel]]. The program includes a number of invited talks as well as well as contributed presentations.
+We are pleased to announce the program of **SVARM 2010**, joint with [[http://research.ihost.com/psy2010/|PSY]] and a shared [[http://clc.cs.uiowa.edu/EMSQMS/|EMSQMS panel]]. The program includes a number of invited talks as well as well as contributed presentations.
 SVARM is affiliated with [[http://www.floc-conference.org/CAV-home.htm|CAV]] and [[http://www.floc-conference.org/IJCAR-home.html|IJCAR]] and is part of [[http://www.floc-conference.org/|FLoC]]. It is supported by the [[http://www.cost.eu|COST]] Action [[:|Rich Model Toolkit]] (http://richmodels.org)
@@ Line 30: / Line 30: @@
 | 15:30 - 16:15 |  | [[http://clc.cs.uiowa.edu/EMSQMS/|Panel joint with Evaluation Methods for Solvers and
 Quality Metrics for Solutions]] |
-| 16:15 -    |  | Discussion after the panel |
+| 16:15 -    |  | Discussion on Quality Metrics for Solutions |
 |  |  |
 |       | | //Session Chair: Enric Rodríguez Carbonell// |