Kim G Larsen retweeted
Andrew G. Barto and Richard S. Sutton are the recipients of the 2024 ACM A.M. Turing Award "for developing the conceptual and algorithmic foundations of reinforcement learning. " See awards.acm.org/about/2024-tu…
Congrats to the recipients and to the CS community!
Kim G Larsen retweeted
On behalf of Dagstuhl Publishing, Michael Wagner has posted the highlights for 2024. See dagstuhl.de/en/institute/new…
Do read the highlights and share them within your networks. This is the least we can do to thank everyone at Dagsthul for their work.
Kim G Larsen retweeted
Today, our based research lead @franckDownunder continues his quest to create more resources on Formal Verification in Move.
This post walks through a case of proving that a function aborts only under specific circumstances.
Devs, your deep dive 👇
blog.movementlabs.xyz/articl…
Happy to learn that our paper "Compositional Shielding and Reinforcement Learning for Multi Agent Systems" has been accepted at AAMAS. Nice early Xmas present to Asger Brorholt, Christian Schilling and myself. Hear the podcast for the paper produced by NotebookLM:
Thanks to the brave participants in our UPPAAL PhD course. Congratulation to all for successful completion of the course and without honorable mentioning of Mafe, Fouzi and Wu who won the UPPAAL modeling competition.
Looking forward to the collaboration in the new quantum center and proud to serve as vice-director. es.aau.dk/et-nyt-forskningsc…
Happy to be invited speaker at Huawei Formal Methods Workshop in Grenoble together with good TACAS SC colleagues: Joost-Pieter Katoen and Dirk Beyer.
Kim G Larsen retweeted
Soon, a new research initiative on #QuantumComputing #software will start in #Germany: The #SPP2514 "Quantum Software, Algorithms and Systems" by @dfg_public.
Today, we had an initial round-table discussion about it at @TU_Muenchen. Many thanks for the great exchange!🙂
1/2
Happy to talk about quantum verification and operating systems with DSN rising star Pramod Bhatotia, TUM.
Kim G Larsen retweeted
Glynn Winskel has been elected to the Fellowship of the Royal Society. See royalsociety.org/news/2024/0…
Congratulations to Glynn FRS and to the concurrency theory community as a whole!
Kim G Larsen retweeted
🔥Easy to Learn, 3-Minute Games🔥
Collect cards, build decks & unleash against your opponents in the award winning Marvel SNAP!
Outsmart & Outplay Everyone👇
