10. Ershov Memorial Conference 2015: Kazan and Innopolis, Russia

maintained by Schloss Dagstuhl LZI, founded at University of Trier