Workshop on Logic, Language, Information and Computation


WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic.

Ranking

According to , the conference is ranked "C" among over 1900 international conferences across the world. It is also ranked "C" on . It is currently ranked with 7 Bars, Field-Rating 1, Algorithms & Theory, at . On , the conference gets a score of 12 as its h5-index, and a score of 14 as its h5-median.

History

The meetings alternate between Latin America and US/Europe/Asia. The following locations are planned for future meetings:
  • 2026: Lima, Peru

    Proceedings

  • , WoLLIC 2025, Dexter Kozen and Ruy de Queiroz, Porto, Portugal, July 14–17, 2025, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 15942/2025,,, September 2025.
  • , WoLLIC 2024, George Metcalfe, Thomas Studer, Ruy de Queiroz, Bern, Switzerland, June 10–13, 2024, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 14672/2024,,, July 2024.
  • , WoLLIC 2023, Helle Hvid Hansen, Andre Scedrov, Ruy de Queiroz, Halifax, NS, Canada, July 11–14, 2023, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 13923/2023,,, October 2023.
  • , WoLLIC 2022, Agata Ciabattoni, Elaine Pimentel & Ruy de Queiroz, Iaşi, Romania, September 20–23, 2022. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 13468/2022,,.
  • , WoLLIC 2021, Alexandra Silva, Renata Wassermann & Ruy de Queiroz, Virtual Event, October 5–8, 2021. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 13038/2021,,.
  • , WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz, Utrecht, The Netherlands, July 2–5, 2019. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 11541/2019,,.
  • , WoLLIC 2018, Lawrence S. Moss, Ruy de Queiroz & Maricarmen Martínez , Bogotá, Colombia, July 24–27, 2018. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 10944/2018,,.
  • , WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz , London, UK, July 18–21, 2017. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 10388/2017,,.
  • , WoLLIC 2016, Jouko Väänänen, Åsa Hirvonen & Ruy de Queiroz , Puebla, Mexico, August 16–19, 2016. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 9803/2016,,.
  • , WoLLIC 2015, Valeria de Paiva, Ruy de Queiroz, Lawrence Moss, Daniel Leivant & Anjolina de Oliveira , Bloomington, Indiana, USA, July 20–23, 2015. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 9160/2015,,.
  • , WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz, Valparaíso, Chile, September 1–4, 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 8652/2014,,.
  • , WoLLIC 2013, Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz, Darmstadt, Germany, August 20–23, 2013. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 8071/2013,,.
  • , WoLLIC 2012, Luke Ong & Ruy de Queiroz, Buenos Aires, Argentina, September 3–6, 2012. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 7456/2012,,.
  • , WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz, Philadelphia, PA, USA, May 18–20, 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 6642/2011,,.
  • , WoLLIC 2010, A. Dawar & R. de Queiroz, Brasília, Brazil, July 6–9, 2010. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 6188/2010,,.
  • , WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz, Tokyo, Japan, June 21–24, 2009. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 5514/2009,,.
  • , WoLLIC 2008, W. Hodges & R. de Queiroz, Edinburgh, UK, July 1–4, 2008. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 5110/2008,,.
  • , WoLLIC 2007, D. Leivant & R. de Queiroz, Rio de Janeiro, Brazil, July 2–5, 2007. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, , Volume 4576/2007,,.
  • . Stanford University, CA, USA. 18–21 July 2006. Edited by G. Mints and R. de Queiroz. Electronic Notes in Theoretical Computer Science.. Volume 165, Pages 1–226.
  • . Florianópolis, Santa Catarina, Brazil. 19–22 July 2005. Edited by R. de Queiroz, A. Macintyre and G. Bittencourt. Electronic Notes in Theoretical Computer Science.. Volume 143, Pages 1–222.
  • . Fontainebleau, France. 19–22 July 2004. Edited by R. de Queiroz and P. Cégielski. Electronic Notes in Theoretical Computer Science.. Volume 123, Pages 1–240.
  • . Ouro Preto, Brazil. 29 July to 1 August 2003. Edited by R. de Queiroz, E. Pimentel and L. Figueiredo. Electronic Notes in Theoretical Computer Science.. Volume 84, Pages 1–231.
  • . Rio de Janeiro, Brazil. 30 July to 2 August 2002. Edited by Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. Electronic Notes in Theoretical Computer Science.. Volume 67, Pages 1–314.

    Special Issues of Scientific Journals

  • Mathematical Structures in Computer Science, . Edited by Helle Hvid Hansen, Andre Scedrov and Ruy de Queiroz. Volume ??, Issue ?, December 2025, Cambridge University Press.
  • Mathematical Structures in Computer Science, . Edited by Agata Ciabatoni, Elaine Pimentel and Ruy de Queiroz. Volume 34, Issue 7, August 2024, Cambridge University Press.
  • Journal of Logic and Computation, . Edited by Alexandra Silva, Renata Wassermann and Ruy de Queiroz. Volume 35, Issue 6, September 2025, Oxford University Press.
  • Journal of Logic, Language and Information, . Edited by Lawrence Moss & Ruy de Queiroz. Volume 31, Issue 4, December 2022, Springer.
  • Information and Computation, . Edited by Ruy de Queiroz. Volume 287, Elsevier.
  • Archive for Mathematical Logic, . Edited by Juliette Kennedy and Ruy de Queiroz. Volume 60, Issue 5, Pages 525-681, Springer.
  • Annals of Pure and Applied Logic, . Edited by Jouko Väänänen and Ruy de Queiroz. Volume 170, Issue 9, Pages 921-1150, Elsevier.
  • Mathematical Structures in Computer Science, . Edited by Valeria de Paiva and Ruy de Queiroz. Volume 29, Issue 6, June 2019, Cambridge University Press.
  • Information and Computation, . Edited by Ulrich Kohlenbach, Pablo Barcelò and Ruy de Queiroz. Volume 255, Part 2, Pages 193–334.
  • Journal of Computer and System Sciences, . Edited by Leonid Libkin, Ulrich Kohlenbach and Ruy de Queiroz. Volume 88, Pages 1–290.
  • Theoretical Computer Science, . Buenos Aires, Argentina. 3–6 September 2012. Edited by Luke Ong and Ruy de Queiroz. Volume 603, Pages 1–146.
  • Journal of Computer and System Sciences, . Edited by Lev Beklemishev, Ruy de Queiroz and Andre Scedrov. Volume 80, Issue 6, Pages 1037-1174.
  • Journal of Computer and System Sciences, . Edited by Anuj Dawar and Ruy de Queiroz. Volume 80, Issue 2, Pages 321-498.
  • Fundamenta Informaticae, . Edited by Hiroakira Ono, Makoto Kanazawa and Ruy de Queiroz. Volume 106, Numbers 2-4, Pages 119-338, September 2011.
  • Journal of Computer and System Sciences, . Edited by Wilfrid Hodges and Ruy de Queiroz. Volume 76, Issue 5, Pages 281-388.
  • Information and Computation, . Edited by Daniel Leivant and Ruy de Queiroz. Volume 208, Issue 5, Pages 395-604,.
  • Information and Computation, . Edited by Grigori Mints, Valeria de Paiva and Ruy de Queiroz. Volume 207, Issue 10, Pages 969-1094,.
  • Annals of Pure and Applied Logic, . Florianópolis, Santa Catarina, Brazil. 19–22 July 2005. Edited by R. de Queiroz and A. Macintyre. Volume 152, Issues 1-3, Pages 1–180.
  • Theoretical Computer Science, . Paris, France. 19–22 July 2004. Edited by R. de Queiroz and P. Cégielski. Volume 364, Issue 2, Pages 143-270.
  • Theoretical Computer Science, . Minas Gerais, Brazil. 29 July-1 August 2003. Edited by R. de Queiroz and D. Kozen. Volume 355, Issue 2, Pages 105-260.
  • Annals of Pure and Applied Logic, . 30 July-2 August 2002. Edited by R. de Queiroz, B. Poizat and S. Artemov. Volume 134, Issue 1, Pages 1–93.
  • Matemática Contemporânea. . Universidade de Brasília, July -August 2001 - Brasília. Edited by John T. Baldwin, Ruy J. G. B. de Queiroz, Edward H. Haeusler. Volume 24, 2003.
  • Logic Journal of the Interest Group in Pure and Applied Logics. . Natal, August 15–18, 2000. Edited by Ruy J. G. B. de Queiroz. Volume 9, Issue 6, 2001.
  • Logic Journal of the Interest Group in Pure and Applied Logics. . Itatiaia National Park, May 25–28, 1999. Edited by Ruy J. G. B. de Queiroz. Volume 8, Issue 5, 2000.