Simpozion ACM-IEEE privind logica în informatică (LICS) | |
Tip | Conferință academică |
---|---|
Creare | 1988 |
Locație | diferite orașe |
Organizator | Grupul de interese speciale ACM pentru logică și calcul (SIGLOG) și IEEE |
Datat | anual |
Site-ul web | http://lics.rwth-aachen.de/ |
ACM-IEEE Simpozionul Logic în informatică (abreviat ca LICS ) este lider de calculator conferința de știință referitoare la logica matematică . Are loc anual, sub auspiciile Grupului de interes special pentru logică și calcul (SIGLOG) și este organizat de ACM și IEEE .
Așa cum este cazul cu majoritatea prelegerilor de informatică teoretică, contribuțiile propuse sunt revizuite în prealabil. Rata de acceptare este semnificativ mai mică de 50%. Pentru 2016, au fost acceptate 85 de lucrări din 191 de trimiteri. Pentru selecție, au fost obținute 577 de opinii de la 264 recenzori. Articolele selectate sunt publicate în lucrările colocviului, editate în comun de ACM și IEEE. Versiunile detaliate ale articolelor selectate apar frecvent în reviste de renume, cum ar fi Metode logice în informatică sau ACM Transactions on Computational Logic
Inițial, LICS a fost finanțat doar de IEEE ; din 2014, LICS a devenit evenimentul emblematic al Grupului de interese speciale ACM pentru logică și calcul (SIGLOG |) și este sponsorizat în comun de ACM și IEEE.
De la prima conferință din 1988, pagina de copertă a lucrărilor conferinței a fost decorată cu un desen intitulat Irrational Tiling by Logical Quantifiers , de Alvy Ray Smith .
Subiectele conferinței includ: Teoria automatelor , deducerea automată, modele și logici categorice, concurența și calculul distribuit , programarea constrângerilor , matematica constructivă , teoria bazelor de date , procedurile decizionale , logica descriptivă , teoria domeniilor , teoria modelelor finite , aspectele logice ale bioinformaticii , logica aspecte ale complexității de calcul , aspecte logice ale calculului cuantic , logici ale programelor, logice modale și temporale , verificarea modelelor , sisteme probabilistice, calcule de proces, semantică a limbajelor de programare.
Locurile pentru conferință variază: prima conferință, în 1986, a avut loc la Cambridge, Massachusetts ; LICS 2014 la Viena , LICS 2015 la Kyoto , Japonia, LICS 2016 la Universitatea Columbia din New York și LICS 2017 la Reykjavik .
Mai multe ateliere au loc în același timp cu conferința. Pentru conferința din 2016, au existat 5 ateliere:
Două premii sunt acordate fiecărei sesiuni, premiul pentru cel mai bun articol studențesc ( premiul Kleene ) și premiul pentru cel mai bun articol de peste 20 de ani ( test-of-time ). Aceste recompense sunt acordate de un comitet special de selecție.
În fiecare an din 1995, se acordă un premiu Kleene (în) celui mai bun articol studențesc, numit în onoarea lui Stephen Cole Kleene . Câștigători recenți:
2016În fiecare an, începând cu 2006, premiul LICS Test-of-Time a fost acordat în semn de recunoaștere a articolelor care au apărut în lucrările conferinței cu cel puțin 20 de ani mai devreme și care continuă să aibă o influență.
2017