Description

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2018 will be hosted at the University of Oxford as part of the Federated Logic Conference (FLOC 2018), during 9–12 July 2018, with affiliated workshops 7–8 and 13 July.

Call for paper

Description

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.

Message

Post a message

Refresh

Important dates

  • Conference Dates

    09 Jul.

    2018

    TO

    12 Jul.

    2018

  • 24 Jan.

    2018

    Abstract submission deadline

  • 31 Jan.

    2018

    Draft paper submission deadline

  • 31 Mar.

    2018

    Draft paper acceptance notification

Contact information

  • Irene Frawley
  • frawley@hq.acm.org

Sponsored By

  • IEEE

Organized By

  • ACM Special Interest Group on Logic and Computation SIGLOG

Conference Series