Logic List Mailing Archive

Section Algebra, Logic & Set Theory at the OeMG-DMV Joint Meeting

11-15 Sep 2017
Salzburg, Austria

Call for submission of abstracts to the

Section Algebra, Logic and Set Theory of the

19th OeMG Congress and Annual DMV Meeting
Paris-Lodron University of Salzburg, Austria
September 11-15, 2017
http://oemg-dmv-2017.sbg.ac.at/

Submission deadline: June 30, 2017

Every four years the Austrian Mathematical Society organizes a congress
with international outreach. It became a nice tradition that the German
Mathematical Society co-organizes this event and has its Annual Meeting
at the congress. The last joint congresses took place in Innsbruck
(2013), Graz (2009), Klagenfurt (2005) and Vienna (2001). For the
forthcoming edition the attractive Austrian city of Salzburg was
chosen.

Altogether, there are 17 different sections scheduled for this meeting.
The section on Algebra, Logic and Set Theory is chaired by
Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are:

- Ekaterina Fokina (Vienna, Austria)
- George Metcalfe (Berne, Switzerland)
- Arno Pauly (Brussels, Belgium)

The German logic association DVMLG is kindly sponsoring this section
and has also offered support for the participation of up to two young
regional scientists. More information is available here:
http://www.dvmlg.de/oemgdmv2017grants.html

At the meeting there will also be a minisymposium on Applied Proof
Theory and the Computational Content of Mathematics organized by
Thomas Powell (Darmstadt) and Sam Sanders (Munich).
--
[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