Conference Information
LICS 2018 : IEEE Symposium on Logic in Computer Science
http://lics.siglog.org/lics18/
Submission Date:
2018-01-24
Notification Date:
2018-03-31
Conference Date:
2018-07-09
Location:
Oxford, UK
Years:
33
CCF: a   CORE: a*   QUALIS: a2   Viewed: 8528   Tracked: 15   Attend: 1

Conference Location
Advertisment
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.
Last updated by Dou Sun in 2017-09-16
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCSITInternational Conference on Computer Science and Information Technology2016-10-152016-11-052016-12-07
IDCSInternational Conference on Internet and Distributed Computing Systems2017-08-302017-10-102017-12-11
cb1CFInternational Conference on Computing Frontiers2017-02-032017-03-142017-05-15
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2016-12-012017-03-012017-06-19
bICWITSInternational Conference on Wireless Information Technology and Systems2012-04-01 2012-07-29
ba*a1SODAACM-SIAM Symposium on Discrete Algorithms2017-07-06 2018-01-07
b2MICAIMexican International Conference on Artificial Intelligence2015-06-232015-07-252015-10-25
MELECONMediterranean Electrotechnical Conference2015-10-302015-11-302016-04-18
bLISALarge Installation System Administration Conference2015-04-202015-06-052015-11-08
bb1ISITInternational Symposium on Information Theory2016-01-242016-04-032016-07-10
Related Journals
CCFFull NameImpact FactorPublisherISSN
bTheoretical Computer Science0.643ELSEVIER0304-3975
Ethics and Information Technology0.497Springer1388-1957
Security Informatics Springer2190-8532
IET Radar, Sonar & Navigation1.099IET1751-8784
cJournal of Logic and Computation0.586Oxford University Press0955-792X
Artificial Intelligence and Law Springer0924-8463
bJournal of Computer and System Sciences1.583ELSEVIER0022-0000
Bioprocess and Biosystems Engineering Bioprocess and Biosystems Engineering0.383Springer1615-7591
aProceedings of the IEEE5.096IEEE0018-9219
Journal of Discrete Algorithms ELSEVIER1570-8667
Recommendation