OVERLAY Group

OVERLAY Italian Research Group in Formal Methods for AI

[OVERLAY Group @OVERLAY_Group]

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

[Armin Biere @ArminBiere]

SAT solvers get faster and faster: all-time winners of the SAT Competition on 2020 instances, featuring our new solver Kissat (https://t.co/iO9GicfFoO), which won in 2020. The web page also has runtime CDFs for 2011 and 2019.

[Alessandro Gianola @AleGiano93]

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

[OVERLAY Group @OVERLAY_Group]

@serafiniluc

[OVERLAY Group @OVERLAY_Group]

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

[Alessandro Gianola @AleGiano93]

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

[OVERLAY Group @OVERLAY_Group]

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

@AI_x_IA #artificalintelligence

[OVERLAY Group @OVERLAY_Group]

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 Group @OVERLAY_Group]

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

@AI_x_IA #ArtificialIntelligence

[OVERLAY Group @OVERLAY_Group]

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

[Nando Fioretto @nandofioretto]

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

[NUS Computing @NUSComputing]

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: https://t.co/RkhZydzqg4

#NUSComputing #PHD #Womenintech #AI #artificialintelligence

[OVERLAY Group @OVERLAY_Group]

We are thrilled to announce that the proceedings of the OVERLAY 2022 workshop are online on CEUR-WS! Happy new year! https://t.co/Zb6pCqhGt7

[OVERLAY Group @OVERLAY_Group]

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!

[OVERLAY Group @OVERLAY_Group]

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

[OVERLAY Group @OVERLAY_Group]

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! https://t.co/Lt5QcF09Kx

[IJCAIconf @IJCAIconf]

#IJCAI2022Tutorials Tableau methods for linear-time temporal logics
🗓 23 July
🗣️Presenters: Luca Geatti, @gignico Angelo Montanari

➡https://t.co/zyBUk7ryMo

#IJCAI2022 #Vienna

[Federico Mari @_Federico_Mari]

Visualisation of Control Software for Cyber-Physical Systems https://t.co/XIPiEhWGlM via @MDPIOpenAccess

Submissions still open "FM for V&C of CPSs" https://t.co/z5qOiKlYJA

@FormalMtds
@FormalMethodsGU
@CPSRC_UCSC
@MCLabSapienza
@CNRPst
@OVERLAY_Group

[TiramiScience @TiramiScience]

⏰ 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❗️
👉https://t.co/qAokx4WoyZ

[European Research Council (ERC) @ERC_Research]

🎉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 👉 https://t.co/YvxqX1ev0r

#EUfunded #FrontierResearch #ERCStG