Call for Papers: Logic Section at the DMV

[Steve Awodey]

Dear Colleagues,

Please forward the following CfP to colleagues and students who may be interested in submitting a paper to the DMV Section on Logic and Theoretical Computer Science.

***************************

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-workshop 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/

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