| Simposio ACM-IEEE sulla logica in informatica (LICS) | |
| genere | Conferenza accademica |
|---|---|
| Creazione | 1988 |
| Posizione | varie città |
| Organizzatore | ACM Special Interest Group on Logic and Computation (SIGLOG) e IEEE |
| Datato | annuale |
| Sito web | http://lics.rwth-aachen.de/ |
L' ACM-IEEE Symposium on Logic in Computer Science (abbreviato in LICS ) è la principale conferenza di informatica relativa alla logica matematica . Si svolge ogni anno, sotto gli auspici dello Special Interest Group on Logic and Computation (SIGLOG) ed è organizzato da ACM e IEEE .
Come nel caso della maggior parte delle lezioni di informatica teorica, i contributi proposti sono sottoposti a revisione paritaria. Il tasso di accettazione è notevolmente inferiore al 50%. Per il 2016, sono stati accettati 85 articoli su 191 candidature. Per la selezione, sono state ottenute 577 pareri tra pari da 264 revisori. Gli articoli selezionati sono pubblicati negli atti del convegno, curati congiuntamente da ACM e IEEE. Versioni dettagliate di articoli selezionati appaiono spesso in riviste rinomate come Logical Methods in Computer Science o ACM Transactions on Computational Logic
Inizialmente, LICS è stato finanziato solo dall'IEEE ; dal 2014 LICS è diventato l'evento di punta dell'ACM Special Interest Group on Logic and Computation (SIGLOG |) ed è sponsorizzato congiuntamente da ACM e IEEE.
Dalla prima conferenza nel 1988, la copertina degli atti della conferenza è stata decorata con un disegno intitolato Irrational Tiling di Logical Quantifiers , di Alvy Ray Smith .
Gli argomenti della conferenza includono: teoria degli automi , deduzione automatica, modelli e logiche categoriali, concorrenza e calcolo distribuito , programmazione con vincoli , matematica costruttiva , teoria del database , procedure decisionali, logica descrittiva , teoria del dominio , teoria dei modelli finiti , aspetti logici della bioinformatica , logica aspetti della complessità computazionale , aspetti logici del calcolo quantistico , logica del programma, logica modale e temporale , verifica del modello , sistemi probabilistici, calcoli di processo, semantica dei linguaggi di programmazione.
Le sedi della conferenza variano: la prima conferenza, nel 1986, si è tenuta a Cambridge, nel Massachusetts ; LICS 2014 a Vienna , LICS 2015 a Kyoto , Giappone, LICS 2016 alla Columbia University di New York City e LICS 2017 a Reykjavik .
Parecchi seminari si svolgono contemporaneamente alla conferenza. Per la conferenza del 2016, ci sono stati 5 workshop:
Ad ogni sessione vengono assegnati due premi, il premio per il miglior articolo degli studenti ( premio Kleene ) e il premio per il miglior articolo con più di 20 anni ( prova di tempo ). Questi premi vengono assegnati da uno speciale comitato di selezione.
Ogni anno dal 1995, un Kleene Award (in) viene assegnato al miglior giornale studentesco, chiamato in onore di Stephen Cole Kleene . Vincitori recenti:
2016Ogni anno, dal 2006, il LICS Test-of-Time Award è stato assegnato in riconoscimento di articoli apparsi negli atti di una conferenza almeno 20 anni prima e che continuano ad avere un'influenza.
2017