This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

Invited speakers: * Natarajan Shankar * Bernhard Beckert MC members: * Viktor Kuncak, Switzerland * Andrey Rybalchenko, Germany * Barbara Jobstmann, France * Adrian Francalanza, Malta * Natasha Sharygina, Switzerland * Tobias Nipkow, Germany * Maria Paola Bonacina, Italy * Enric Rodríguez Carbonell, Spain * Stefan Ratschan, Czech Republic * Armin Biere, Austria * Reiner Hähnle, Sweden * Tomas Vojnar, Czech Republic * Predrag Janicic, Serbia * Silvia Ghilezan, Serbia * Peter Schneider-Kamp, Denmark * Tayssir Touili, France * Eran Yahav, Israel * David Jelenc, Slovenia * Leszek Pacholski, Poland (sent email) * Roderick Bloem, Austria (1st day) * Paul Jackson, UK * Ilkka Niemelä, Finland * Marius Minea, Romania * Philipp Ruemer, UK COST: * Dr. Gideon Ariely (rapporteur) * Mr. Matteo Razzanelli (Junior Science Officers, COST Office Brussels) * [[http://www.cost.esf.org/about_cost/who/profile/jamsheed_shorish|Jamsheed Shorish]]