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

FTfJP 2019 : 21st Workshop on Formal Techniques for Java-like Programs

Deadline :
Sun 21 Apr 2019
Jul 15, 2019 - Jul 19, 2019 - London
United Kingdom

IoEP 2019 : International Workshop on Internet of Elderly People

Deadline :
Fri 26 Apr 2019
Aug 19, 2019 - Aug 23, 2019 - Leicester
United Kingdom

BMVC 2019 : British Machine Vision Conference

Deadline :
Mon 29 Apr 2019
Sep 9, 2019 - Sep 12, 2019 - Cardiff
United Kingdom

WSDF 2019 : 12th International Workshop on Digital Forensics

Deadline :
Tue 30 Apr 2019
Aug 26, 2019 - Aug 29, 2019 - Canterbury
United Kingdom