Synthese 2000 (IMEB, 2001)