Are you looking for a summer school on the integration of constraint programming and machine learning? See all details of our ACP summer school: bit.ly/41dWVzT 📅 When? 10-14/07/23 🏰 Where? Leuven, Belgium ✍️Registration: bit.ly/3UJfRUP

'We zullen niet worden vervangen door AI, maar misschien wel door mensen die er beter mee kunnen werken.' knack.be/nieuws/technol…

Vacature: co-piloot bij eTeacher, educatief webplatform voor programmeeronderwijs. Werk mee aan het businessplan, bouw de doelgroep uit, ontwikkel nieuwe domeinen en ondersteun wetenschappelijk onderzoek. Meer info: [shorturl.at/mxSV4] #start-up #onderwijs #programmeren

De winnaars van de ULYSSIS CTF 2023: 1: FLG{776520646f206c6974746c652074726f6c6c696e672e} 2: Potionseller 3: GOEIEMORGEN ARTHUR Beste bachelorteam: Brogrammers We bedanken alle teams voor de inzet en we hopen dat iedereen ervan heeft genoten!

Deze donderdag 25 mei middaggesprek over #hacking #Antwerpen met Frank Piessens en Vincent Rijmen. 👇 kuleuven.be/metaforum/agen… Computer Science | KU Leuven Cosic.be KU Leuven

Two full papers accepted in #ares2023 focusing on (a) a benchmark for firmware security assessment tools and (b) anonymous data for building qualitative ML models. Great work from #distrinet researchers -- Daïro, Jenno, Kevin, Victor, Michiel, Jorn-- in Gent 💪

This 👇 and more open positions related to AI: ai.kuleuven.be/job-opportunit… #Jobs #AI #ML #Leuven

Sign up for our event on Strengthening Data-Driven Cybersecurity, with keynote from Michel Van Eeten (Michel van Eeten), talks by Gints Engelen and Davy Preuveneers, and PhD defense of Victor Le Pochat. Register: eventbrite.be/e/strengthenin… #cybersecurity

The VUB SoftwareLanguagesLab and DistriNet summer school on Security Testing & Verification is running smoothly!

Only 10 days left to sign up for the KU Leuven 1-year master program on Cybersecurity, hosted by #COSIC and #DistriNet. wms.cs.kuleuven.be/cs/studeren/ma… #cybersecurity #cryptography #kuleuven #master

Leuven.AI now supporting Data Science Leuven meetups Data Science Leuven! Working on data science or AI? Let us know & share your insights. We'd love to hear about it. sessionize.com/data-science-l… "Just" want to join the event? Find all upcoming events. meetup.com/data-science-l…

Cybersecurity Flanders Consortium organizes its annual industry day where business experts and researchers meet to further boost cybersecurity innovation. Keynotes from Pim Tuyls (Intrinsic ID), Bart de Win (PwC). 17 Oct. Sign up now: eventbrite.be/e/cybersecurit…

Aftellen naar het nieuwe #kuleuven-academiejaar ... 🎓 de plechtige opening op woensdag 20 september 🗓️de vernieuwde Startersdagen van woensdag tot vrijdag ℹ️ ruimer begeleidingsaanbod om mentale of studiegerelateerde problemen aan te pakken nieuws.kuleuven.be/nl/2023/ku-leu…

Ingenieursstudenten KU Leuven presenteren uitvindingen op jaarlijkse demodag - en trots dat ze (en wij) zijn! robtv.be/nieuws/ingenie…

We are hiring 🎓an Assistant Professor in Distributed Systems on our campus Computer Science | KU Leuven. This broad area includes foundations, techniques and supporting tools to create software systems and distributed systems. Apply here: kuleuven.be/personeel/jobs…

Congratulations to Jihae Han Computer Science | KU Leuven for her first paper at #CHI2024 about THE METAVERSE (!) and Architecture titled: "Meaning Follows Purpose: Unravelling the Architectural Design Conventions in the Contemporary Metaverse"

In 1974, KU Leuven celebrated the graduation of its pioneering computer science students. Celebrate 50 Years of Computer Science with us! wms.cs.kuleuven.be/cs/english/50y…

The first lecture in our series '50 Years of Computer Science' was a resounding success. To continue this streak: Pascal Van Hentenryck will be giving his talk on 40 years of AI for Optimization on 29 March! wms.cs.kuleuven.be/cs/english/50-…

📷Did you miss Heike Riel's lecture on Quantum Computing a few weeks ago? Find pictures of the evening on our Flickr-page: flic.kr/s/aHBqjBfYz5

Sincere congratulations to Tobias Reinhard for his successful PhD thesis on 'Semi-automated modular formal verification of critical software'. All the best in your future endeavors and continued success in your career! 🎓