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.
WWW wollic.org

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

Future Venues

The meetings alternate between Latin America and US/Europe/Asia. The following locations are planned for future meetings:

Proceedings

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.