International Colloquium on Automata, Languages and Programming
Encyclopedia
ICALP, the International Colloquium on Automata, Languages and Programming is an academic conference
organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe
. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer
Lecture Notes in Computer Science
.
ICALP was first organized in 1972 in Paris
, France
. Second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July.
Traditionally, the conference was thematically split into two tracks on "Algorithms, Automata, Complexity and Games" (Track A) and Logic, "Semantics, and Theory of Programming" (Track B), corresponding to the (at least until 2005) two mainstreams of the journal Theoretical Computer Science
. Beginning with the 2005 conference, a third track (Track C) was added in order to allow the 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".
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).
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe
Europe
Europe is, by convention, one of the world's seven continents. Comprising the westernmost peninsula of Eurasia, Europe is generally 'divided' from Asia to its east by the watershed divides of the Ural and Caucasus Mountains, the Ural River, the Caspian and Black Seas, and the waterways connecting...
. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
.
ICALP was first organized in 1972 in Paris
Paris
Paris is the capital and largest city in France, situated on the river Seine, in northern France, at the heart of the Île-de-France region...
, France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
. Second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July.
Traditionally, the conference was thematically split into two tracks on "Algorithms, Automata, Complexity and Games" (Track A) and Logic, "Semantics, and Theory of Programming" (Track B), corresponding to the (at least until 2005) two mainstreams of the journal Theoretical Computer Science
Theoretical Computer Science (journal)
Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
. Beginning with the 2005 conference, a third track (Track C) was added in order to allow the 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".
Gödel Prize
The Gödel Prize, a prize for outstanding papers in theoretical computer science and awarded jointly by theEATCS
EATCS
The European Association for Theoretical Computer Science is an international organization with a European focus, founded in 1972...
and the ACM SIGACT
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.-Publications:...
, 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).
See also
- The list of computer science conferences contains other academic conferences in computer science.
- The topics of the conference cover the field of theoretical computer scienceTheoretical computer scienceTheoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
.
External links
- ICALP proceedings information from DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...
- ICALP 2010, BordeauxBordeauxBordeaux is a port city on the Garonne River in the Gironde department in southwestern France.The Bordeaux-Arcachon-Libourne metropolitan area, has a population of 1,010,000 and constitutes the sixth-largest urban area in France. It is the capital of the Aquitaine region, as well as the prefecture...
, FranceFranceThe French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France... - ICALP 2009, RhodesRhodesRhodes is an island in Greece, located in the eastern Aegean Sea. It is the largest of the Dodecanese islands in terms of both land area and population, with a population of 117,007, and also the island group's historical capital. Administratively the island forms a separate municipality within...
, GreeceGreeceGreece , officially the Hellenic Republic , and historically Hellas or the Republic of Greece in English, is a country in southeastern Europe.... - ICALP 2008, ReykjavikReykjavíkReykjavík is the capital and largest city in Iceland.Its latitude at 64°08' N makes it the world's northernmost capital of a sovereign state. It is located in southwestern Iceland, on the southern shore of Faxaflói Bay...
, IcelandIcelandIceland , described as the Republic of Iceland, is a Nordic and European island country in the North Atlantic Ocean, on the Mid-Atlantic Ridge. Iceland also refers to the main island of the country, which contains almost all the population and almost all the land area. The country has a population... - ICALP 2007, Wrocław, PolandPolandPoland , officially the Republic of Poland , is a country in Central Europe bordered by Germany to the west; the Czech Republic and Slovakia to the south; Ukraine, Belarus and Lithuania to the east; and the Baltic Sea and Kaliningrad Oblast, a Russian exclave, to the north...
- ICALP 2006, VeniceVeniceVenice is a city in northern Italy which is renowned for the beauty of its setting, its architecture and its artworks. It is the capital of the Veneto region...
, ItalyItalyItaly , officially the Italian Republic languages]] under the European Charter for Regional or Minority Languages. In each of these, Italy's official name is as follows:;;;;;;;;), is a unitary parliamentary republic in South-Central Europe. To the north it borders France, Switzerland, Austria and... - ICALP 2005, LisbonLisbonLisbon is the capital city and largest city of Portugal with a population of 545,245 within its administrative limits on a land area of . The urban area of Lisbon extends beyond the administrative city limits with a population of 3 million on an area of , making it the 9th most populous urban...
, PortugalPortugalPortugal , officially the Portuguese Republic is a country situated in southwestern Europe on the Iberian Peninsula. Portugal is the westernmost country of Europe, and is bordered by the Atlantic Ocean to the West and South and by Spain to the North and East. The Atlantic archipelagos of the... - ICALP 2004, TurkuTurkuTurku is a city situated on the southwest coast of Finland at the mouth of the Aura River. It is located in the region of Finland Proper. It is believed that Turku came into existence during the end of the 13th century which makes it the oldest city in Finland...
, FinlandFinlandFinland , officially the Republic of Finland, is a Nordic country situated in the Fennoscandian region of Northern Europe. It is bordered by Sweden in the west, Norway in the north and Russia in the east, while Estonia lies to its south across the Gulf of Finland.Around 5.4 million people reside...