ICALP, the International Colloquium on Automata, Languages, and Programming is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...

organized annually by the

European Association for Theoretical Computer Science The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

and held in different locations around

Europe Europe is a large peninsula conventionally considered a continent in its own right because of its great physical size and the weight of its history and traditions. Europe is also considered a Continent#Subcontinents, subcontinent of Eurasia ...

. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

in their

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...

, but beginning in 2016 they are instead published by the

Leibniz International Proceedings in Informatics Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed in ...

. The ICALP conference series was established by

Maurice Nivat Maurice Paul Nivat (21 December 1937 – 21 September 2017) was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an ho ...

, who organized the first ICALP in

Paris Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. S ...

France France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of Overseas France, overseas regions and territories in the Americas and the Atlantic Ocean, Atlantic, Pacific Ocean, Pac ...

in 1972. The second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July. 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

Theoretical Computer Science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

. 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.

Gödel Prize

The Gödel Prize, a prize for outstanding papers in theoretical computer science and awarded jointly by the

EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

and the

ACM SIGACT ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer. Publi ...

, is presented every second year at ICALP. Presentation of the prize, which is awarded annually, alternates with the conference STOC (

ACM Symposium on Theory of Computing The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for ...

References

International Colloquium on Automata, Languages and Programming (ICALP)
on

web site. * . * . * .

External links

ICALP proceedings information
from

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...

ICALP 2021
online, hosted in

Glasgow Glasgow ( ; sco, Glesca or ; gd, Glaschu ) is the most populous city in Scotland and the fourth-most populous city in the United Kingdom, as well as being the 27th largest city by population in Europe. In 2020, it had an estimated popul ...

Scotland Scotland (, ) is a country that is part of the United Kingdom. Covering the northern third of the island of Great Britain, mainland Scotland has a border with England to the southeast and is otherwise surrounded by the Atlantic Ocean to the ...

ICALP 2020
online, hosted in

Saarbrücken Saarbrücken (; french: link=no, Sarrebruck ; Rhine Franconian: ''Saarbrigge'' ; lb, Saarbrécken ; lat, Saravipons, lit=The Bridge(s) across the Saar river) is the capital and largest city of the state of Saarland, Germany. Saarbrücken is S ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

ICALP 2019

Patras ) , demographics_type1 = , demographics1_footnotes = , demographics1_title1 = , demographics1_info1 = , demographics1_title2 = , demographics1_info2 = , timezone1 = EET , utc_offset1 = +2 , ...

Greece Greece,, or , romanized: ', officially the Hellenic Republic, is a country in Southeast Europe. It is situated on the southern tip of the Balkans, and is located at the crossroads of Europe, Asia, and Africa. Greece shares land borders with ...

ICALP 2018

Prague Prague ( ; cs, Praha ; german: Prag, ; la, Praga) is the capital and largest city in the Czech Republic, and the historical capital of Bohemia. On the Vltava river, Prague is home to about 1.3 million people. The city has a temperate ...

Czech Republic The Czech Republic, or simply Czechia, is a landlocked country in Central Europe. Historically known as Bohemia, it is bordered by Austria to the south, Germany to the west, Poland to the northeast, and Slovakia to the southeast. The ...

ICALP 2017

Warsaw Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and largest city of Poland. The metropolis stands on the River Vistula in east-central Poland, and its population is officia ...

Poland Poland, officially the Republic of Poland, is a country in Central Europe. It is divided into 16 administrative provinces called voivodeships, covering an area of . Poland has a population of over 38 million and is the fifth-most populous ...

ICALP 2016

Rome , established_title = Founded , established_date = 753 BC , founder = King Romulus (legendary) , image_map = Map of comune of Rome (metropolitan city of Capital Rome, region Lazio, Italy).svg , map_caption ...

Italy Italy ( it, Italia ), officially the Italian Republic, ) or the Republic of Italy, is a country in Southern Europe. It is located in the middle of the Mediterranean Sea, and its territory largely coincides with the homonymous geographical re ...

ICALP 2015

Kyoto Kyoto (; Japanese: , ''Kyōto'' ), officially , is the capital city of Kyoto Prefecture in Japan. Located in the Kansai region on the island of Honshu, Kyoto forms a part of the Keihanshin metropolitan area along with Osaka and Kobe. , the ci ...

Japan Japan ( ja, 日本, or , and formally , ''Nihonkoku'') is an island country in East Asia. It is situated in the northwest Pacific Ocean, and is bordered on the west by the Sea of Japan, while extending from the Sea of Okhotsk in the north ...

ICALP 2014

Copenhagen Copenhagen ( or .; da, København ) is the capital and most populous city of Denmark, with a proper population of around 815.000 in the last quarter of 2022; and some 1.370,000 in the urban area; and the wider Copenhagen metropolitan ar ...

Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Danish Realm, Kingdom of Denmark ...

ICALP 2013

Riga Riga (; lv, Rīga , liv, Rīgõ) is the capital and largest city of Latvia and is home to 605,802 inhabitants which is a third of Latvia's population. The city lies on the Gulf of Riga at the mouth of the Daugava river where it meets the Ba ...

