You can now watch the recording on our VCLA youtube channel! Exploring Connections: Wittgenstein, Gödel, and ChatGPT Are you interested in Logic, Philosophy, Mathematics, Informatics, and Artificial Intelligence? Then we would like to invite you to attend our free…
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…
After a break of two years due to the pandemic, the Vienna Ball of Sciences was again held again on 28 January 2023 in the Vienna City Hall (Rathaus). It was a night of dancing, music, and …. logic riddles!…
The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
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
Modern technologies and innovations make important contributions to the design of intelligent mobility and open up great economic opportunities in the transport technology sector. In one of the current projects of Prof. Günther Raidl, new approaches are being explored, in…
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,…
Logic in Austria
This has been the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2018) at TU Wien,
