| ACM-IEEE Symposium on Logic in Computer Science (LICS) | |
| Rodzaj | Konferencja naukowa |
|---|---|
| kreacja | 1988 |
| Lokalizacja | w różnych miastach |
| Organizator | ACM Special Interest Group on Logic and Computation (SIGLOG) oraz IEEE |
| Przestarzały | roczny |
| Stronie internetowej | http://lics.rwth-aachen.de/ |
ACM-IEEE Symposium on Logic in Computer Science (w skrócie LIC ) jest wiodącą komputer konferencja naukowa związana z logiki matematycznej . Odbywa się corocznie pod auspicjami Grupy Specjalnych ds. Logiki i Obliczeń (SIGLOG) i jest organizowana przez ACM i IEEE .
Podobnie jak w przypadku większości wykładów z informatyki teoretycznej, proponowane artykuły są wcześniej recenzowane. Wskaźnik akceptacji jest znacznie mniejszy niż 50%. Na rok 2016 przyjęto 85 referatów na 191 zgłoszeń. Do selekcji uzyskano 577 opinii rówieśników od 264 recenzentów. Wybrane artykuły są publikowane w materiałach z kolokwium, które są wspólnie redagowane przez ACM i IEEE. Szczegółowe wersje wybranych artykułów często pojawiają się w renomowanych czasopismach, takich jak Logical Methods in Computer Science czy ACM Transactions on Computational Logic
Początkowo LICS był finansowany tylko przez IEEE ; od 2014 LICS stało się flagowym wydarzeniem ACM Special Interest Group on Logic and Computation (SIGLOG |) i jest wspólnie sponsorowane przez ACM i IEEE.
Od pierwszej konferencji w 1988 r. Okładka materiałów konferencyjnych została ozdobiona projektem zatytułowanym Irrational Tiling by Logical Quantifiers autorstwa Alvy'ego Raya Smitha .
Tematy konferencji to: teoria automatów , automatyczne dedukcje, modele kategorialne i logika, współbieżność i obliczenia rozproszone , programowanie z ograniczeniami , matematyka konstruktywna , teoria baz danych , procedury decyzyjne, logika opisowa , teoria domen , teoria modeli skończonych , logiczne aspekty bioinformatyki , logika aspekty złożoności obliczeniowej , logiczne aspekty obliczeń kwantowych , logika programu, logika modalna i czasowa , weryfikacja modeli , systemy probabilistyczne, obliczenia procesowe, semantyka języków programowania.
Konferencja odbywa się w różnych miejscach: pierwsza konferencja w 1986 roku odbyła się w Cambridge, Massachusetts ; LICS 2014 w Wiedniu , LICS 2015 w Kioto w Japonii, LICS 2016 na Columbia University w Nowym Jorku i LICS 2017 w Reykjaviku .
W tym samym czasie co konferencja odbywa się kilka warsztatów . Podczas konferencji 2016 odbyło się 5 warsztatów:
W każdej sesji przyznawane są dwie nagrody: nagroda za najlepszy artykuł studencki ( nagroda Kleene ) oraz nagroda za najlepszy artykuł powyżej 20 lat ( próba czasu ). Nagrody te przyznaje specjalna komisja selekcyjna.
Każdego roku od 1995 r. Przyznawana jest (w) nagrodę Kleene najlepszej pracy studenckiej, nazwanej na cześć Stephena Cole Kleene . Niedawni zwycięzcy:
2016Od 2006 roku corocznie przyznawana jest nagroda LICS Test-of-Time w uznaniu artykułów, które ukazały się w materiałach konferencyjnych co najmniej 20 lat wcześniej i które nadal mają wpływ.
2017