Vienna Center for Logic and Algorithms
505 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
4d 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
4d ago
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30 ..read more
Vienna Center for Logic and Algorithms
1M ago
Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00 ..read more
Vienna Center for Logic and Algorithms
2M 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
2M 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
2M ago
Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00 ..read more
Vienna Center for Logic and Algorithms
2M ago
Substructural Logics with Minimally True Tautologies
Friday, October 4, 2024 at 16:00 ..read more
Vienna Center for Logic and Algorithms
3M ago
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
Thursday, August 29, 2024 at 15:00 ..read more
Vienna Center for Logic and Algorithms
3M ago
The research group Theory and Logic, Institute of Logic and Computation of TU Wien (the Vienna University of Technology) is looking for an exceptionally talented and motivated student for a PhD position.
The 4-year position is embedded in the AXAIS project (“Acquiring and explaining norms for AI systems”) funded by the Vienna Science and Technology Fund ..read more