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 Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...

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 continent located entirely in the Northern Hemisphere and mostly in the Eastern Hemisphere. It is bordered by the Arctic Ocean to the north, the Atlantic Ocean to the west, the Mediterranean Sea to the south, and Asia to the east ...

. 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. The ICALP conference series was established by Maurice Nivat, who organized the first ICALP in

Paris Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...

France France, officially the French Republic, is a country located primarily in Western Europe. Overseas France, Its overseas regions and territories include French Guiana in South America, Saint Pierre and Miquelon in the Atlantic Ocean#North Atlan ...

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 is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

. 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 and the ACM SIGACT, 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).

References

International Colloquium on Automata, Languages and Programming (ICALP)
on EATCS 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 Novem ...

ICALP 2021
online, hosted in

Glasgow Glasgow is the Cities of Scotland, most populous city in Scotland, located on the banks of the River Clyde in Strathclyde, west central Scotland. It is the List of cities in the United Kingdom, third-most-populous city in the United Kingdom ...

Scotland Scotland is a Countries of the United Kingdom, country that is part of the United Kingdom. It contains nearly one-third of the United Kingdom's land area, consisting of the northern part of the island of Great Britain and more than 790 adjac ...

ICALP 2020
, online, hosted in

Saarbrücken Saarbrücken (; Rhenish Franconian: ''Sabrigge'' ; ; ; ; ) is the capital and largest List of cities and towns in Germany, city of the state of Saarland, Germany. Saarbrücken has 181,959 inhabitants and is Saarland's administrative, commerci ...

Germany Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total popu ...

ICALP 2019

Patras Patras (; ; Katharevousa and ; ) is Greece's List of cities in Greece, third-largest city and the regional capital and largest city of Western Greece, in the northern Peloponnese, west of Athens. The city is built at the foot of Mount Panachaiko ...

Greece Greece, officially the Hellenic Republic, is a country in Southeast Europe. Located on the southern tip of the Balkan peninsula, it shares land borders with Albania to the northwest, North Macedonia and Bulgaria to the north, and Turkey to th ...

ICALP 2018

Prague Prague ( ; ) is the capital and List of cities and towns in the Czech Republic, largest city of the Czech Republic and the historical capital of Bohemia. Prague, located on the Vltava River, has a population of about 1.4 million, while its P ...

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

ICALP 2017

Warsaw Warsaw, officially the Capital City of Warsaw, is the capital and List of cities and towns in Poland, largest city of Poland. The metropolis stands on the Vistula, River Vistula in east-central Poland. Its population is officially estimated at ...

Poland Poland, officially the Republic of Poland, is a country in Central Europe. It extends from the Baltic Sea in the north to the Sudetes and Carpathian Mountains in the south, bordered by Lithuania and Russia to the northeast, Belarus and Ukrai ...

ICALP 2016

Rome Rome (Italian language, Italian and , ) is the capital city and most populated (municipality) of Italy. It is also the administrative centre of the Lazio Regions of Italy, region and of the Metropolitan City of Rome. A special named with 2, ...

Italy Italy, officially the Italian Republic, is a country in Southern Europe, Southern and Western Europe, Western Europe. It consists of Italian Peninsula, a peninsula that extends into the Mediterranean Sea, with the Alps on its northern land b ...

ICALP 2015

Kyoto Kyoto ( or ; Japanese language, Japanese: , ''Kyōto'' ), officially , is the capital city of Kyoto Prefecture in the Kansai region of Japan's largest and most populous island of Honshu. , the city had a population of 1.46 million, making it t ...

Japan Japan is an island country in East Asia. Located in the Pacific Ocean off the northeast coast of the Asia, Asian mainland, it is bordered on the west by the Sea of Japan and extends from the Sea of Okhotsk in the north to the East China Sea ...

ICALP 2014

Copenhagen Copenhagen ( ) is the capital and most populous city of Denmark, with a population of 1.4 million in the Urban area of Copenhagen, urban area. The city is situated on the islands of Zealand and Amager, separated from Malmö, Sweden, by the ...

Denmark Denmark is a Nordic countries, Nordic country in Northern Europe. It is the metropole and most populous constituent of the Kingdom of Denmark,, . also known as the Danish Realm, a constitutionally unitary state that includes the Autonomous a ...

ICALP 2013

Riga Riga ( ) is the capital, Primate city, primate, and List of cities and towns in Latvia, largest city of Latvia. Home to 591,882 inhabitants (as of 2025), the city accounts for a third of Latvia's total population. The population of Riga Planni ...

Latvia Latvia, officially the Republic of Latvia, is a country in the Baltic region of Northern Europe. It is one of the three Baltic states, along with Estonia to the north and Lithuania to the south. It borders Russia to the east and Belarus to t ...

ICALP 2010

Bordeaux Bordeaux ( ; ; Gascon language, Gascon ; ) is a city on the river Garonne in the Gironde Departments of France, department, southwestern France. A port city, it is the capital of the Nouvelle-Aquitaine region, as well as the Prefectures in F ...

