MFCS: Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MFCS 2018 Mathematical Foundations of Computer Science
Aug 27, 2018 - Aug 31, 2018 Liverpool, UK Apr 24, 2018 (Apr 20, 2018)
MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science
Aug 21, 2017 - Aug 25, 2017 Aalborg, Denmark Apr 24, 2017 (Apr 20, 2017)
MFCS 2016 International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2016 - Aug 26, 2016 Krakow (Poland) Apr 25, 2016 (Apr 21, 2016)
MFCS 2015 40th International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2015 - Aug 28, 2015 Milano, Italy Apr 22, 2015
MFCS 2014 39th International Symposium on Mathematical Foundations of Computer Science
Aug 25, 2014 - Aug 29, 2014 Budapest, Hungary Apr 18, 2014
MFCS 2013 38 International Symposium on Mathematical Foundations of Computer Science
Aug 26, 2013 - Aug 30, 2013 Klosterneuburg, Austria Apr 19, 2013
MFCS 2011 36th International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2011 - Aug 26, 2011 Warsaw, Poland Apr 15, 2011
MFCS 2010 35th International Symposium on Mathematical Foundations of Computer Science
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Republic Apr 15, 2010 (Apr 10, 2010)
MFCS 2009 34st International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2009 - Aug 28, 2009 Novy Smokovec, Slovakia Apr 15, 2009 (Apr 10, 2009)
 
 

Present CFP : 2018


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

ICCV 2019   International Conference on Computer Vision
SIPRO 2019   5th International Conference on Signal and Image Processing
ICDMML 2019   2019 International Conference on Data Mining and Machine Learning
AI 2018   4th International Conference on Artificial Intelligence and Applications
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
MathSJ 2018   Applied Mathematics and Sciences: An International Journal
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
GRAPH-HOC 2018   10th International Conference on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference