🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

🚀  Exciting news! Researchers and entrepreneurs from INSAIT and ETH Zurich Zürich launch LogicStar AI – a new agentic AI startup (logicstar.ai)! 🔬 LogicStar AI’s platform automatically validates and corrects software errors, helping them with software maintenance and

📕 Solidifying Modern SMT Solvers tinyurl.com/5n84397p

Christmas Black Forest run 🎅🌲🏃‍♀️🏃

The public has a distorted view of science, because children are taught in school that science is a collection of firmly established truths. In fact, science is not a collection of truths. It is a continuing exploration of mysteries. - Freeman Dyson

(pic1&2) 😭Sad to leave AST Lab ETH Zurich. It was an incredible experience to work with Zhendong Su, who is more than a perfect advisor but a friend, visioner, and lifelong role model 🥹 (pic 3) I have joined the Chinese University of Hong Kong as a tenure-track assistant professor

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: Ruijie Meng (NUS) + Rohan Padhye (Rohan Padhye; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20. March (Submission) //cc @YannicNoller (RUB), László Szekeres (László Szekeres; Google)

New preprint: Lessons from Formally Deployed Software Systems... - bertrandmeyer.com/2025/03/04/new… 1/4

Cool video youtu.be/0_fdjA2R0bQ?si… explaining how Marijn Heule et.al. solved the "Empty Hexagon Problem" with thelp of SAT (our CaDiCaL actually).  This was first presented at TACAS'24 link.springer.com/chapter/10.100… and lifted and formally verified in Lean at ITP'24

Hey Alan, what do you think about how CS is doing?

Makes 24 ML papers for me 😀 What a paper machine I am!

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested in working with me, feel free to reach out.

🚨 "Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration" with Dominik Winterer is available now! 🎧 Listen on Apple ➡️ podcasts.apple.com/us/podcast/dis… 🎧 Listen on Spotify ➡️ open.spotify.com/show/6IQIF9oRS…