Mezinárodní kolokvium o automatech, jazycích a programování - International Colloquium on Automata, Languages and Programming

Mezinárodní kolokvium o automatech, jazycích a programování
ZkratkaICALP
DisciplínaTeoretická informatika
Podrobnosti o publikaci
VydavatelLIPIcs
Dějiny1972–
Frekvenceroční (od roku 1976)
Ano

ICALP, Mezinárodní kolokvium o automatech, jazycích a programování je akademická konference pořádá každoročně Evropská asociace pro teoretickou informatiku a drženy na různých místech v okolí Evropa. Stejně jako většina konferencí o teoretické informatice jsou její příspěvky silně recenzovány. Články se objevily ve sborníku publikovaném Springer v jejich Přednášky z informatiky, ale od roku 2016 jsou místo toho publikovány Leibniz International Proceedings in Informatics.[1]

Série konferencí ICALP byla založena Maurice Nivat,[2] který v roce 2006 uspořádal první ICALP Paříž, Francie v roce 1972. Druhý ICALP se konal v roce 1974 a od roku 1976 je ICALP každoroční akcí, která se dnes obvykle koná v červenci.

Konference byla tradičně tematicky rozdělena do dvou okruhů na téma „Algoritmy, složitost a hry“ (dráha A) a „automaty, logika, sémantika a teorie programování“ (dráha B), což odpovídá (alespoň do roku 2005) dvěma hlavní proudy deníku Teoretická informatika. Počínaje konferencí v roce 2005 byla přidána třetí stopa (stopa C), aby bylo možné hlubší pokrytí konkrétního tématu. Od roku 2005 do roku 2008 byla třetí skladba věnována „Zabezpečení a kryptografickým základům“ a v roce 2009 byla věnována tématu „Základy síťového výpočtu: modely, algoritmy a správa informací“. Trať C byla od konference v roce 2020 vypuštěna, přičemž příspěvky z těchto oblastí byly vyzvány k zaslání do Tratě A;[3] neobvyklá byla i konference v roce 2020, která se konala prakticky poprvé (původně se měla konat v čínském Pekingu a později se přesunula do německého Saarbrückenu).

Gödelova cena

Hlavní článek: Gödelova cena

Gödelova cena, cena za vynikající práce v teoretické informatice, kterou společně uděluje EATCS a ACM SIGACT, se uděluje každý druhý rok na ICALP. Prezentace ceny, která se uděluje každoročně, se střídá s konferencí STOC (ACM Symposium on Theory of Computing ).

Viz také

Reference

  1. ^ Příspěvek Jeffa Ericksona, předsedy řídícího výboru SoCG, 18. listopadu 2014, rovněž cituje z e-mailového oznámení o ICALP Luca Aceto, prezidenta EATCS.
  2. ^ Rozenberg, Grzegorz; Salomaa, Arto (2002). "ICALP, EATCS a Maurice Nivat". Teoretická informatika. 281 (1–2): 25–30. doi:10.1016 / S0304-3975 (02) 00005-1.
  3. ^ Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). „Přední obsah, obsah, předmluva, organizace konference, 47. mezinárodní kolokvium o automatech, jazycích a programování (ICALP 2020)“. Leibniz International Proceedings in Informatics. 168. doi:10.4230 / LIPIcs.ICALP.2020.0.

externí odkazy