Konferenzen zum Thema Informationstheorie und Grundlagen der Informatik in Island

Wählen Sie ein Land aus:
Island (1) - Italien (1) - Polen (1) - Singapur (1) - Taiwan (2) - Tschechische Republik (1) - Ungarn (1) - Vereinigte Staaten (3) - ALLE LÄNDER (11)

1
LICS — 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
20. Jun 2017 - 23. Jun 2017 • Reykjavik, Island
Zusammenfassung:
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.
Eintrags-ID:
837190

Alle Konferenzen in Island anzeigen.



Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.