International Colloquium on Automata, Languages and Programming
E97967
The International Colloquium on Automata, Languages and Programming (ICALP) is a leading annual conference in theoretical computer science, focusing on automata theory, formal languages, algorithms, and computational complexity.
Aliases (1)
- ICALP ×2
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
→
computer science conference → theoretical computer science conference → |
| abbreviation |
ICALP
→
|
| accepts |
research papers
→
|
| field |
algorithms
→
automata theory → computational complexity theory → formal languages → theoretical computer science → |
| firstLocation |
Paris
→
|
| frequency |
annual
→
|
| hasActivity |
contributed talks
→
invited talks → tutorials → workshops → |
| hasProceedings |
conference proceedings
→
|
| hasTrack |
Track A: Algorithms, Complexity and Games
→
Track B: Automata, Logic, Semantics and Theory of Programming → Track C: Foundations of Networked Computation → |
| inceptionYear |
1972
→
|
| notableFor |
leading venue in theoretical computer science
→
|
| organizedBy |
European Association for Theoretical Computer Science
→
|
| proceedingsPublisher |
Springer
→
|
| proceedingsSeries |
Lecture Notes in Computer Science
→
|
| region |
Europe
→
|
| reviewProcess |
peer-reviewed
→
|
| scope |
international
→
|
| shortName |
ICALP
→
|
| sponsoredBy |
European Association for Theoretical Computer Science
NERFINISHED
→
|
| targetAudience |
graduate students in computer science
→
researchers in theoretical computer science → |
| topic |
algorithm design
→
automata → combinatorics on words → computational complexity → computational learning theory → concurrency theory → cryptography theory → data structures → distributed computing theory → formal language theory → logic in computer science → quantum computation theory → semantics of programming languages → |
| typicalLocation |
European city
→
|
| website |
https://icalp2024.irif.fr/
→
|
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
International Colloquium on Automata, Languages and Programming
("ICALP")
→
|
abbreviation |
|
International Colloquium on Automata, Languages and Programming
("ICALP")
→
|
shortName |
|
Gödel Prize
→
|
typicalVenue |