Games for Logic and Programming Languages

GALOP@ETAPS 2005: Edinburgh, Scotland, UK

GALOP 2005 Home Page

maintained by Schloss Dagstuhl LZI at University of Trier