Welcome
REFSQ 2010 is over and has been a great success.
Next REFSQ will take place in Essen again. We will be delighted to welcome you in May for the REFSQ 2011.
The REFSQ 2010 proceedings are published by Springer in the volume 6182 of Lecture Notes in Computer Science.