ACM-IEEE Symposium on Logic in Computer Science (LICS) | |
Type | Akademisk konferanse |
---|---|
Opprettelse | 1988 |
plassering | forskjellige byer |
Arrangør | ACM Special Interest Group on Logic and Computation (SIGLOG) og IEEE |
Datert | årlig |
Nettsted | http://lics.rwth-aachen.de/ |
Den ACM-IEEE Symposium på Logic i informatikk (forkortet til Lics ) er den ledende datavitenskap konferanse relatert til matematisk logikk . Det foregår årlig, i regi av Special Interest Group on Logic and Computation (SIGLOG) og er organisert av ACM og IEEE .
Som det er tilfellet med de fleste forelesninger innen teoretisk informatikk, blir de foreslåtte bidragene fagfellevurdert. Aksepteringsgraden er betydelig under 50%. For 2016 var det 85 papirer akseptert av 191 innleveringer. For utvalget ble 577 fagfellevurderinger innhentet fra 264 anmeldere. De utvalgte artiklene blir publisert i saksgangen til kollokviet, redigert i fellesskap av ACM og IEEE. Detaljerte versjoner av utvalgte artikler vises ofte i anerkjente tidsskrifter som Logical Methods in Computer Science eller ACM Transactions on Computational Logic
I utgangspunktet ble LICS kun finansiert av IEEE ; siden 2014 har LICS blitt flaggskipshendelsen til ACM Special Interest Group on Logic and Computation (SIGLOG |) og er felles sponset av ACM og IEEE.
Siden den første konferansen i 1988 har forsiden til konferanseprosedyrene blitt dekorert med et design med tittelen Irrational Tiling by Logical Quantifiers , av Alvy Ray Smith .
Temaene for konferansen inkluderer: Automata Theory , Automatic Deduction, Categorical Models and Logics, Concurrency and Distributed Computing , Constraint Programming , Constructive Mathematics , Database Theory , Decision Procedures, Descriptive Logics , Domain Theory , finite model theory , logical aspect of bioinformatics , logical aspekter av beregningsorientert kompleksitet , logiske aspekter av quantum beregning , program logikk, modal og tidsmessige logikk , modell verifikasjon , sannsynlighetssystemer, prosessberegninger, programmeringsspråk semantikk.
Stedene for konferansen varierer: den første konferansen, i 1986, ble avholdt i Cambridge, Massachusetts ; LICS 2014 i Wien , LICS 2015 i Kyoto , Japan, LICS 2016 ved Columbia University i New York City og LICS 2017 i Reykjavik .
Flere workshops foregår samtidig med konferansen. For 2016-konferansen var det 5 workshops:
To priser deles ut hver økt, prisen for den beste studentartikkelen ( Kleene-prisen ) og prisen for den beste artikkelen over 20 år ( test-of-time ). Disse belønningene tildeles av en spesiell valgkomité.
Hvert år siden 1995 tildeles en Kleene Award (in) til beste studentoppgave, kåret til ære for Stephen Cole Kleene . Nylige vinnere:
2016Hvert år siden 2006 har LICS Test-of-Time Award blitt delt ut som en anerkjennelse av artikler som dukket opp i konferansesaker minst 20 år tidligere og som fortsatt har innflytelse.
2017