COLLOQUIUM ON MATHEMATICAL LOGIC Organizers: L. Beklemishev and J. van Oosten Information: http://www.math.uu.nl/people/jvoosten/seminar.html Next meeting: December 6, 2002. Claire Kouwenhoven and Jaap van Oosten (Utrecht) will present the "Primes is in P" paper by Agrawal, Kayal and Saxena Venue: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Central Station) Time: 15--17