Latvia Latvia ( or ; lv, Latvija ; ltg, Latveja; liv, Leţmō), officially the Republic of Latvia ( lv, Latvijas Republika, links=no, ltg, Latvejas Republika, links=no, liv, Leţmō Vabāmō, links=no), is a country in the Baltic region of ...

ICALP 2010

Bordeaux Bordeaux ( , ; Gascon oc, Bordèu ; eu, Bordele; it, Bordò; es, Burdeos) is a port city on the river Garonne in the Gironde department, Southwestern France. It is the capital of the Nouvelle-Aquitaine region, as well as the prefectur ...

ICALP 2009

Rhodes Rhodes (; el, Ρόδος , translit=Ródos ) is the largest and the historical capital of the Dodecanese islands of Greece. Administratively, the island forms a separate municipality within the Rhodes regional unit, which is part of the So ...

ICALP 2008

Reykjavík Reykjavík ( ; ) is the capital and largest city of Iceland. It is located in southwestern Iceland, on the southern shore of Faxaflói bay. Its latitude is 64°08' N, making it the world's northernmost capital of a sovereign state. With a po ...

Iceland Iceland ( is, Ísland; ) is a Nordic island country in the North Atlantic Ocean and in the Arctic Ocean. Iceland is the most sparsely populated country in Europe. Iceland's capital and largest city is Reykjavík, which (along with its s ...

ICALP 2007

Wrocław Wrocław (; german: Breslau, or . ; Silesian German: ''Brassel'') is a city in southwestern Poland and the largest city in the historical region of Silesia. It lies on the banks of the River Oder in the Silesian Lowlands of Central Europe, rou ...

ICALP 2006

Venice Venice ( ; it, Venezia ; vec, Venesia or ) is a city in northeastern Italy and the capital of the Veneto Regions of Italy, region. It is built on a group of 118 small islands that are separated by canals and linked by over 400 ...

ICALP 2005

Lisbon Lisbon (; pt, Lisboa ) is the capital and largest city of Portugal, with an estimated population of 544,851 within its administrative limits in an area of 100.05 km2. Grande Lisboa, Lisbon's urban area extends beyond the city's administr ...

Portugal Portugal, officially the Portuguese Republic ( pt, República Portuguesa, links=yes ), is a country whose mainland is located on the Iberian Peninsula of Southwestern Europe, and whose territory also includes the Atlantic archipelagos of ...

ICALP 2004

Turku Turku ( ; ; sv, Åbo, ) is a city and former capital on the southwest coast of Finland at the mouth of the Aura River, in the region of Finland Proper (''Varsinais-Suomi'') and the former Turku and Pori Province (''Turun ja Porin lääni''; ...

Finland Finland ( fi, Suomi ; sv, Finland ), officially the Republic of Finland (; ), is a Nordic country in Northern Europe. It shares land borders with Sweden to the northwest, Norway to the north, and Russia to the east, with the Gulf of B ...

ICALP 2003

Eindhoven Eindhoven () is a city and municipality in the Netherlands, located in the southern province of North Brabant of which it is its largest. With a population of 238,326 on 1 January 2022,Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

, ICALP 2002

Málaga Málaga (, ) is a municipality of Spain, capital of the Province of Málaga, in the autonomous community of Andalusia. With a population of 578,460 in 2020, it is the second-most populous city in Andalusia after Seville and the sixth most pop ...

Spain , image_flag = Bandera de España.svg , image_coat = Escudo de España (mazonado).svg , national_motto = ''Plus ultra'' (Latin)(English: "Further Beyond") , national_anthem = (English: "Royal March") , i ...

* ICALP 2001,

Heraklion Heraklion or Iraklion ( ; el, Ηράκλειο, , ) is the largest city and the administrative capital of the island of Crete and capital of Heraklion regional unit. It is the fourth largest city in Greece with a population of 211,370 (Urban A ...

Crete Crete ( el, Κρήτη, translit=, Modern: , Ancient: ) is the largest and most populous of the Greek islands, the 88th largest island in the world and the fifth largest island in the Mediterranean Sea, after Sicily, Sardinia, Cyprus, and ...

* ICALP 2000,

Geneva Geneva ( ; french: Genève ) frp, Genèva ; german: link=no, Genf ; it, Ginevra ; rm, Genevra is the List of cities in Switzerland, second-most populous city in Switzerland (after Zürich) and the most populous city of Romandy, the French-speaki ...

Switzerland ). Swiss law does not designate a ''capital'' as such, but the federal parliament and government are installed in Bern, while other federal institutions, such as the federal courts, are in other cities (Bellinzona, Lausanne, Luzern, Neuchâtel ...

* ICALP 1999,

* ICALP 1998,

Aalborg Aalborg (, , ) is Denmark's fourth largest town (behind Copenhagen, Aarhus, and Odense) with a population of 119,862 (1 July 2022) in the town proper and an urban population of 143,598 (1 July 2022). As of 1 July 2022, the Municipality of Aalb ...

ICALP 1997

Bologna Bologna (, , ; egl, label= Emilian, Bulåggna ; lat, Bononia) is the capital and largest city of the Emilia-Romagna region in Northern Italy. It is the seventh most populous city in Italy with about 400,000 inhabitants and 150 different nat ...

{{Authority control Theoretical computer science conferences Automata (computation) Recurring events established in 1972

Gödel Prize

See also

References

External links