
Das Programm der BOB 2022 steht: Am
Freitag, dem 11.3.2022, findet die neunte BOB virtuell bei Gather statt, und das
Programm ist erstklassig. Das
Programmkommitee hatte das Vergnügen und die Qual, aus einem breiten
Feld von Vorschlägen auszusuchen: Viele tolle Einreichungen mussten
wir ablehnen.
Wir eröffnen die BOB mit einer Keynote von Derek
Dreyer, der uns aus seiner
Forschung über Programmverifikation berichten wird.
Danach gibt es vier Tracks - zwei Tracks mit insgesamt 14 Vorträgen
und zwei Tracks mit acht Tutorials.
Auch dieses Mal müssen wir uns mit der Pandemie auseinandersetzen: Wir
haben noch nicht entschieden, ob die BOB vor Ort oder online
stattfinden wird. Wir werden das aber bis zum 17. Januar tun.
Dann beginnt auch der Ticketverkauf.
Mehr Informationen dazu sind
hier. Dort befindet sich
insbesondere auch eine kurze
Umfrage.
Falls Sie Interesse haben an der BOB, würden wir uns sehr freuen, wenn
Sie uns dort Feedback liefern. Dauert nicht lang.
Weiterlesen...