News

Springer Publications

Springer releases the postproceedings of CLIMA X, edited by Jürgen Dix, Michael Fisher and Peter Novak:

http://www.springeronline.com/978-3-642-16866-6

Also Springer releases the postproceedings of CLIMA XI, edited by Jürgen Dix, Joao Leite, Guido Governatori, and Wojtek Jamroga:

http://www.springeronline.com/978-3-642-14976-4

And finally, springer releases the postproceedings of MATES 2010 edited by Jürgen Dix and Cees Witteveen:

http://www.springeronline.com/978-3-642-16177-3

 

Diplomanden- und Doktorandenseminar am 25.01.2011, 12 Uhr s.t. in Raum 203, Hörsaalgebäude

Schülerseminar am 29. und 30. April 2011

Diplomanden- und Doktorandenseminar am 18.01.2011, 13 Uhr c.t. in Raum 106