Bruxelles25

  • We meet on Wednesday 26/11 at 8:00 sharp at Gare du Nord near the Eurostar platforms.
  • Program:
    • Wednesday November 26th, 2025: VUB
10:30 – Arrival
11:00 – Visit of robotics lab
12:00 – Lunch
13:00 – (room F10.720) SOFT Lab presentation and 5 talks on static analysis, database transaction scheduling and distributed databases
15:20 - (room I.201) 6 talks on security, scheduling, programming languages
  • Thursday November 27th, 2025: ULB

9:30 – 10:30 – Machine Learning (30 min) - Security (30 min)

10:30 – 10:50 – Coffee break
10:50 – 11:50 – Scheduling (30 min) - Verification (30 min)
11:50 – 13:15 – Lunch & discussions with students
13:15 – 14:15 – Technical talks: Verification (30 min) - Scheduling (30 min)
14:15 – 14:45 – Coffee break
14:45 – 15:45 – Technical talks: Security (30 min) - Machine Learning (30 min)

Morning sessions will present each group’s research themes and structure. Afternoon sessions will feature technical talks illustrating ongoing research. Typically, the overview will be given by a senior member, and the technical talk by a PhD student or post-doc or a junior professor.

The meeting will take place in the NO building, rotule room (8th floor).