Meetings/Workshops on Information Theory, Foundations of Computer Science in Iceland

Submit a meeting

Select a location:
Canada (1) - Czech Republic (1) - Hungary (1) - Iceland (1) - Italy (1) - Poland (1) - Singapore (1) - Taiwan (2) - United States (3) - ALL COUNTRIES (12)

1
LICS — 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
20 Jun 2017 - 23 Jun 2017 • Reykjavik, Iceland
Abstract:
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.
Event listing ID:
837267

View all listed conferences in Iceland.



Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!