Neuigkeit vom 18. Februar 2016

11. EMCL Workshop

Am 11. und 12. Februar fand der 11. Workshop der EMCL-Studenten in Wien statt.

Der Workshop wurde durch die Studenten des Europäischem Master Programm in Computational Logic der Universitäten Bozen, Dresden, Wien und Lissabon selbst organisiert und beinhaltete Vorträge der Studierenden, Alumni, Doktoranten und anderer Wissenschaftler über ihre Forschungsprojekte. Am Workshop nahmen Studenten aus mehr als 21 Nationen teil. Dabei wurde der Best Master Thesis Award 2015 an Adrian Rebola Pardo für seine Arbeit über die Generierung von Beweisen in SAT Solvern verliehen.

Abgerundet wurde der Workshop mit einer Tour durch die Stadt zur Domkirche St. Stephan und einem gemeinsamen Abendessen in dem ansässigen Lokal Die Halle.

www.emcl-study.eu