Explaining our work can be hard, so we designed an animation! At the Fundamental Computing group @univgroningen we use mathematics & logic to develop foundations for programs we can all rely on https://t.co/JqTiwYRjLM Animation: @anne_merat Thanks: @NWO_Science @YAGroningen

https://t.co/2UFk35Qu8A

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

Are you looking for a particular expertise in Math, Computer Science or Artificial Intelligence? Our researchers may match what you're looking for!

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. @BernoulliInsti2 @univgroningen @VERSEN_NL

DisCoTec 2024 continues today with the third keynote speaker: Marieke Huisman discusses inclusive software verification. @BernoulliInsti2 @univgroningen @DisCoTecConf

The second day of the DisCoTec main conferences starts with an invited talk by Paulo Veríssimo (KAUST) on dependable distributed systems! @DisCoTecConf @BernoulliInsti2 @univgroningen @ifipnews

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. @BernoulliInsti2 @univgroningen

DisCoTec 2024 has started! Victoria Degeler is now opening the DiDiT workshop on Distributed Digital Twins @DisCoTecConf @BernoulliInsti2 @univgroningen

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 https://t.co/jxayQK4zWe

You can still register to DisCoTec 2024, the 19th International Federated Conference on Distributed Computing Techniques! https://t.co/BAgBK4JMCS Conference dates: June 17-21, 2024 Registration closes on June 12! @DisCoTecConf @univgroningen @BernoulliInsti2

Three scientist mothers call for a change in how conference childcare costs are reimbursed, drawing on their personal experiences

The call for papers of FM-BPM 2024 is out! And the deadlines for submissions are approaching! Website: https://t.co/vSHFUn4rAK NEW: “spotlight” tutorials, providing an in-depth account of the topics of interest in the cfp! See you all in Krakow, Poland! @BPMConf @AndyRivkin

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!

The DisCoTec 2024 Joint Call for Participation is out! Early registration deadline is May 22 (CEST). https://t.co/cqAh77n8L3 #DisCoTec #CallForParticipation #EarlyRegistration

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 https://t.co/ImGic7V7xF

a few thoughts on the current internationalization debate in Dutch higher education #Dutch #Netherlands #HigherEducation @ukrantgroningen @univgroningen https://t.co/5ykQznM0K6

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. https://t.co/zyLbzZNOcM

DisCoTec 2024 is looking for satellite events: workshops / tutorials. Keep an eye on https://t.co/jpbtAWY5Ja for more info! #DisCoTec #workshops #tutorials

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!

Dive into the world of formal methods! 🚀 Join the Dutch Formal Methods Day on April 16, 2024. Register now: https://t.co/5Firl7P5Ed #DFDM2024 Further details about the events are available here: