[Haskell] MFCS 2017 - Call for papers

[Giovanni Bacci]

                      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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170202/3826bb66/attachment.html>