Cybersecurity funktioniert am besten fächerübergreifend und vernetzt: Am 18.04. fand das Kick-Off des neuen CySec-Centers der TUW mit Expert_innen aus Politik, Wirtschaft und Cybersecurity statt.
tuwien.at/tu-wien/aktuel…
(c) Simon Jeanteur

It was a pleasure to present today the new TU Wien CySec. Thanks to Byron Cook and Nikolaj Bjorner for the inspiring keynotes and to SBA Research - Science for better security TÜV AUSTRIA Group Cybersecurity Austria, UniCredit Bank Austria AG and Bundeskanzleramt for animating an exciting panel cysec.wien

Kick-off event of the newly-established Cybersecurity Center (CySec) at TU Wien (with a wonderful view on the Viennese landscape)! Also a great opportunity to speak with companies and government representatives about security & privacy.

Thank you Byron Cook and Nikolaj Bjorner for your keynotes at the CySec kick-off TU Wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!

💡 Nick Bezhanishvili (University of Amsterdam 🇳🇱) will give a talk on 'Degrees of the Finite Model Property for Superintuitionistic and Modal Logics'!
🗓️ Tuesday, April 16 at 13:00 hours | Seminar Room Gödel TU Wien
ℹ️ and abstract: vcla.at/2024/04/talk-b…

One of the missions of our CySec TU Wien is societal outreach, including schools! Kudos to Carlotta Tagliaro and Marco Squarcina from S&P TU Wien for organizing this fantastic initiative! informatics.tuwien.ac.at/news/2621

👏 Thanks to Reiner Hähnle from TU Darmstadt for a very accessible talk about CATs! While Reiner likes using cat pictures 🐈, CATs stands for Context-Aware Trace Contracts - a concept which he illustrated with an example from a casino 💵 case study.

I'm thrilled to announce the Lipari Summer School on Abstract Interpretation in Lipari 🏝, Italy, from Sept. 1-7, 2024!

🛑Deadline for applications: 15th June 2024

For more information regarding travel, accommodations, and fees: absint24.liparischool.it

Great talk by Dr Valeria dePaiva in the 'Women in Logic' seminar series! We talked about gender gap in STEM, equality, and about her research on how to use AI tools to make mathematics easier to learn for everyone.
WomenInLogic VCLA at TU Wien
#womeninSTEM #logic

What a wonderful blockchain day S&P TU Wien TU Wien ! Lukas Aumayr and Erkan Tairi graduated with two amazing doctoral theses on layer-2 protocols and adaptor signatures, respectively! Congrats guys, it was a real pleasure to accompany you through this journey!

In 2023, security companies reported around $2.6 billion in losses to hacks in the crypto space, with smart contracts among the primary targets. With Galois's Formal Verso, the tool for rooting out exploitable bugs in smart contracts now exists.

galois.com/blog/2024/03/f…

The start of this year’s Intro to Security course TU Wien ! Welcome to all students, hope you will have fun with the lectures and CTF challenges!

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Network Mathematics” with Dr Valeria dePaiva via zoom on 🗓️ March 20, 5 pm CET!
➡️ tuwien.zoom.us/webinar/regist…
WomenInLogic Elaine Pimentel #logic

Today I gave my seminar on 'Secure and verifiable implementations of off-chain protocols', where I talked about the research project I'm currently working on!
Thanks to all the people who attended :)

👉 Join us today at 17:00 CET for the Vienna Logic Day Lecture with Adnan Darwiche Adnan Darwiche from UCLA!
'Beyond truth and falsehood - Logic as a Calculus of Events'
ℹ️ logicday.vcla.at/vienna-logic-d…
register at tuwien.zoom.us/webinar/regist… (free)
🎉 Let’s celebrate #UNESCO #WorldLogicDay !

‼️Don’t forget to register for our free Vienna Logic Day Lecture via Zoom on Jan 12, 5 pm CET!
➡️ tuwien.zoom.us/webinar/regist…
🔎 Adnan Darwiche Adnan Darwiche UCLA will explore the role of #logic in #AI : Beyond truth and falsehood - Logic as a Calculus of Events
#UNESCO #WorldLogicDay

Thanks Marco! Kudos to you for the great presentation 😄

Curious about elastic SNARKs or eager to understand them? Don't miss the unique opportunity to attend a lecture by Michele Orrù from Sorbonne Université at TU Wien or online on December 1st at 2 pm. Get all the details at tuw-cybersecurity.wien/events/2023-12… See you soon!

France and Italy have been under-investing in basic research for years. And it shows.

“Ma che, sei frocio per caso?”

Il patriarcato per dummies. Un thread.
1/8