OVERLAY Group

Everything’s ready for the 5th OVERLAY workshop kicking off tomorrow! See you all in Rome! @AI_x_IA

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.

Very glad to see so many enthusiasts about NeuroSymbolic AI! The room was super crowded! @OVERLAY_Group @AI_x_IA

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

We are honored to have a very interesting invited talk on NeuroSymbolic AI by Luciano Serafini at OVERLAY 2023 @OVERLAY_Group @AndreaB0890

Fantastic second session about learning and formal methods for discrete system at OVERLAY 2023 workshop! @AI_x_IA #artificalintelligence

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

OVERLAY 2023 workshop just started! @AndreaB0890 and @AleGiano93 are welcoming all the attendees! @AI_x_IA #ArtificialIntelligence

Notifications of accepted papers for the OVERLAY 2023 workshop are out! Congratulations to the authors and see you soon in Rome!

@MountainOfMoon I once got this batch (two different reviewers, same paper) -- the paper was eventually saved by an AC

A huge congratulations 🎉 to Priyanka Golia from all of us at #NUSComputing for being selected as one of the EECS’s Rising Stars at the annual 2022 Rising Stars programme 🌟. 👉🏻 Story here: buff.ly/3QD2ROv #NUSComputing #PHD #Womenintech #AI #artificialintelligence

We are thrilled to announce that the proceedings of the OVERLAY 2022 workshop are online on CEUR-WS! Happy new year! ceur-ws.org/Vol-3311/

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!

Everything’s ready for the 4th OVERLAY workshop kicking off tomorrow! See you in Udine!

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/

#IJCAI2022Tutorials Tableau methods for linear-time temporal logics 🗓 23 July 🗣️Presenters: Luca Geatti, @gignico Angelo Montanari ➡inf.unibz.it/~gigante/ijcai… #IJCAI2022 #Vienna

Visualisation of Control Software for Cyber-Physical Systems mdpi.com/1081390 via @MDPIOpenAccess Submissions still open "FM for V&C of CPSs" mdpi.com/journal/inform… @FormalMtds @FormalMethodsGU @CPSRC_UCSC @MCLabSapienza @CNRPst @OVERLAY_Group

⏰ Non prendere impegni questa sera, alle ore 21, con @andreamicheli (@FBK_research, @AIPlan4EU ) 🥄gusteremo una #teglia di Intelligenza Artificiale #AI e Pianificazione Automatica 💻 Vi aspettiamo❗️ 👉youtu.be/VENkzpJjA8U

🎉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