Mittels Aussagenlogik müssen bei LogicTraffic Ampelschaltungen an Straßenkreuzungen sicher gemacht werden. Anhand dieses anschaulichen Beispiels werden die Bausteine aussagenlogischer Formeln eingeführt und praxisrelevant erprobt. Neben dem theoretischen Teil des Workshops werden auch Anwendungsgebiete und Relevanz von Mathematik und Theoretischer Informatik in der Softwareentwicklung besprochen.