Category Events Sidebar

ALGO 2017 Congress on Algorithms

This September, the premier annual gathering on algorithms in Europe has taken place in the science hub of central Europe – Vienna. Congress Hosts The ALGO 2017 congress was hosted by Algorithms and Complexity Group of the Faculty of Informatics,…

Workshop on New Trends in Formal Argumentation

Database and Intelligence Group (DBAI), organized a Workshop on New Trends in Formal Argumentation supported by VCLA, taking place on August 17, 2017, bringing together researchers from several parts of the diverse field of formal argumentation in order to discuss…

LAIVe Summer School 2017

Summer school on Logic, Artificial Intelligence and Verification – LAIVe, took place at TU Wien, Vienna, Austria from July 3 – 5, 2017. LAIVe was hosted by doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for…