| ACM-IEEE-Symposium über Logik in der Informatik (LICS) | |
| Art | Akademische Konferenz |
|---|---|
| Schaffung | 1988 |
| Ort | verschiedene Städte |
| Veranstalter | ACM Special Interest Group für Logik und Berechnung (SIGLOG) und IEEE |
| Datiert | jährlich |
| Webseite | http://lics.rwth-aachen.de/ |
Die ACM-IEEE Symposium on Logik in der Informatik (abgekürzt als LICS ) ist der führende Computerwissenschaftskonferenz zu verwandten mathematischen Logik . Sie findet jährlich unter der Schirmherrschaft der Special Interest Group für Logik und Berechnung (SIGLOG) statt und wird von ACM und IEEE organisiert .
Wie bei den meisten Vorlesungen in theoretischer Informatik werden die vorgeschlagenen Beiträge von Experten begutachtet. Die Akzeptanzquote liegt deutlich unter 50%. Für das Jahr 2016 wurden 85 von 191 Einreichungen angenommen. Für die Auswahl wurden 577 Peer Opinions von 264 Gutachtern eingeholt. Die ausgewählten Artikel werden im Rahmen des Kolloquiums veröffentlicht, das von ACM und IEEE gemeinsam herausgegeben wird. Detaillierte Versionen ausgewählter Artikel erscheinen häufig in renommierten Fachzeitschriften wie Logical Methods in Computer Science oder ACM Transactions on Computational Logic
Ursprünglich wurde LICS nur vom IEEE finanziert . Seit 2014 ist LICS das Flaggschiff der ACM Special Interest Group für Logik und Berechnung (SIGLOG |) und wird gemeinsam von ACM und IEEE gesponsert.
Seit der ersten Konferenz im Jahr 1988 wurde das Deckblatt des Konferenzberichts mit einer Zeichnung mit dem Titel Irrational Tiling by Logical Quantifiers von Alvy Ray Smith verziert .
Themen der Konferenz sind: Automatentheorie , Automatische Deduktion, kategorische Modelle und Logiken, Concurrency und Distributed Computing , Constraint - Programmierung , Konstruktive Mathematik , Datenbanktheorie , Entscheidungsverfahren, Beschreibende Logics , Domain - Theorie , endliche Modelltheorie , logische Aspekte der Bioinformatik , logische Aspekte der Rechenkomplexität , logische Aspekte der Quantenberechnung , Programmlogik , modale und zeitliche Logik , Modellverifikation , Wahrscheinlichkeitssysteme, Prozessberechnungen, Semantik von Programmiersprachen.
Die Veranstaltungsorte variieren: Die erste Konferenz fand 1986 in Cambridge, Massachusetts, statt ; LICS 2014 in Wien , LICS 2015 in Kyoto , Japan, LICS 2016 an der Columbia University in New York City und LICS 2017 in Reykjavik .
Gleichzeitig mit der Konferenz finden mehrere Workshops statt. Für die Konferenz 2016 gab es 5 Workshops:
Pro Sitzung werden zwei Preise vergeben, der Preis für den besten Artikel für Studenten ( Kleene-Preis ) und der Preis für den besten Artikel über 20 Jahre ( Test der Zeit ). Diese Belohnungen werden von einem speziellen Auswahlkomitee vergeben.
Seit 1995 wird jedes Jahr ein Kleene-Preis (in) für die beste studentische Arbeit vergeben, die zu Ehren von Stephen Cole Kleene benannt wurde . Jüngste Gewinner:
2016Seit 2006 wird jedes Jahr der LICS Test-of-Time Award für Artikel verliehen, die mindestens 20 Jahre zuvor in Konferenzberichten erschienen sind und weiterhin Einfluss haben.
2017