Post by Centrum Wiskunde & Informatica

Building reliable, secure and sustainable software remains a serious challenge. On 𝟭 𝗠𝗮𝘆 🗓️, the 12th Dutch national symposium on software engineering (SEN) brings the Dutch software engineering, programming languages and formal methods community together at CWI in Amsterdam. 🎤 Speakers are: 🔴   Jan Friso Groote on formal methods 🔴   Bernard van Gastel on green software engineering 🔴   Ayushi Rastogi on human factors in software engineering 🔴   Daniel dos Santos on software security and the Internet of Things Expect keynotes, invited talks, lightning talks ⚡and, above all, a strong opportunity to connect with researchers and professionals working on the future of software. Registration is now open! 👉 https://lnkd.in/ge2dHN74 The symposium is organized by VEReniging Software Engineering Nederland, the Dutch National Association for Software Engineering, and hosted at CWI. #SoftwareEngineering #FormalMethods #ProgrammingLanguages #SoftwareSecurity #sensym