ACM-IEEE Symposium on Logic in Computer Science

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 .

Organisasjon

Utvalg og handlinger

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

Historisk

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 .

Temaer

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.

plassering

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:

LICS-pris

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é.

Kleene-prisen

Hvert år siden 1995 tildeles en Kleene Award  (in) til beste studentoppgave, kåret til ære for Stephen Cole Kleene . Nylige vinnere:

201620152014

pris Test-of-Time

Hvert å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.

20172016201520142013201220112010200920082007

Merknader

  1. Prakash Panangaden , “  Velkommen til SIGLOG!  », SIGLOG News , vol.  1, n o  1,juli 2014, s.  2–3 ( les online ).
  2. Irrational Tiling by Logical Quantifiers LICS cover av Alvy Ray Smith.
  3. Liste over mottakere .
  4. Nettstedet til LICS-priser

Relatert artikkel

Ekstern lenke