Universiteit van Amsterdam


Institute for Logic, Language and Computation

11 - 15 September 2017, 19th OeMG Congress and Annual DMV Meeting, Section Algebra, Logic & Set Theory, Salzburg, Austria

Date: 11 - 15 September 2017
Location: Salzburg, Austria
Deadline: Friday 30 June 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. 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) and Arno Pauly (Brussels, Belgium). 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).

Participants can submit proposals for contributed talks to each section. The section organizers will decide on these proposals and suggest a program to the organizers of the conference.

For more information, see http://oemg-dmv-2017.sbg.ac.at/.