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 "B" among over 1900 international conferences across the world. It is also ranked "B" on . It is currently ranked 9th, Field-Rating 1, Algorithms & Theory, at . On , the conference gets a score of 11 as its h5-index, and a score of 18 as its h5-median.History
- 1994: Recife, Brazil
- 1995: Recife, Brazil
- 1996: Salvador, Brazil
- 1997: Fortaleza, Brazil
- 1998: São Paulo, Brazil
- 1999: Itatiaia, Brazil
- 2000: Natal, Brazil
- 2001: Brasília, Brazil
- 2002: Rio de Janeiro, Brazil
- 2003: Ouro Preto, Brazil
- 2004: Fontainebleau, France
- 2005: Florianópolis, Brazil
- 2006: Stanford, United States
- 2007: Rio de Janeiro, Brazil
- 2008: Edinburgh, Scotland
- 2009: Tokyo, Japan
- 2010: Brasília, Brazil
- 2011: Philadelphia, USA
- 2012: Buenos Aires, Argentina
- 2013: Darmstadt, Germany
- 2014: Valparaiso, Chile
- 2015: Bloomington, Indiana, USA
- 2016: Puebla, Mexico
- 2017: London, Great Britain
- 2018: Bogotá, Colombia
- 2019: Utrecht, The Netherlands
Future Venues
- 2020: Lima, Peru
- 2021: Chennai, India
Proceedings
- , 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
- 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.