[DMANET] MFCS 2020 - call for papers

MFCS 2020 - CALL FOR PAPERS

The 45th International Symposium on Mathematical Foundations of Computer
Science August 24-28, 2020, Prague, Czech Republic

http://mfcs.mff.cuni.cz/2020/

The MFCS conference series has been organized since 1972. Traditionally,
the conference moved between the Czech Republic, Slovakia, and Poland,
while since 2013, the conference travels around Europe. In 2020, it will
come back to Prague, Czech Republic. MFCS is a high quality venue for
original research in all branches of theoretical computer science.

INVITED SPEAKERS

Nathalie Bertrand (INRIA, Rennes)
Sergio Cabello (Ljubljana)
Subhash Khot (NYU)
Parthasarathy Madhusudan (UIUC)
Mary Wootters (Stanford)

IMPORTANT DATES

Submission Deadline: Monday, April 20, 2020 (AoE)

Notification: Monday, June 15, 2020

Conference: Monday August 24 to Friday August 28, 2020

Workshops: Friday August 30 to Saturday August 31, 2020

SUBMISSION GUIDELINES

Papers should be submitted electronically through EasyChair at
https://easychair.org/conferences/?conf=mfcs2020

Submissions should be be formatted using the LIPIcs style with length not
exceeding 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 the LIPIcs style for submissions.

No prior publication or simultaneous submission to other conferences or
journals are allowed (except preprint repositories such as arXiv or
workshops without formal published proceedings).

PUBLICATION

MFCS 2020 proceedings will be published in LIPIcs (Leibniz International
Proceedings in Informatics) under an open source license (as in previous
years).

LIST OF TOPICS

We encourage submission of original research papers in all areas of
theoretical computer science, including (but not limited to) the following:

- algebraic and co-algebraic methods in computer science - algorithms and
data structures - automata and formal languages - bioinformatics -
combinatorics on words, trees, and other structures - computational
complexity (structural and model-related) - computational geometry -
computer-aided verification - computer-assisted reasoning - concurrency
theory - cryptography and security - databases and knowledge-based systems
- formal specifications and program development - foundations of computing
- logics in computer science - mobile computing - models of computation -
networks - parallel and distributed computing - quantum computing -
semantics and verification of programs - theoretical issues in artificial
intelligence and machine learning - types in computer science

COMMITTEES

See the conference website.

VENUE

The conference will be held in the Computer Science Building of Charles
University in the historic center of Prague.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************