#VaMoS23 offers 🔟 free registrations for PhD students and Postdocs. Learn more: vamos2023.sdu.dk/registration/ Thanks to our sponsors Carlsbergfondet and DIREC for making this possible!

Yves will be speaking on "Variability and Complexity: Automotive Product Line Management as a Constraint Satisfaction Problem" in his keynote. You can find the abstract here: vamos2023.sdu.dk/program/ #VaMoS23

The preliminary program for #VaMoS23 is up! You can find it here: vamos2023.sdu.dk/program/ Furthermore, keep in mind that the time for early registration is running out (Deadline: 18. December 2022).

What a year it has been for the variability community in 2022! We returned to on-site conferences and we look very much forward to welcome you to Odense for VaMoS'23 at the end of January! In the mean time, #VaMoS23 wishes you happy holidays and a good start into 2023!

#VaMoS23 is starting TOMORROW! 2 Keynotes, 7 Sessions w/ 21 talks, 1 most influential paper talk and a trip to the HC Andersen HUS Museum await. (sponsored by Carlsbergfondet)

Thank you Yves for giving the folks at #VaMoS23 a deep insight into the world and challenges of practitioners!

Today is the last day of the #VaMoS23 conference. We are all now wiser, and more unified within our field, and have broadened our horizons once again ;-)

Happy to announce that Jacopo Mauro and I will join the VaMoS 2025 (@[email protected]) steering committee! Looking forward to work towards the next iterations of the 17 year old conference. :)

New Article: "On the Evaluation of (Meta-)solver Approaches" by Amadini, Gabbrielli, Liu, and Mauro jair.org/index.php/jair…

The Nordic Network for researchers and practitioners of Constraint programming (#NordConsNet) will be held June 8-9 in Odense, Denmark. Participation is free (registration is required). event.sdu.dk/nordconsnet202… For more on NordConsNet, see it.uu.se/research/NordC… #copr

If you are a researcher or practitioner of constraint programming, you don’t want to miss the NordConsNet Workshop 2023! 📅 June 8-9, 2023 📍 SDU, Odense Read more and sign up here 👉 event.sdu.dk/nordconsnet202…

📢🎓 Come work with us!¹ We are hiring new CS Assistant Professors in Programming Languages and Systems³ and Artificial Intelligence² (incl. logic/formal methods)! (Separate calls, see below.) 1: acp.sdu.dk 2: sdu.dk/en/service/led… 3: sdu.dk/en/service/led…

The Danish team is ready to defend the gold at ECSC 2023! @Industriensfond @Cybersikkerhed @openECSC ENISA

Danmark får bronze - så stærkt med en podieplads for andet år i træk!!!

Danmark er bronzevinder!

We're hiring tenure-track assistant professors in programming languages and technology! Come join our section at the University of Southern Denmark. This is part of a series of calls at different levels that will be announced during Spring 2024. sdu.dk/en/qmpt#PLT

Skal du nå at kvalificere dig til de regionale cybermesterskaber? Den online kvalifikation slutter i den her uge 🏆 Du kan stadig nå at deltage her ⬇

📢We're hiring Tenure-Track Assistant Professors in Computer Science, with focus on PL and Concurrency, at Department of Mathematics and Computer Science 🇩🇰! Deadline: 30.04.2024 🙋Questions? Get in touch! Reposts in your networks are very appreciated! Apply at …sd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candidat… CS Faculty Jobs

📢 I'm hiring postdocs and PhD students in computer science Department of Mathematics and Computer Science in 🇩🇰 (great working conditions), funded by European Research Council (ERC)! Possible topics include: PL design and implementation, concurrency theory, distributed systems, logic, theorem proving. See below for applying. 👇