default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

ICALP is organized by the European Association for Theoretical Computer Science (EATCS)

• 
  Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi:
  46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. LIPIcs 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-109-2 [contents]

• 
  Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella:
  45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. LIPIcs 107, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-076-7 [contents]

• 
  Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl:
  44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland. LIPIcs 80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-041-5 [contents]

• 
  Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi:
  43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy. LIPIcs 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-013-2 [contents]

• 
  Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann:
  Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9134, Springer 2015, ISBN 978-3-662-47671-0 [contents]
• 
  Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann:
  Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9135, Springer 2015, ISBN 978-3-662-47665-9 [contents]
• 
  Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva:
  Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. EPiC Series in Computing 32, EasyChair 2015 [contents]

• 
  Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias:
  Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8572, Springer 2014, ISBN 978-3-662-43947-0 [contents]
• 
  Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias:
  Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8573, Springer 2014, ISBN 978-3-662-43950-0 [contents]

• 
  Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
  Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7965, Springer 2013, ISBN 978-3-642-39205-4 [contents]
• 
  Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
  Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7966, Springer 2013, ISBN 978-3-642-39211-5 [contents]

• 
  Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer:
  Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I. Lecture Notes in Computer Science 7391, Springer 2012, ISBN 978-3-642-31593-0 [contents]
• 
  Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer:
  Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Lecture Notes in Computer Science 7392, Springer 2012, ISBN 978-3-642-31584-8 [contents]

• 
  Luca Aceto, Monika Henzinger, Jirí Sgall:
  Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6755, Springer 2011, ISBN 978-3-642-22005-0 [contents]
• 
  Luca Aceto, Monika Henzinger, Jirí Sgall:
  Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6756, Springer 2011, ISBN 978-3-642-22011-1 [contents]

• 
  Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis:
  Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6198, Springer 2010, ISBN 978-3-642-14164-5 [contents]
• 
  Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis:
  Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6199, Springer 2010, ISBN 978-3-642-14161-4 [contents]

• 
  Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas:
  Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5555, Springer 2009, ISBN 978-3-642-02926-4 [contents]
• 
  Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas:
  Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5556, Springer 2009, ISBN 978-3-642-02929-5 [contents]

• 
  Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
  Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games. Lecture Notes in Computer Science 5125, Springer 2008, ISBN 978-3-540-70574-1 [contents]
• 
  Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
  Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Lecture Notes in Computer Science 5126, Springer 2008, ISBN 978-3-540-70582-6 [contents]

• 
  Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki:
  Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Lecture Notes in Computer Science 4596, Springer 2007, ISBN 978-3-540-73419-2 [contents]

• 
  Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener:
  Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Lecture Notes in Computer Science 4051, Springer 2006, ISBN 3-540-35904-4 [contents]
• 
  Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener:
  Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Lecture Notes in Computer Science 4052, Springer 2006, ISBN 3-540-35907-9 [contents]

ICALP 2006 Home Page

• 
  Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung:
  Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Lecture Notes in Computer Science 3580, Springer 2005, ISBN 3-540-27580-0 [contents]

• 
  Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella:
  Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science 3142, Springer 2004, ISBN 3-540-22849-7 [contents]

• 
  Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger:
  Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings. Lecture Notes in Computer Science 2719, Springer 2003, ISBN 3-540-40493-7 [contents]

ICALP 2003 Home Page

Satellite Workshops: ENTCS 85

• 
  Peter Widmayer, Francisco Triguero Ruiz, Rafael Morales Bueno, Matthew Hennessy, Stephan J. Eidenbenz, Ricardo Conejo:
  Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings. Lecture Notes in Computer Science 2380, Springer 2002, ISBN 3-540-43864-5 [contents]

ICALP 2002 Satellite Workshops: ENTCS 66

• 
  Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen:
  Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Lecture Notes in Computer Science 2076, Springer 2001, ISBN 3-540-42287-0 [contents]

ICALP 2001 Satellite Workshops: ENTCS 50

• 
  Ugo Montanari, José D. P. Rolim, Emo Welzl:
  Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Lecture Notes in Computer Science 1853, Springer 2000, ISBN 3-540-67715-1 [contents]
• 
  José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
  ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0 [contents]

• 
  Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen:
  Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Lecture Notes in Computer Science 1644, Springer 1999, ISBN 3-540-66224-3 [contents]

