257:. Beginning with the 2005 conference, a third track (Track C) was added in order to allow deeper coverage of a particular topic. From 2005 until 2008, the third track was dedicated to "Security and Cryptography Foundations", and in 2009, it is devoted to the topic "Foundations of Networked Computation: Models, Algorithms and Information Management". Track C was dropped from the 2020 conference, with submissions from these areas invited to submit into Track A. Because of the COVID-19 pandemic, the 2020 conference was also unusual, taking place virtually for the first time (having been originally scheduled to take place in Beijing, China and later moved to Saarbrücken, Germany). ICALP 2021 took place virtually too.
33:
252:
Since 1999, the conference was thematically split into two tracks on "Algorithms, Complexity and Games" (Track A) and "Automata, Logic, Semantics, and Theory of
Programming" (Track B), corresponding to the (at least until 2005) two main streams of the journal
215:
97:
69:
806:
76:
231:
145:
83:
816:
65:
222:. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by
254:
90:
293:
280:
279:, is presented every second year at ICALP. Presentation of the prize, which is awarded annually, alternates with the conference STOC (
726:
227:
116:
54:
47:
249:
in 1972. The second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July.
223:
811:
366:
Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). "Front Matter, Table of
Contents, Preface, Conference Organization".
300:
150:
493:
43:
700:
271:
The Gödel Prize, a prize for outstanding papers in theoretical computer science and awarded jointly by the
687:
670:
637:
601:
617:
211:
189:
371:
346:
323:, also quoting from an email announcement about ICALP by Luca Aceto, President of the EATCS.
674:
641:
621:
497:
320:
768:
531:
501:
266:
351:
334:
800:
238:
442:
421:
400:
645:
368:
47th
International Colloquium on Automata, Languages, and Programming (ICALP 2020)
321:
Posting by Jeff
Erickson, chair of the SoCG steering committee, November 18, 2014
758:
721:
376:
32:
658:
579:
562:
276:
389:
740:
717:
730:
549:
695:
605:
485:
165:
787:
778:
774:
708:
649:
583:
523:
505:
490:
481:
477:
390:
International
Colloquium on Automata, Languages and Programming (ICALP)
468:
764:
754:
748:
691:
678:
662:
629:
625:
609:
596:
544:
540:
527:
518:
514:
246:
219:
17:
713:
370:. Leibniz International Proceedings in Informatics. Vol. 168.
791:
783:
744:
734:
704:
682:
654:
570:
566:
557:
393:
272:
242:
66:"International Colloquium on Automata, Languages and Programming"
592:
553:
510:
472:
208:
International
Colloquium on Automata, Languages, and Programming
667:
536:
132:
International
Colloquium on Automata, Languages and Programming
26:
634:
575:
588:
230:, but beginning in 2016 they are instead published by the
614:
296:
contains other academic conferences in computer science.
216:
187:
179:
171:
161:
156:
144:
136:
131:
299:The topics of the conference cover the field of
232:Leibniz International Proceedings in Informatics
237:The ICALP conference series was established by
8:
333:Rozenberg, Grzegorz; Salomaa, Arto (2002).
375:
350:
117:Learn how and when to remove this message
807:Theoretical computer science conferences
313:
218:and held in different locations around
128:
53:Please improve this article by adding
7:
817:Recurring events established in 1972
294:list of computer science conferences
281:ACM Symposium on Theory of Computing
241:, who organized the first ICALP in
25:
228:Lecture Notes in Computer Science
335:"ICALP, EATCS and Maurice Nivat"
31:
1:
469:ICALP proceedings information
352:10.1016/S0304-3975(02)00005-1
55:secondary or tertiary sources
339:Theoretical Computer Science
301:theoretical computer science
255:Theoretical Computer Science
151:Theoretical computer science
422:"Letter from the president"
420:Giorgio, Aussiello (2008),
377:10.4230/LIPIcs.ICALP.2020.0
833:
264:
214:organized annually by the
441:Kudlek, Manfred (2008),
812:Automata (computation)
443:"Report on ICALP 2008"
42:relies excessively on
450:Bulletin of the EATCS
429:Bulletin of the EATCS
408:Bulletin of the EATCS
500:, online, hosted in
480:, online, hosted in
212:academic conference
183:annual (since 1976)
157:Publication details
673:2006-06-09 at the
640:2011-02-17 at the
620:2016-03-04 at the
496:2020-02-17 at the
201:
200:
127:
126:
119:
101:
16:(Redirected from
824:
457:
447:
436:
426:
415:
405:
382:
381:
379:
363:
357:
356:
354:
330:
324:
318:
192:
129:
122:
115:
111:
108:
102:
100:
59:
35:
27:
21:
832:
831:
827:
826:
825:
823:
822:
821:
797:
796:
675:Wayback Machine
642:Wayback Machine
622:Wayback Machine
498:Wayback Machine
465:
445:
440:
424:
419:
414:: 212–214, 2009
403:
401:"EATCS leaflet"
399:
386:
385:
365:
364:
360:
332:
331:
327:
319:
315:
310:
289:
269:
263:
194:
190:
123:
112:
106:
103:
60:
58:
52:
48:primary sources
36:
23:
22:
15:
12:
11:
5:
830:
828:
820:
819:
814:
809:
799:
798:
795:
794:
781:
771:
769:Czech Republic
761:
751:
737:
724:
711:
698:
685:
665:
652:
632:
612:
599:
586:
573:
560:
547:
534:
532:Czech Republic
521:
508:
488:
475:
464:
463:External links
461:
460:
459:
438:
417:
397:
384:
383:
358:
345:(1–2): 25–30.
325:
312:
311:
309:
306:
305:
304:
297:
288:
285:
265:Main article:
262:
259:
199:
198:
195:
188:
185:
184:
181:
177:
176:
173:
169:
168:
163:
159:
158:
154:
153:
148:
142:
141:
138:
134:
133:
125:
124:
107:September 2011
39:
37:
30:
24:
14:
13:
10:
9:
6:
4:
3:
2:
829:
818:
815:
813:
810:
808:
805:
804:
802:
793:
789:
785:
782:
780:
776:
772:
770:
766:
762:
760:
756:
752:
750:
746:
742:
738:
736:
732:
728:
725:
723:
719:
715:
712:
710:
706:
702:
699:
697:
693:
689:
686:
684:
680:
676:
672:
669:
666:
664:
660:
656:
653:
651:
647:
643:
639:
636:
633:
631:
627:
623:
619:
616:
613:
611:
607:
603:
600:
598:
594:
590:
587:
585:
581:
577:
574:
572:
568:
564:
561:
559:
555:
551:
548:
546:
542:
538:
535:
533:
529:
525:
522:
520:
516:
512:
509:
507:
503:
499:
495:
492:
489:
487:
483:
479:
476:
474:
470:
467:
466:
462:
455:
451:
444:
439:
434:
430:
423:
418:
413:
409:
402:
398:
395:
391:
388:
387:
378:
373:
369:
362:
359:
353:
348:
344:
340:
336:
329:
326:
322:
317:
314:
307:
302:
298:
295:
291:
290:
286:
284:
282:
278:
274:
268:
260:
258:
256:
250:
248:
244:
240:
239:Maurice Nivat
235:
233:
229:
225:
221:
217:
213:
209:
205:
196:
193:
186:
182:
178:
174:
170:
167:
164:
160:
155:
152:
149:
147:
143:
139:
135:
130:
121:
118:
110:
99:
96:
92:
89:
85:
82:
78:
75:
71:
68: –
67:
63:
62:Find sources:
56:
50:
49:
45:
40:This article
38:
34:
29:
28:
19:
773:ICALP 1998,
763:ICALP 1999,
753:ICALP 2000,
739:ICALP 2001,
453:
449:
432:
428:
411:
407:
367:
361:
342:
338:
328:
316:
270:
251:
236:
207:
203:
202:
137:Abbreviation
113:
104:
94:
87:
80:
73:
61:
41:
759:Switzerland
722:Netherlands
502:Saarbrücken
267:Gödel Prize
261:Gödel Prize
191:Open access
801:Categories
784:ICALP 1997
727:ICALP 2002
714:ICALP 2003
701:ICALP 2004
688:ICALP 2005
668:ICALP 2006
655:ICALP 2007
635:ICALP 2008
615:ICALP 2009
602:ICALP 2010
589:ICALP 2013
580:Copenhagen
576:ICALP 2014
563:ICALP 2015
550:ICALP 2016
537:ICALP 2017
524:ICALP 2018
511:ICALP 2019
491:ICALP 2020
478:ICALP 2021
308:References
277:ACM SIGACT
146:Discipline
77:newspapers
44:references
741:Heraklion
718:Eindhoven
646:Reykjavík
456:: 131–140
396:web site.
226:in their
180:Frequency
162:Publisher
696:Portugal
671:Archived
638:Archived
618:Archived
606:Bordeaux
494:Archived
486:Scotland
287:See also
275:and the
224:Springer
788:Bologna
779:Denmark
775:Aalborg
709:Finland
659:Wrocław
650:Iceland
584:Denmark
506:Germany
482:Glasgow
172:History
91:scholar
765:Prague
755:Geneva
749:Greece
731:Málaga
720:, the
692:Lisbon
679:Venice
663:Poland
630:Greece
626:Rhodes
610:France
597:Latvia
545:Poland
541:Warsaw
528:Prague
519:Greece
515:Patras
247:France
220:Europe
210:is an
206:, the
166:LIPIcs
93:
86:
79:
72:
64:
792:Italy
745:Crete
735:Spain
705:Turku
683:Italy
571:Japan
567:Kyoto
558:Italy
471:from
446:(PDF)
435:: 3–5
425:(PDF)
404:(PDF)
394:EATCS
392:, on
273:EATCS
243:Paris
204:ICALP
175:1972–
140:ICALP
98:JSTOR
84:books
18:ICALP
593:Riga
554:Rome
473:DBLP
292:The
70:news
372:doi
347:doi
343:281
283:).
197:yes
46:to
803::
790:,
786:,
777:,
767:,
757:,
747:,
743:,
733:,
729:,
716:,
707:,
703:,
694:,
690:,
681:,
677:,
661:,
657:,
648:,
644:,
628:,
624:,
608:,
604:,
595:,
591:,
582:,
578:,
569:,
565:,
556:,
552:,
543:,
539:,
530:,
526:,
517:,
513:,
504:,
484:,
454:96
452:,
448:,
433:94
431:,
427:,
412:97
410:,
406:,
341:.
337:.
245:,
234:.
57:.
458:.
437:.
416:.
380:.
374::
355:.
349::
303:.
120:)
114:(
109:)
105:(
95:·
88:·
81:·
74:·
51:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.