LICS 2018 : IEEE Symposium on Logic in Computer Science

  in Conferences   Posted on September 5, 2017

Conference Information

Submission Deadline Wednesday 24 Jan 2018
Conference & Submission Link http://lics.siglog.org/lics18/
Conference Dates Jul 9, 2018 - Jul 12, 2018
Conference Address Oxford, United Kingdom
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 25
CORE 2017 Rating: A*
Guide2Research Overall Ranking: 174
Category Rankings
Computational Theory and Mathematics 19

Conference Call for Papers

LICS 2018 will be hosted in Oxford during 9–12 July 2018, as part of the Federated Logic Conference (FLOC).

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

Other Conferences in United Kingdom

ICWS 2019 : The 2019 International Conference on Web Services

Deadline :
Wed 06 Feb 2019
Jun 25, 2019 - Jun 30, 2019 - San Diego
United Kingdom

QEST 2019 : 16th International Conference on Quantitative Evaluation of SysTems

Deadline :
Fri 05 Apr 2019
Sep 9, 2019 - Sep 12, 2019 - Glasgow
United Kingdom