Internasjonalt kollokvium om automat, språk og programmering (ICALP) | |
Type | Akademisk konferanse |
---|---|
Opprettelse | 1972 |
plassering | forskjellige byer i Europa |
Arrangør | European Association for Theoretical Computer Science |
Datert | årlig siden 1976 |
Nettsted | http://eatcs.org/index.php/conferences |
International Colloquium on Automata, Languages and Programming (forkortet ICALP ) er den ledende europeiske akademiske konferansen innen teoretisk informatikk . Den er organisert av European Association for Theoretical Computer Science , og finner sted årlig på forskjellige steder over hele Europa .
Som det er tilfellet med de fleste forelesninger innen teoretisk informatikk, blir de foreslåtte bidragene fagfellevurdert. Konferansens forløp ble publisert i Lecture Notes in Computer Science av Springer frem til 2015; fra 2016 blir de utgitt av Leibniz-Zentrum für Informatik i Leibniz International Proceedings in Informatics (LIPcs) -samlingen.
Den første konferansen i serien ble holdt i 1972 i Paris , den andre i 1974 i Saarbrücken , og fra 1976 ble ICALP en årlig konferanse som tradisjonelt finner sted i midten av juli.
Konferansens tema var tradisjonelt delt inn i to deler, "spor A" -algoritmer, Automata, kompleksitet og spill og "spor B" -semantikk og teori om programmering . Siden 2005 har en ny del "sporet C" blitt lagt til, med tittelen Security and Cryptography Foundations fram til 2008, og Foundations of Networked Computation: Models, Algorithms and Information Management fra 2009. "Sporet C» vises ikke lenger siden 2020 , har temaene blitt innlemmet i spor A.
Temaene som ble behandlet under de siste ICALP-konferansene er vanligvis: beregningsevne , teori om automata , teori om formelle språk , analyse av algoritmer , kompleksitet , matematiske aspekter ved definisjonen av programmeringsspråk , logikk og semantikk i programmeringsspråk , baserer logikkprogrammering , automatisk demonstrasjon , programvarespesifikasjon, beregningsgeometri , datatyper og datastrukturer , databaseteori og systemkunnskapsbaser , kryptografi , strukturer VLSI , parallell databehandling og distribuert databehandling , modeller av konkurranse og robotikk .
Viktigheten av konferansen måles av publikum; i 2016 ble det sendt inn 515 artikler, den høyeste poengsummen noensinne nådd: 319 for spor A, 121 for spor B og 75 for spor C. Blant disse innleveringene ble 146 artikler valgt ut for det vitenskapelige programmet. I 2020 var det 470 innleveringer for spor A og 123 for spor B, 102 ble akseptert for spor A og 36 for spor B.
Den Gödel Prisen er en pris for fremragende artikler i teoretisk informatikk. Den deles ut i fellesskap av EATCS og den ACM SIGACT komiteen . Den blir presentert for prisvinnerne annet hvert år på ICALP-konferansen og de andre årene på STOC-konferansen ( ACM Symposium on Theory of Computing ).
Den Presburger Prisen er også presentert på ICALP konferansen. Andre priser deles ut under konferansen: " Best EATCS Paper Award " og " Best Student ICALP Paper Award " , som henholdsvis anerkjenner den beste artikkelen som er sendt inn og den beste artikkelen sendt inn av studenter.