|
ACM-IEEE Symposium on Logic in Computer Science
La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique. Elle a lieu annuellement, sous les auspices du Special Interest Group on Logic and Computation (SIGLOG) et est organisée par l'ACM et le IEEE. OrganisationSélection et actesComme c'est le cas pour la plupart des conférences en informatique théorique, les contributions proposées sont évaluées au préalable par des pairs. Le taux d'acceptation est nettement inférieur à 50 %. Pour 2016, il y a eu 85 articles acceptés parmi les 191 soumissions. Pour la sélection, 577 avis de pairs ont été obtenus de 264 rapporteurs. Les articles retenus sont publiés dans les actes du colloque, éditées conjointement par l'ACM et l'IEEE. Des versions détaillées d'articles retenus paraissent fréquemment dans des revues de renom comme Logical Methods in Computer Science ou ACM Transactions on Computational Logic HistoriqueAu départ, LICS était financée seulement par la IEEE ; depuis 2014 LICS est devenu l'événement phare du ACM Special Interest Group on Logic and Computation (SIGLOG|) et est patronnée en commun par l'ACM et la IEEE[1]. Depuis la première conférence en 1988, la page de couverture des actes du colloque est décorée d'un dessin intitulé Irrational Tiling by Logical Quantifiers, par Alvy Ray Smith[2]. ThèmesLes sujets de la conférence comprennent notamment : Théorie des automates, déduction automatique, modèles et logiques catégoriques, concurrence et calcul distribué, programmation par contraintes, mathématiques constructives, théorie des bases de données, procédures de décision, logiques de description, théorie des domaines, théorie des modèles finis, aspects logiques de la bio-informatique, aspects logiques de la complexité des calculs, aspects logiques du calcul quantique, logiques de programmes, logiques modales et temporelles, vérification de modèles, systèmes probabilistes, calculs de processus, langages de programmation sémantiques. LocalisationLes lieux de la conférence varient : la première conférence, en 1986, a eu lieu à Cambridge (Massachusetts) ; LICS 2014 à Vienne, LICS 2015 à Kyoto, Japon, LICS 2016 à Columbia University à New York City et LICS 2017 à Reykjavik. Plusieurs Workshop ont lieu en même temps que la conférence. Pour la conférence de 2016, il y avait 5 workshops :
Prix LICSDeux prix sont décernés à chaque session, le prix du meilleur article d'étudiant (prix Kleene) et le prix du meilleur article de plus de 20 ans (test-of-time). C'est un comité de sélection spécial qui attribue ces récompenses. prix KleeneChaque année depuis 1995, un Kleene award (en) est décerné au meilleur article d'étudiant, nommé ainsi en l'honneur de Stephen Cole Kleene[3]. Lauréats récents :
prix Test-of-TimeChaque année depuis 2006, le prix LICS Test-of-Time Award est remis en reconnaissance des articles parus dans les actes de colloques au moins 20 ans plus tôt et qui continuent à avoir une influence[4].
Notes
Article lié
Lien externeInformation related to ACM-IEEE Symposium on Logic in Computer Science |
||||||||||||||||||
