Es ist uns eine große Freude ankündigen zu können, dass unsere Gruppe sowohl auf der diesjährigen PLDI als auch auf der FSCD vertreten sein wird. Georg wird in Orlando unsere Arbeit zum Thema „Automatisierte Erwartungswertanalyse rekursiver Programme“ vorstellen, während Samuel in Rom über „ABA-Konvertierung“ sprechen wird. Schauen Sie sich auch das Alpha-Vermeidungstool auf unserer Website an.
