Surname First Name Extra Abel Andreas From the Department of Computing Science Altenkirch Thorsten From the Department of Computing Science Barthe Gilles From the Department of Computing Science Berger Ulrich From the Department of Computing Science Beylin Ilya From the Department of Computing Science Bohlin Peter From the Department of Computing Science Bove Ana From the Department of Computing Science Callaghan Paul From Nils Ericson Terminal Carlsson Magnus From the Department of Computing Science Ciaffaglione Alberto From Nils Ericson Terminal Claessen Koen From the Department of Computing Science Di Gianantonio Pietro From Nils Ericson Terminal Dybjer Peter From the Department of Computing Science Dymetman Marc From Nils Ericson Terminal Fridlender Daniel From the Department of Computing Science Gaspes Veronica From Nils Ericson Terminal Gonzalia Carlos From the Department of Computing Science Haiyan Qiao From the Department of Computing Science Hallgren Thomas From Nils Ericson Terminal Honsell Furio From the Department of Computing Science Indrika Mia From the Department of Computing Science Kiessling Robert From Nils Ericson Terminal Martin-Löf Per From Nils Ericson Terminal (train 13.22) Miculan Marino From Nils Ericson Terminal Nordström Bengt From the Department of Computing Science Palmgren Erik From Nils Ericson Terminal Persson Henrik From the Department of Computing Science Pollack Randy From the Department of Computing Science Ranta Aarne From the Department of Computing Science Ruokolainen Juha From Nils Ericson Terminal Scagnetto Ivan From Nils Ericson Terminal Seisenberger Monika From the Department of Computing Science Setzer Anton From the Department of Computing Science Smith Jan From Nils Ericson Terminal Wenzel Markus From the Department of Computing Science Wiedijk Freek From Nils Ericson Terminal