Relatórios
21/06/05 Sources of Real Algebraic Geometry, Belle‑île Brittany: Jean-Luc Chabert, Max Dickmann, Alex Prestel: J-L Krivine's 'Anneaux préordonnés' (part 1) / 22/06/05 Martin Davis, Ricky Pollack, Hourya Sinaceur: A Tarski's 'Decision method for elementary algebra & geometry' (parts 1 & 2)