CALL FOR CONTRIBUTIONS 42nd International Symposium on Mathematical Foundations of Computer Science MFCS 2017 Aalborg, Denmark, August 21-25, 2017 http://mfcs2017.cs.aau.dk/ BACKGROUND: MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues. MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops. We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following: - algorithmic game theory - algorithmic learning theory - algorithms and data structures (incl. sequential, parallel distributed, randomized, approximation, graph, network, on-line, parameterized, optimization algorithms) - automata and formal languages - bioinformatics - combinatorics on words, trees, and other structures - computational complexity (structural and model-related) - computational geometry - computer-assisted reasoning - concurrency theory - cryptography and security - databases and knowledge-based systems - formal specifications and program development - foundations of computing - logic, algebra and categories in computer science - mobile computing - models of computation - networks (incl. wireless, sensor, ad-hoc networks) - parallel and distributed computing - quantum computing - semantics and verification of programs - theoretical issues in artificial intelligence - types in computer science All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings. IMPORTANT DATES: Abstract submission deadline: April 17th, 2017 (AoE) Paper submission deadline: April 24th, 2017 (AoE) Notification of authors: June 12th, 2017 (AoE) Camera-ready copies due: June 22nd, 2017 (AoE) Early registration deadline: June 23rd, 2017 (AoE) Late registration deadline: August 7th, 2017 (AoE; afterward, only on-site registration) Conference dates: August 21–25, 2017 PROGRAM COMMITTEE CHAIRS: * Kim G. Larsen (Aalborg University, Denmark, chair) * Hans L. Bodlaender (Eindhoven University of Technology, Netherlands, co-chair) * Jean-Francois Raskin (Universite Libre de Bruxelles, Belgium, co-chair) LOCAL ORGANIZERS * Radu Mardare (Aalborg University, Denmark) * Jiri Srba (Aalborg University, Denmark) * Rikke W. Uhrenholt (Aalborg University, Denmark) PAPER SUBMISSION: Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs17 Submissions should be prepared according to the following instructions: Papers should be formatted using the LIPIcs style (see LIPIcs: Instructions for Authors for style files, examples, and manuals) Length: up to 12 pages (excluding references and an optional appendix) References and an optional appendix can go beyond the 12 pages (the appendix will be consulted at the discretion of the program committee). It is mandatory to use pdflatex No prior publication or simultaneous submission to other conferences or journals are allowed (but submissions to preprint repositories such as arXiv or workshops without formal published proceedings are allowed)