Dive into the world of formal methods! 🚀 Join the Dutch Formal Methods Day on April 16, 2024. Register now: conf.researchr.org/home/dfdm-2024 #DFDM2024 Further details about the events are available here: versen.nl/news_items/dut…

Let’s normalize the fact that women can go to conferences with or without their children, promote facilities for childcare at conferences, and respect those who decide to do things in their own way!

DisCoTec 2024 is looking for satellite events: workshops / tutorials. Keep an eye on discotec.org/2024/#satellit… for more info! #DisCoTec #workshops #tutorials

Will you be our new colleague? The Computer Science Department of BI has an opening for a Tenure Track Assistant/Associate/Full Professor Software-Intensive Systems (0.8-1.0 FTE). Please read the job description on the website. rug.nl/about-ug/work-…

a few thoughts on the current internationalization debate in Dutch higher education #Dutch #Netherlands #HigherEducation UKrant University of Groningen ukrant.nl/discussion-abo…

Deadlines extended for submissions on distributed digital twins/ cyber-physical systems at DiDiT 2024, to be held in Groningen, the Netherlands! Important dates: - Submission: April 20 - Notification: May 10 - Camera-ready: May 31 - Workshop: June 17 distributeddigitaltwins.github.io

The DisCoTec 2024 Joint Call for Participation is out! Early registration deadline is May 22 (CEST). discotec.org/2024/registrat… #DisCoTec #CallForParticipation #EarlyRegistration

The deadline for submitting a talk proposal for the 4th VERSEN Workshop on Programming Languages in Groningen is in one week! It's a great opportunity to present your work to other PL researchers! conf.researchr.org/home/plnl-2024

The call for papers of FM-BPM 2024 is out! And the deadlines for submissions are approaching! Website: fm-bpm2024.github.io NEW: “spotlight” tutorials, providing an in-depth account of the topics of interest in the cfp! See you all in Krakow, Poland! BPM Conference Andy Rivkin

Three scientist mothers call for a change in how conference childcare costs are reimbursed, drawing on their personal experiences go.nature.com/3X03rLo

You can still register to DisCoTec 2024, the 19th International Federated Conference on Distributed Computing Techniques! discotec.org/2024/ Conference dates: June 17-21, 2024 Registration closes on June 12! DisCoTec Conference University of Groningen Bernoulli Institute

This week I got reminded of this sharp column about PhD ceremonies in Groningen Procedures should be revised. Examination committees are too large; 45 minutes is not enough to get into things. Proposal: smaller committees composed only by experts ukrant.nl/phd-ceremonies…

DisCoTec 2024 has started! Victoria Degeler is now opening the DiDiT workshop on Distributed Digital Twins DisCoTec Conference Bernoulli Institute University of Groningen

The DisCoTec main conferences have started! After an introduction by our dean Joost Frenken, we have the first invited talk by Laura Kovács (TU Wien) on automated program reasoning. Bernoulli Institute University of Groningen

The second day of the DisCoTec main conferences starts with an invited talk by Paulo Veríssimo (KAUST) on dependable distributed systems! DisCoTec Conference Bernoulli Institute University of Groningen IFIP

DisCoTec 2024 continues today with the third keynote speaker: Marieke Huisman discusses inclusive software verification. Bernoulli Institute University of Groningen DisCoTec Conference

DisCoTec 2024 closes today, with two workshops: ICE (Interaction and Concurrency Experience) and PLNL (Programming Languages in the Netherlands). Here's a snapshot of ICE. Bernoulli Institute University of Groningen VERSEN

Are you looking for a particular expertise in Math, Computer Science or Artificial Intelligence? Our researchers may match what you're looking for! rug.nl/research/berno…

It's European Research Night at the Forum Groningen this Friday and the Bernoulli Institute is present! Learn about household robots, VR technology, the future of software and mathematics in your veins. Tickets still available here forum.nl/nl/agenda/euro…

bsky.app/profile/perezj…