Prof. Matteo Maffei ERC-funded: Securing internet browsing with WPSE
The team gathered in the Security and Privacy Group around Prof. Matteo Maffei, and his research project ,,Browsec”
Category Uncategorized
Talks at IJCAI-ECAI-18
Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA
Report on the second SYSMICS workshop: Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.…
Fully Funded PhD Positions in LogiCS Doctoral College
NEW: Applications will be screened on the following date: September 1, 2018.
Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science
Computer systems and automation are performing more and more important functions
Einladung: Preisverleihung zum Jugend-Video-Wettbewerb „Algorithmen in 60 Sekunden“
Die Preisverleihung der insgesamt 4 Geldpreise und 2 Sachpreise in den Kategorien Unterstufe und Oberstufe findet am Donnerstag, 28.6.2018 von 13:00-15:00 unter Anwesenheit von KooperationspartnerInnen, im Festsaal (TU Wien, Karlsplatz 13, 1040 Wien) statt. Weitere Informationen folgen in Kürze.
Third Edition of the VCLA International Student Awards 2018
The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.
2nd SYSMICS Workshop on Substructural logics: semantics, proof theory, and applications
This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets semantics—Methods, interactions, and connections in substructural logics). Its program will be focused on the interactions between syntactic and semantic methods in substructural and related logics,…
Helmut Veith Symposium
Thank you for joining the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from October 2–6,…
Helmut Veith Stipend
Stipend for outstanding female students