ICALP 2009
,

Rhodes Rhodes (; ) is the largest of the Dodecanese islands of Greece and is their historical capital; it is the List of islands in the Mediterranean#By area, ninth largest island in the Mediterranean Sea. Administratively, the island forms a separ ...

ICALP 2008
,

Reykjavík Reykjavík is the Capital city, capital and largest city in Iceland. It is located in southwestern Iceland on the southern shore of Faxaflói, the Faxaflói Bay. With a latitude of 64°08′ N, the city is List of northernmost items, the worl ...

Iceland Iceland is a Nordic countries, Nordic island country between the Atlantic Ocean, North Atlantic and Arctic Oceans, on the Mid-Atlantic Ridge between North America and Europe. It is culturally and politically linked with Europe and is the regi ...

ICALP 2007

Wrocław Wrocław is a city in southwestern Poland, and the capital of the Lower Silesian Voivodeship. It is the largest city and historical capital of the region of Silesia. It lies on the banks of the Oder River in the Silesian Lowlands of Central Eu ...

ICALP 2006
,

Venice Venice ( ; ; , formerly ) is a city in northeastern Italy and the capital of the Veneto Regions of Italy, region. It is built on a group of 118 islands that are separated by expanses of open water and by canals; portions of the city are li ...

ICALP 2005

Lisbon Lisbon ( ; ) is the capital and largest city of Portugal, with an estimated population of 567,131, as of 2023, within its administrative limits and 3,028,000 within the Lisbon Metropolitan Area, metropolis, as of 2025. Lisbon is mainlan ...

Portugal Portugal, officially the Portuguese Republic, is a country on the Iberian Peninsula in Southwestern Europe. Featuring Cabo da Roca, the westernmost point in continental Europe, Portugal borders Spain to its north and east, with which it share ...

ICALP 2004

Turku Turku ( ; ; , ) is a city in Finland and the regional capital of Southwest Finland. It is located on the southwestern coast of the country at the mouth of the Aura River (Finland), River Aura. The population of Turku is approximately , while t ...

Finland Finland, officially the Republic of Finland, is a Nordic country in Northern Europe. It borders Sweden to the northwest, Norway to the north, and Russia to the east, with the Gulf of Bothnia to the west and the Gulf of Finland to the south, ...

ICALP 2003

Eindhoven Eindhoven ( ; ) is a city and List of municipalities of the Netherlands, municipality of the Netherlands, located in the southern Provinces of the Netherlands, province of North Brabant, of which it is the largest municipality, and is also locat ...

, the

Netherlands , Terminology of the Low Countries, informally Holland, is a country in Northwestern Europe, with Caribbean Netherlands, overseas territories in the Caribbean. It is the largest of the four constituent countries of the Kingdom of the Nether ...

ICALP 2002

Málaga Málaga (; ) is a Municipalities in Spain, municipality of Spain, capital of the Province of Málaga, in the Autonomous communities of Spain, autonomous community of Andalusia. With a population of 591,637 in 2024, it is the second-most populo ...

Spain Spain, or the Kingdom of Spain, is a country in Southern Europe, Southern and Western Europe with territories in North Africa. Featuring the Punta de Tarifa, southernmost point of continental Europe, it is the largest country in Southern Eur ...

* ICALP 2001,

Heraklion Heraklion or Herakleion ( ; , , ), sometimes Iraklion, is the largest city and the administrative capital city, capital of the island of Crete and capital of Heraklion (regional unit), Heraklion regional unit. It is the fourth largest city in G ...

Crete Crete ( ; , Modern Greek, Modern: , Ancient Greek, Ancient: ) is the largest and most populous of the Greek islands, the List of islands by area, 88th largest island in the world and the List of islands in the Mediterranean#By area, fifth la ...

* ICALP 2000,

Geneva Geneva ( , ; ) ; ; . is the List of cities in Switzerland, second-most populous city in Switzerland and the most populous in French-speaking Romandy. Situated in the southwest of the country, where the Rhône exits Lake Geneva, it is the ca ...

Switzerland Switzerland, officially the Swiss Confederation, is a landlocked country located in west-central Europe. It is bordered by Italy to the south, France to the west, Germany to the north, and Austria and Liechtenstein to the east. Switzerland ...

* ICALP 1999,

* ICALP 1998,

Aalborg Aalborg or Ålborg ( , , ) is Denmark's List of cities and towns in Denmark, fourth largest urban settlement (behind Copenhagen, Aarhus, and Odense) with a population of 119,862 (1 July 2022) in the town proper and an Urban area, urban populati ...

ICALP 1997

Bologna Bologna ( , , ; ; ) is the capital and largest city of the Emilia-Romagna region in northern Italy. It is the List of cities in Italy, seventh most populous city in Italy, with about 400,000 inhabitants and 150 different nationalities. Its M ...

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

Gödel Prize

See also

References

External links