11th EMCL Workshop
From International Center for Computational Logic
News of February 18, 2016
11th EMCL Workshop
On the 11th and 12th February, the 11th EMCL student workshop took place in Vienna (see http://www.logic.at/emcl2016/).
Students in the European Master's Program in Computational Logic of the universities in Bozen, Dresden, Vienna, and Lisbon organized the workshop. The program contains presentations by the students suggested for master theses, presentations by alumni about their continued education in PhD programs or in industry, and research talks by the partner universities. Students from more than 21 nations participated. During the workshop, the Best Master Thesis Award 2015 was given to Adrian Rebola Pardo for his thesis about the generation of proofs in SAT solvers.
The social program included a city tour to St. Stephen's Cathedral, ice skating and a dinner at Die Halle.
www.emcl-study.eu
