21-25 Sep 2015
Hamburg, Germany
This is a reminder of the impending submission deadline of April 30 for the
2015 Annual Meeting of the Deutsche Mathematiker-Vereinigung (DMV),
taking place in Hamburg, Germany, 21.-25.9.2015,
and organized jointly this year with the collaboration of the Dansk Matematisk Foreningduring;
Danish-German research collaboration in mathematics is one of the special themes of this meeting.
See the following link for submission information:
http://www.math.uni-hamburg.de/DMV2015/CfP.html
We especially encourage submissions to the Section for Logic and
Theoretical Computer Science.
A mini-symposium on Homotopy Type Theory will take place as part of the
DMV and may be of interest to some logicians. Details can be found here:
https://sites.google.com/site/dmv2015hott/
There will also be mini-symposia on Set Theory and Well-Quasi Orders, as
well as two satellite workshops on logic ("Generalized Baire Space" and
"Trends in Proof Theory").
Registration: You can now register for the conference online. The
registration webpage allows you to select the registration category
(member, student or regular), the registration for the Senate reception in
Hamburg City Hall (for free, including an accompanying person), the
registration for the conference dinner (EUR 40 per person) and the booking
of accommodation (if desired). You can pay the conference fee by bank
transfer or credit card (the latter with a credit card surcharge of EUR
8). Follow the link on the following page:
http://www.math.uni-hamburg.de/DMV2015/registration.html.
Please distribute this announcement to relevant mailing lists and
interested colleagues.
Thank you,
Steve Awodey
Section Organizer