19th OeMG Congress and Annual DMV Meeting: Call for abstracts

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

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

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:

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).