ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

MFCS 2018 - 2018 Mathematical Foundations of Computer Science

Date2018-08-27 - 2018-08-31

Deadline2018-04-24

VenueLiverpool, UK - United Kingdom UK - United Kingdom

Keywords

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

Topics/Call fo Papers

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
semantics and verification of programs
theoretical issues in artificial intelligence
types in computer science

Last modified: 2018-03-25 22:36:26