I'm looking forward to todays' BRIDGE program @ #AAAI25,
in particular to the CP+ML program (ucc.ie/CPML2025/schedule.html) and the ML for solvers program (ml-for-solvers.github.io)

I will be a panelist in two panels:
CP+ML panel (4pm)
LLMs for logical reasoning panel (5pm)
will be fun!

Join us on January 14 for the 2025 Vienna World Logic Day Lecture with Joao Marques-Silva, who speaks about Trustable Explainable AI - A Redemption by Logic
Register: logicday.vcla.at/vienna-logic...
#XAI #LogicInAI #WorldLogicDay2025

Computer Science as the continuation of Logic with other means.
Georg Gottlob gives a talk at TU Wien on the occasion of the Helmut Veith Stipend Award.

BILAI Cluster of Excellence retreat at Otto Wagner's Postsparkasse. Art Nouveau meets AI research. @BilateralAI

Sepp Hochreiter gives an overview of what Subymbolic AI Can and Cannot Do (Paradigm Shift in Computer Science workshop at TU Wien informatics.tuwien.ac.at/stories/2745/)

Thomas Eiter gives an overview of Symbolic AI – What It Can and Cannot Do, at the workshop A Paradigm Shift in Computer Science? at TU Wien. There is a livestream.
informatics.tuwien.ac.at/stories/2745/

Somewhat related to this topic are Knuth's essays
Computer Science and its Relation to Mathematics
(1973), and Algorithmic Thinking and Mathematical Thinking
(1985) - they are pretty old but still an interesting read
doi.org/10.2307/2318...
doi.org/10.2307/2322...