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!
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)
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!
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
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!
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
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!
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 😬
We are hiring!
Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:
https://t.co/MT2ELmWxiz
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
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.
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.
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.
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