| Simpósio ACM-IEEE sobre Lógica em Ciência da Computação (LICS) | |
| Modelo | Conferência acadêmica |
|---|---|
| Criação | 1988 |
| Localização | várias cidades |
| Organizador | Grupo de interesse especial da ACM em lógica e computação (SIGLOG) e IEEE |
| Datado | anual |
| Local na rede Internet | http://lics.rwth-aachen.de/ |
O Simpósio ACM-IEEE sobre Lógica em Ciência da Computação (abreviado como LICS ) é a principal conferência de ciência da computação relacionada à lógica matemática . Acontece anualmente, sob os auspícios do Grupo de Interesse Especial em Lógica e Computação (SIGLOG) e é organizado pela ACM e IEEE .
Como é o caso da maioria das aulas teóricas de ciência da computação, as contribuições propostas são revisadas por pares. A taxa de aceitação é significativamente inferior a 50%. Para 2016, foram 85 trabalhos aceitos em 191 submissões. Para a seleção, foram obtidas 577 opiniões de pares de 264 revisores. Os artigos selecionados são publicados nos anais do colóquio, editados em conjunto pela ACM e pelo IEEE. Versões detalhadas de artigos selecionados aparecem frequentemente em periódicos renomados, como Logical Methods in Computer Science ou ACM Transactions on Computational Logic
Inicialmente, o LICS era financiado apenas pelo IEEE ; desde 2014, o LICS se tornou o principal evento do Grupo de Interesse Especial da ACM em Lógica e Computação (SIGLOG |) e é patrocinado conjuntamente pela ACM e pelo IEEE.
Desde a primeira conferência em 1988, a página de rosto dos anais da conferência foi decorada com um desenho intitulado Irrational Tiling by Logical Quantifiers , de Alvy Ray Smith .
Tópicos da conferência incluem: teoria dos autômatos , dedução automática, categóricas Models e lógicas, Concorrência e Distributed Computing , Programação por Restrições , Matemática construtivas , Teoria de banco de dados , processos de decisão, descritivo Lógica , teoria do domínio , teoria do modelo finito , aspectos lógicos de bioinformática , lógica aspectos de complexidade computacional , aspectos lógicos de computação quântica , lógica de programa, lógica modal e temporal , verificação de modelo , sistemas probabilísticos, cálculos de processo, semântica de linguagens de programação.
Os locais da conferência variam: a primeira, em 1986, foi realizada em Cambridge, Massachusetts ; LICS 2014 em Viena , LICS 2015 em Kyoto , Japão, LICS 2016 na Columbia University na cidade de Nova York e LICS 2017 em Reykjavik .
Vários Workshops acontecem ao mesmo tempo que a conferência. Para a conferência de 2016, houve 5 workshops:
São atribuídos dois prémios a cada sessão, o prémio para o melhor artigo do aluno ( prémio Kleene ) e o prémio para o melhor artigo com mais de 20 anos ( teste do tempo ). Essas recompensas são concedidas por um comitê de seleção especial.
Todos os anos, desde 1995, um Prêmio Kleene (in) é concedido ao melhor trabalho estudantil, nomeado em homenagem a Stephen Cole Kleene . Vencedores recentes:
2016Todos os anos, desde 2006, o Prêmio LICS Test-of-Time é concedido em reconhecimento a artigos que apareceram em anais de conferências pelo menos 20 anos antes e que continuam a ter uma influência.
2017