Methods of Logic in Mathematics
Month: June 2008
Date: June 1--7
Name: Methods of Logic in Mathematics
Location: The Euler International Mathematical Institute, Saint-Petersburg, Russia.
Description
This is the fifth meeting in a series of meetings which take place every summer in the Euler International Mathematical Institute in St. Petersburg. The invited talks of conference will present recent development in mathematical logic and its interactions with other areas of mathematics, esp. number theory, algebra, etc. There will be two tutorial talks which will focus on the current research interests of logic groups in Vienna and St. Petersburg.
Information
e-mail: mlm@imi.ras.ru; http://www.pdmi.ras.ru/EIMI/2008/MLM/.