Helmut Veith Stipend: Announcement
It is our pleasure to announce Alina Ehart as the seventh recipient of the Helmut Veith Stipend for Female Master’s Students in Computer Science, submission period November 2022.
Alina has a Bachelor’s degree in Applied Computer Science with a focus on cyber security from Alpen-Adria-Universität Klagenfurt. Due to her previous studies of information technology at HTBLuVA […]
LogicLounge 2023: Exploring Connections: Wittgenstein, Gödel, and ChatGPT
Exploring Connections: Wittgenstein, Gödel, and ChatGPT
Tuesday, June 6, 2023 at 16:00
Call for nominations: VCLA International Student Awards
The deadline for the Call for Nominations for the seventh edition of the VCLA International Student Awards 2023 has been extended to April 11!
The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the […]
Vienna Ball of Sciences 2023
Saturday, January 28, 2023 at 20:00
Viktoriia Korchemna awarded Helmut Veith Stipend
Friday, October 18, 2019
“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS
Deadline: November 30, 2018: Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science
ÖCG Public Lecture: Intelligent Mobility (German)
Wednesday, November 28, 2018 at 18:00 s.t.
Talks at the Federated Logic Conference – FLoC 2018 and affiliated events
Talks being given as part of FLoC 2018 by the faculty and PhD candidates of the FWF-funded doctoral college Logical Methods in Computer Science – LogiCS are sorted by the title of the paper.
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564
Jens […]
Fully funded PhDs: Logical Methods in Computer Science – LogiCS
Logic in Austria
