Die neue Oberseminar-Webseite ist unter http://logic.rwth-aachen.de/Kolloquium/oberseminar.php erreichbar.