Symposium on Logic in Computer Science - Symposium on Logic in Computer Science
 | tento článek potřebuje další citace pro ověření. (Červenec 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The ACM – IEEE Symposium on Logic in Computer Science (LICS) je roční akademická konference o teorii a praxi počítačová věda ve vztahu k matematická logika. Rozšířené verze vybraných příspěvků z každoroční konference se objevují v renomovaných mezinárodních časopisech jako např Logické metody v informatice a Transakce ACM ve výpočetní logice.
Dějiny
LICS původně sponzorovala pouze IEEE, ale od založení 2014 Zvláštní zájmová skupina ACM pro logiku a výpočet LICS se stala vlajkovou lodí konference SIGLOG pod společným sponzorstvím ACM a IEEE.[1]
Od prvního pokračování v roce 1988 obsahuje titulní strana sborníku umělecké dílo s názvem Iracionální skládání logickými kvantifikátorytím, že Alvy Ray Smith.[2]
Od roku 1995 každý rok Cena Kleene je věnována nejlepší studentské práci. Kromě toho od roku 2006 LICS Test-of-Time Award se každoročně věnuje jednomu z dvaceti let starých dokumentů LICS, které nejlépe splnily test času.[3]
Ocenění LICS
Cena za zkoušku času
Cena LICS Test-of-Time Award každý rok oceňuje ty články ze sborníku LICS o 20 let dříve, které se staly vlivnými.
2006
- Leo Bachmair, Nachum Dershowitz, Jieh Hsiang „Objednávky pro rovné důkazy“
- E. Allen Emerson, Chin-Laung Lei „Efektivní kontrola modelu ve fragmentech výrokového Mu-kalkulu (rozšířený abstrakt)“
- Moshe Y. Vardi, Pierre Wolper „Automaticko-teoretický přístup k automatickému ověření programu (předběžná zpráva)“
2007
- Samson Abramsky „Doménová teorie v logické formě“
- Robert Harper, Furio Honsell, Gordon D. Plotkin „Rámec pro definování logiky“
2008
- Martin Abadi, Leslie Lamport „Existence mapování upřesnění“
2009
- Eugenio Moggi „Výpočetní výpočet lambda a monády“
2010
- Rajeev Alur, Costas Courcoubetis, David L. Dill „Kontrola modelu pro systémy v reálném čase“
- Jerry R. Burch, Edmund Clarke, Kenneth L. McMillan, David L. Dill, James Hwang „Symbolická kontrola modelu: 10 ^ 20 stavů a dále“
- Max Dauchet, Sophie Tison „„ Teorie pozemních přepisovacích systémů je rozhodná “
- Peter Freyd „Rekurzivní typy redukovány na indukční“
2011
- Patrice Godefroid, Pierre Wolper „Částečný přístup ke kontrole modelu“
- Joshua Hodas, Dale A. Miller „Logické programování ve fragmentu intuitivní lineární logiky“
- Dexter Kozen „Věta o úplnosti pro Kleene algebry a algebru pravidelných událostí“
2012
- Thomas Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine „Symbolická kontrola modelu pro systémy v reálném čase“
- Jean-Pierre Talpin, Pierre Jouvelot „Disciplína typu a účinku“
2013
- Leo Bachmair, Harald Ganzinger, Uwe Waldmann „Nastavená omezení jsou monadická třída“
- André Joyal, Mogens Nielson, Glynn Winskel „Bisimulace a otevřené mapy“
- Benjamin C. Pierce, Davide Sangiorgi „Psaní a podtypování pro mobilní procesy“
2014
- Martin Hofmann, Thomas Streicher „Skupinový model vyvrací jedinečnost důkazů totožnosti“
- Dale A. Miller „Meta-logika s více závěry“
2015
- Igor Walukiewicz „Úplnost Kozenovy axiomatizace výrokového Mu-kalkulu“
2016
- Parosh A. Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay „Obecné věty o rozhodovatelnosti pro systémy nekonečného stavu“
- Iliano Cervesato, Frank Pfenning „Lineární logický rámec“
2017
- Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden „Bisimulace pro značené Markovovy procesy“
- Daniele Turi, Gordon D. Plotkin „Směrem k matematické operativní sémantice“
2018
- Martín Abadi, Cédric Fournet, Georges Gonthier „Zabezpečená implementace abstrakcí kanálu“
- Samson Abramsky, Kohei Honda, Guy McCusker „Plně abstraktní herní sémantika pro obecné reference“
2019
- Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi „Abstraktní syntaxe a proměnná vazba“
- Murdoch Gabbay, Andrew M. Pitts „Nový přístup k abstraktním pojmům zahrnujícím syntaxi“
2020
- Luca de Alfaro, Thomas A. Henzinger „Souběžné pravidelné hry Omega“
- Hiroši Nakano „Modalita pro rekurzi“
Cena Kleene
Na každé konferenci Cena Kleene, ve cti S.C.Kleene, je uveden za nejlepší studentskou práci.
Viz také
- The seznam konferencí o informatice obsahuje další akademické konference v informatice.
Poznámky
- ^ Panangaden, Prakash (Červenec 2014), „Vítejte na SIGLOGU!“, Dopis předsedy, Novinky SIGLOG, 1 (1): 2–3.
- ^ Iracionální skládání logickými kvantifikátory LICS kryt Alvy Ray Smith.
- ^ Web ocenění LICS