Vienna Center for Logic and Algorithms
506 FOLLOWERS
Explore research done in the areas of logic, philosophy, mathematics, computer science, and artificial intelligence among the general public alike. The annual reports offer a detailed overview of all VCLA activities. Vienna Center for Logic and Algorithms is an initiative of TU Wien, enhancing open academic exchange across the fields of logic and algorithms while promoting the role of computer..
Vienna Center for Logic and Algorithms
6d ago
Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00 ..read more
Vienna Center for Logic and Algorithms
3w ago
Trustable Explainable AI -- A Redemption by Logic
Tuesday, January 14, 2025 at 17:00 ..read more
Vienna Center for Logic and Algorithms
1M ago
NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30 ..read more
Vienna Center for Logic and Algorithms
1M ago
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30 ..read more
Vienna Center for Logic and Algorithms
2M ago
Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00 ..read more
Vienna Center for Logic and Algorithms
3M ago
The 8th edition of the VCLA International Student Awards 2024 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of eighteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. As the decision on the Master Thesis Award was again a close call ..read more
Vienna Center for Logic and Algorithms
3M ago
It is our pleasure to announce that the 8th edition of the Helmut Veith Stipend for Female Master’s Students in Computer Science (submission period end of November 2023) has concluded with the selection of four recipients! Seeing that the committee received an unprecedented number of qualified applications (180 submissions in total), it seemed impossible to ..read more
Vienna Center for Logic and Algorithms
3M ago
Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00 ..read more
Vienna Center for Logic and Algorithms
3M ago
Substructural Logics with Minimally True Tautologies
Friday, October 4, 2024 at 16:00 ..read more