Dezember 2007
Der Workshop wurde im Rahmen einer Tagung des Lisums im Dezember 2007 gehalten. Neben einer Einführung in endliche Automaten und Sprachen wurden auch Turingmaschinen vorgestellt. Als Modellierungswerkzeuge kamen JFLAP und das Kara-Turing-Modell zum Einsatz.