| Tietojenkäsittelytieteen logiikan symposium ACM-IEEE (LICS) | |
| Tyyppi | Akateeminen konferenssi |
|---|---|
| Luominen | 1988 |
| Sijainti | eri kaupungeissa |
| Järjestäjä | ACM: n logiikan ja laskennan erikoisryhmä (SIGLOG) ja IEEE |
| Päivämäärä | vuosittain |
| Verkkosivusto | http://lics.rwth-aachen.de/ |
ACM-IEEE Symposium on Logiikka tietotekniikassa (lyhennetty LIC ) on johtava tietokone Science Conference liittyvää matemaattista logiikkaa . Se tapahtuu vuosittain logiikan ja laskennan erityisryhmän (SIGLOG) alaisuudessa, ja sen järjestävät ACM ja IEEE .
Kuten useimmissa teoreettisen tietojenkäsittelytieteen luennoissa, ehdotetut julkaisut vertaisarvioidaan etukäteen. Hyväksyntäaste on huomattavasti alle 50%. Vuonna 2016 191 hakemuksesta hyväksyttiin 85 paperia. Valintaa varten saatiin 577 vertaisarviointia 264 arvostelijalta. Valitut artikkelit julkaistaan ACM: n ja IEEE: n yhdessä toimittamassa kollokviumissa. Yksityiskohtaiset versiot valituista artikkeleista ilmestyvät usein tunnetuissa lehdissä, kuten tietojenkäsittelytieteen logiikkamenetelmät tai laskennallisen logiikan ACM-tapahtumat.
Alun perin LICS: ää rahoitti vain IEEE ; Vuodesta 2014 lähtien LICS: stä on tullut ACM: n logiikan ja laskennan erikoisryhmän (SIGLOG |) lipputapahtuma, ja ACM ja IEEE tukevat sitä yhdessä.
Ensimmäisestä konferenssista vuonna 1988 lähtien konferenssijulkaisun kansilehteä on koristeltu piirustuksella, jonka otsikko on Irrational Tiling by Logical Quantifiers , jonka on kirjoittanut Alvy Ray Smith .
Konferenssin aiheita ovat: automaatiteoria , automaattinen vähennys, kategoriset mallit ja logiikka, samanaikaisuus ja hajautettu laskenta , rajoitusohjelmointi , rakentava matematiikka , tietokantateoria , päätöksentekomenettelyt, kuvaava logiikka , toimialueiden teoria , rajallisen mallin teoria , bioinformatiikan loogiset näkökohdat , looginen näkökohdat laskentamonimutkaisuuden , looginen osa kvanttilaskentaan , ohjelma logiikka, modaali ja ajallinen logiikka , malli todentaminen todennäköisyyspohjainen järjestelmiä, prosessi laskelmat, ohjelmointikielet semantiikkaa.
Konferenssin paikat vaihtelevat: ensimmäinen konferenssi, vuonna 1986, pidettiin Cambridgessa Massachusettsissa ; LICS 2014 Wienissä , LICS 2015 Kiotossa Japanissa, LICS 2016 Columbian yliopistossa New Yorkissa ja LICS 2017 Reykjavikissa .
Useita työpajoja järjestetään samanaikaisesti konferenssin kanssa. Vuoden 2016 konferenssia varten järjestettiin 5 työpajaa:
Jokaisesta istunnosta jaetaan kaksi palkintoa, palkinto parhaasta opiskelijaartikkelista ( Kleene-palkinto ) ja palkinto parhaasta yli 20-vuotiaasta artikkelista (ajan testaus ). Nämä palkinnot myöntää erityinen valintalautakunta.
Joka vuosi vuodesta 1995 lähtien Kleene-palkinto (vuonna) myönnetään parhaalle opiskelijalehdelle, joka on nimetty Stephen Cole Kleenen kunniaksi . Viimeisimmät voittajat:
2016Joka vuosi vuodesta 2006 lähtien LICS - aikatesti on jaettu artikkeleiksi, jotka ovat ilmestyneet konferenssijulkaisuissa vähintään 20 vuotta aikaisemmin ja joilla on edelleen vaikutusvaltaa.
2017