• Second announcement (last modified 19 April 1999)
• Registration form (last modified 16 April 1999)
• Travelling information (last modified 19 April 1999)
• Time-table (last modified 22 July 1999)

Chronicles of the Conference

• 1st day (Tuesday, August 10)
• 2nd day (Wednesday, August 11)
• 3d day (Thursday, August 12)
• 4th day (Friday, August 13)
• 5th day (Satur, August 14)

Sections

• Model theory (Palyutin, Baldwin, Zil'ber)
• Computability theory (Goncharov, Lempp, Sorbi)
• Proof theory and logic foundations of computer science (Maksimova, Pal'chunov, Rybakov, Leivant, Nepeivoda, Vasil'ev)