Reactive Systems Group

[Norine @NorineCoenen]

One more week until the CREST deadline (May 1st AoE), our submission page is open and ready for your presentation proposals!
We are also looking forward to Christel Baier's and Sander Beckers' invited talks!
Check out our website: https://t.co/gAmqTXLN42
See you in Lisbon!

[Jana Hofmann @jana_tweets_cs]

Goodbye Azure Research 😢
And just like that, my last week at Microsoft has started. I spent an amazing two years as a postdoc with Azure Research in Cambridge and I am truly grateful for how I was allowed to expand my research horizon. (1/n)

[Hadar Frenkel 🎗 @frenkel_hadar]

What a great day at the HYPER workshop at @confCAV today!
We thank our keynote speakers, Fred Schneider, Hagit Attiya, Jana Hofmann, and Xiang Yin, and to all contributed talks and participants!

[Hadar Frenkel 🎗 @frenkel_hadar]

Join us tomorrow to the HYPER workshop at @confCAV!
We start Tuesday morning at 08:55, see you there!
Full program: https://t.co/Vvmz8dVHrf
#cav24

[Hazem Torfah @HazemTorfah]

Join as at Chalmers!
Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems! @WASP_Research @chalmersuniv

PhD: https://t.co/LbG5STmHtk

Postdoc: https://t.co/hoU7on7leX

[Niklas Metzger @NI_klasM]

The third iteration of the HYPER workshop will be co-located with @confCAV in Montreal, Canada, on July 23! Find the call for presentations and invited speakers at https://t.co/ad3uxXB5CC, the deadline for extended abstracts is April 25. See you at #cav24!

[Alexander Weinert @alexdweinert]

Ich suche eine*n neue*n Kollegen*in für eine Promotion im Software Engineering für Quantencomputer am @DLR_software. Gemeinsam wollen wir herausfinden, wie wir Quantencomputer in die praktische Anwendung bringen können. https://t.co/5oZ9oCzGxR

[Andreas Zeller @AndreasZeller]

This work on precise symbolic bug finding is the third @CISPA paper at @FSEconf - in fact, 60% of all ESEC/FSE papers from Germany have a CISPA author. Highly recommended - presentation today at 4:45 in C2!

[Reactive Systems Group @reactivesysgrp]

Congratulations, Jana! 👏 And best of luck on the academic job market from all of us 🍀

[Jana Hofmann @jana_tweets_cs]

Very honoured to receive this award 😊 It sounds a bit cheesy, but it's absolutely true for me: research is teamwork, so thanks a lot to my great colleagues at @reactivesysgrp @ @CISPA!

And this is probably also the place to mention: I am on the academic job market this year 😬

[Reactive Systems Group @reactivesysgrp]

Thank you, @frenkel_hadar, for creating and sharing this video with us all 📹

[Reactive Systems Group @reactivesysgrp]

The Reactive Systems Group wishes everyone who celebrates Rosh Hashanah a Happy New Year! 🍏🍯🎉

[Hazem Torfah @HazemTorfah]

We are hiring!
Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:

https://t.co/MT2ELmWxiz

[Niklas Metzger @NI_klasM]

Great talk, @frenkel_hadar!
If you couldn’t attend, check out our blog post about Second-Order Hyperproperties and Common Knowledge: https://t.co/jlDCH63dVE

[Reactive Systems Group @reactivesysgrp]

Congratulations to both @chalmersuniv and you, Hazem, this is great news! 🥂

[Hazem Torfah @HazemTorfah]

Very excited to join Chalmers University of Technology! As of August, I will join the Computer Science and Engineering Department at @chalmersuniv as an Assistant Professor.

[Jana Hofmann @jana_tweets_cs]

Very honoured to receive this (quite beautiful!) award! 😊 This was a fun paper to work on. Shoutout to my co-authors @NorineCoenen @FinkbeinerBernd and Julia Tillman.

[Alexandre Lemos @A_d_d_a_Lemos]

Friday, @ArthurCorrenson presents his paper "Engineering a Formally Verified Automated Bug Finder" in @OutSystems AI RG.

Paper from @CISPA.
Paper: https://t.co/HmjfjQLWQ9

Check out https://t.co/Tntpc75sLd for archives, zoom link, and contact.

[ETAPS Conferences (now on other platforms) @ETAPSconf]

ETAPS awards were given during the boat trip. Congratulations to all winners!

[Reactive Systems Group @reactivesysgrp]

Another win for CAQE and QuAbS by @ltentrup and @MarkusNRabe at this year’s QBF competition in the Olympic Games @FLoC2022! Congrats! 👏🏻 Find out more at https://t.co/AA7xooQT4B

[Jana Hofmann @jana_tweets_cs]

Kicking off LICS @FLoC2022 this morning 💪🏻 Really nice to be in the first session, now all I have to do is enjoy the conference 😃