14-18 May 2018
St Petersburg, Russia
_______________________________________________________________ Logical Perspectives 2018: Call for Participation May 14?18, 2018 Euler International Mathematical Institute, Saint Petersburg, Russia http://www.pdmi.ras.ru/EIMI/2018/LP/ _______________________________________________________________ Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to: ? the foundations of mathematics and those of computing; ? logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language); ? logical methods in mathematics; ? logical methods in computer science. There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field. The list of confirmed speakers includes: ? Sergei I. Adian ? Sergei N. Artemov ? Jeremy Avigad ? Matthias Baaz ? Andrej Bauer ? Vasco Brattka ? Martin Davis ? Sergei S. Goncharov ? Wilfrid Hodges ? Hannes Leitgeb ? Menachem Magidor ? Sergei P. Odintsov ? Pavel Pudlák ? Valentin B. Shehtman ? Jouko Väänänen ? Heinrich Wansing ? Philip Welch ? Boris Zilber Venue: The Logical Perspectives conference will take place at the Euler International Mathematical Institute (Saint Petersburg, Russia), which is located in the middle of the Petrogradsky district. Participation: If you wish to participate in the event, then please fill in an appropriate form at http://www.pdmi.ras.ru/EIMI/2018/LP/participation.html Best regards, L.D. Beklemishev & S.O. Speranski [Programme Committee of Logical Perspectives 2018] -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam