posted by organizer: igor_potapov || 444 views || tracked by 6 users: [display]

MFCS 2018 : Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://mfcs2018.csc.liv.ac.uk/
 
When Aug 27, 2018 - Aug 31, 2018
Where Liverpool, UK
Abstract Registration Due Apr 20, 2018
Submission Deadline Apr 24, 2018
Notification Due Jun 12, 2018
Categories    theoretical computer science   algorithms   computation theory   logic
 

Call For Papers


43nd International Symposium on
Mathematical Foundations of Computer Science
MFCS 2018
Liverpool, UK, August 27-31, 2018

http://mfcs2018.csc.liv.ac.uk


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 (including Austria, Hungary, Italy, Poland, 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 specialised venues. MFCS 2018 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. Please contact the organisers if you could like to run co-located workshop at MFCS 2018.

Venue: MFCS 2018 will be hosted at the Crowne Plaza Liverpool City Centre .
This is a short (~10-15 minute) walk from Liverpool Lime St Station.
Similarly, it is a 10 minute walk from the Paradise St Bus Station
and the Liverpool One shopping center.

INVITED SPEAKERS of MFCS2018:

• Christel Baier (TU Dresden, Germany)
• Olivier Bournez (LIX, France)
• Herbert Edelsbrunner (IST, Austria)
• Leslie Ann Goldberg (University of Oxford, UK)
• Christos H. Papadimitriou (UC Berkeley, USA)

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

- 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-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 (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 20th, 2018 (AoE)
Paper submission deadline: April 24th, 2018 (AoE)
Notification of authors: June 12th, 2018 (AoE)
Conference dates: August 27-31, 2018


PAPER SUBMISSION:

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

Submissions should be prepared according to the following instructions:
Papers should be formatted using the LIPIcs style.
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)

PROGRAM COMMITTEE CHAIRS:
• Igor Potapov (University of Liverpool, UK, chair)
• Paul Spirakis (University of Liverpool, UK, co-chair)
• James Worrell (University of Oxford, UK, co-chair)

PROGRAM COMMITTEE:

• Eric Allender
• Andris Ambainis
• Valérie Berthé
• Patricia Bouyer-Decitre
• Jean Cardinal
• Xiaotie Deng
• Volker Diekert
• Stephanie Delaune
• Nathanaël Fijalkow
• Dimitris Fotakis
• Leszek Gasieniec
• Gregory Gutin
• Christoph Haase
• Mika Hirvensalo
• Juraj Hromkovic
• Jarkko Kari
• Bakhadyr Khoussainov
• Lefteris Kirousis
• Bartek Klin
• Adrian Kosowski
• Steve Kremer
• Antonín Kucera
• Vitaliy Kurlin
• Orna Kupferman
• Ranko Lazic
• Vadim Lozin
• Conrado Martinez
• Richard Mayr
• Pierre Mckenzie
• George Mertzios
• Sotiris Nikoletseas
• Vangelis Paschos
• Giuseppe Persiano
• Pierre-Alain Reynier
• Jose Rolim
• Christian Scheideler
• Maria Serna
• Alexandra Silva
• Philippas Tsigas
• Prudence Wong
• Moti Yung
• Standa Zivny

LOCAL ORGANISERS, University of Liverpool

• Igor Potapov
• Leszek Gasieniec
• Russell Martin
• Prudence Wong


MFCS 2018 is generously supported by several sponsors:

• London Mathematical Society (LMS)
• European Association for Theoretical Computer Science (EATCS)
• University of Liverpool, Department of Computer Science
• Networks Sciences and Technologies (NeST)

Related Resources

IJESA 2018   International Journal of Embedded Systems and Applications
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
CGDEIJ 2018   Computer Game Development and Education
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
CONCUR 2018   29th International Conference on Concurrency Theory
SENSORS. S.I. A&DC IoT 2018   SENSORS. Special Issue Algorithm and Distributed Computing for the Internet of Things
ICSTR 2018   ICSTR Bangkok – International Conference on Science & Technology Research, 21-22 December, 2018
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
SECITC 2018   11th International Conference on Security for Information Technology and Communications