• 
  Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel:
  Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Lecture Notes in Computer Science 1443, Springer 1998, ISBN 3-540-64781-3 [contents]

• 
  Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela:
  Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings. Lecture Notes in Computer Science 1256, Springer 1997, ISBN 3-540-63165-8 [contents]

ICALP'97 Home Page

• 
  Friedhelm Meyer auf der Heide, Burkhard Monien:
  Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Lecture Notes in Computer Science 1099, Springer 1996, ISBN 3-540-61440-0 [contents]

• 
  Zoltán Fülöp, Ferenc Gécseg:
  Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings. Lecture Notes in Computer Science 944, Springer 1995, ISBN 3-540-60084-1 [contents]

• 
  Serge Abiteboul, Eli Shamir:
  Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 820, Springer 1994, ISBN 3-540-58201-0 [contents]

• 
  Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson:
  Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Lecture Notes in Computer Science 700, Springer 1993, ISBN 3-540-56939-1 [contents]

• 
  Werner Kuich:
  Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Lecture Notes in Computer Science 623, Springer 1992, ISBN 3-540-55719-9 [contents]

• 
  Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo:
  Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Lecture Notes in Computer Science 510, Springer 1991, ISBN 3-540-54233-7 [contents]

• 
  Mike Paterson:
  Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings. Lecture Notes in Computer Science 443, Springer 1990, ISBN 3-540-52826-1 [contents]

• 
  Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
  Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Lecture Notes in Computer Science 372, Springer 1989, ISBN 3-540-51371-X [contents]

• 
  Timo Lepistö, Arto Salomaa:
  Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Lecture Notes in Computer Science 317, Springer 1988, ISBN 3-540-19488-6 [contents]

• 
  Thomas Ottmann:
  Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Lecture Notes in Computer Science 267, Springer 1987, ISBN 3-540-18088-5 [contents]

• 
  Laurent Kott:
  Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Lecture Notes in Computer Science 226, Springer 1986, ISBN 3-540-16761-7 [contents]

• 
  Wilfried Brauer:
  Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Lecture Notes in Computer Science 194, Springer 1985, ISBN 3-540-15650-X [contents]

• 
  Jan Paredaens:
  Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings. Lecture Notes in Computer Science 172, Springer 1984, ISBN 3-540-13345-3 [contents]

• 
  Josep Díaz:
  Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings. Lecture Notes in Computer Science 154, Springer 1983, ISBN 3-540-12317-2 [contents]

• 
  Mogens Nielsen, Erik Meineche Schmidt:
  Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science 140, Springer 1982, ISBN 3-540-11576-5 [contents]

• 
  Shimon Even, Oded Kariv:
  Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Lecture Notes in Computer Science 115, Springer 1981, ISBN 3-540-10843-2 [contents]

• 
  J. W. de Bakker, Jan van Leeuwen:
  Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85, Springer 1980, ISBN 3-540-10003-2 [contents]

• 
  Hermann A. Maurer:
  Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Lecture Notes in Computer Science 71, Springer 1979, ISBN 3-540-09510-1 [contents]

• 
  Giorgio Ausiello, Corrado Böhm:
  Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Lecture Notes in Computer Science 62, Springer 1978, ISBN 3-540-08860-1 [contents]

• 
  Arto Salomaa, Magnus Steinby:
  Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Lecture Notes in Computer Science 52, Springer 1977, ISBN 3-540-08342-1 [contents]

• 
  S. Michaelson, Robin Milner:
  Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976. Edinburgh University Press 1976, ISBN 0-85224-308-1 [contents]

• 
  Jacques Loeckx:
  Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings. Lecture Notes in Computer Science 14, Springer 1974, ISBN 3-540-06841-4 [contents]

• 
  Maurice Nivat:
  Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972. North-Holland, Amsterdam 1972, ISBN 0-7204-2074-1 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from web.archive.org

Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.

Citation data

Add a list of citing articles from to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.

Tweets on dblp homepage

Show tweets from on the dblp homepage.

load tweets from twitter.com

Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.

 last updated on 2020-06-01 23:15 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license 

see also: Terms of Use | Privacy Policy | Imprint

the dblp computer science bibliography is funded by: