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...