SAT solvers get faster and faster: all-time winners of the SAT Competition on 2020 instances, featuring our new solver Kissat (fmv.jku.at/kissat), which won in 2020. The web page also has runtime CDFs for 2011 and 2019.
Full room for OVERLAY 2023 invited speaker, Luciano Serafini from @FBK_research! His talk is titled "NeuroSymbolic AI: Between Probability and Fuzzyness"
@AI_x_IA#ArtificialIntelligence
And that's all for the first session of OVERLAY 2023 workshop, where we had two talks about learning and formal methods for continuous systems!
@AI_x_IA#ArtificialIntelligence
So that’s all for the 4th OVERLAY workshop! Thanks to all the speakers and the participants for a great day at the border of AI and Formal Methods. See you next year!
Good morning people! Everything’s ready for the 4th OVERLAY workshop taking place next Monday 28th in Udine, colocated with @AI_x_IA 2022. The program is online! See you there soon! overlay.uniud.it/workshop/2022/
🎉ERC Starting Grant competition results are out!
Over €619 million for the best ideas of young leading researchers - and the 1️⃣st set of grants awarded under 🇪🇺@HorizonEU.
Find out who, where and why 👉 bit.ly/3JRyDDg#EUfunded#FrontierResearch#ERCStG