Workshop on Foundations of Databases and AI
Wednesday, January 29, 2025 – Thursday, January 30, 2025
Vienna Ball of Sciences 2025
Saturday, January 25, 2025 at 20:00
Women in Logic Online – Talk with Francesca Poggiolesi
Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00
World Logic Day Lecture: Joao Marques-Silva
Trustable Explainable AI — A Redemption by Logic
Tuesday, January 14, 2025 at 17:00
Helmut Veith Stipend: Award Ceremony
Wednesday, December 18, 2024 at 14:30
Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements
NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30
Talk by Hanoch Ben-Yami: The Quantified Argument Calculus
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30
Women in Logic Online – Talk Announcement
Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00
VCLA International Student Awards 2024 – Announcement
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, […]
Talk by Jan von Plato: Two Gödelian Topics in Modal Logic
Jan von Plato: Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00
Latest Talks
(» further talks)Women in Logic Online – Talk with Francesca Poggiolesi
Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00
World Logic Day Lecture: Joao Marques-Silva
Trustable Explainable AI — A Redemption by Logic
Tuesday, January 14, 2025 at 17:00
Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements
NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30
Talk by Hanoch Ben-Yami: The Quantified Argument Calculus
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30
Women in Logic Online – Talk Announcement
Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00
Talk by Jan von Plato: Two Gödelian Topics in Modal Logic
Jan von Plato: Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00
