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 Computer Science Conference Ranking 2010, the conference is ranked "B" among over 1900 international conferences across the world. It is also ranked "B" on The CORE Conference Ranking Exercise - CORE Portal (2017). It is currently ranked 9th (Last 5 years), Field-Rating 1, Algorithms & Theory, at Microsoft Academic Search - Conferences. On Google Scholar, the conference gets a score of 11 as its h5-index, and a score of 19 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

  • Logic, Language, Information and Computation - 25th International Workshop, WoLLIC 2018, Lawrence S. Moss, Ruy de Queiroz & Maricarmen Martínez (eds.), Bogotá, Colombia, July 24–27, 2017. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 10944/2018, doi:10.1007/978-3-662-57669-4, ISBN 978-3-662-57668-7.
  • Logic, Language, Information and Computation - 24th International Workshop, WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz (eds.), London, UK, July 18–21, 2017. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 10388/2017, doi:10.1007/978-3-662-55386-2, ISBN 978-3-662-55385-5.
  • Logic, Language, Information and Computation - 23rd International Workshop, WoLLIC 2016, Jouko Väänänen, Åsa Hirvonen & Ruy de Queiroz (eds.), Puebla, Mexico, August 16–19, 2016. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 9803/2016, doi:10.1007/978-3-662-52921-8, ISBN 978-3-662-52920-1.
  • Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Valeria de Paiva, Ruy de Queiroz, Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (eds.), Bloomington, Indiana, USA, July 20–23, 2015. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 9160/2015, doi:10.1007/978-3-662-47709-0, ISBN 978-3-662-47708-3.
  • Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaíso, Chile, September 1–4, 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 8652/2014, doi:10.1007/978-3-662-44145-9, ISBN 978-3-662-44144-2.
  • Logic, Language, Information and Computation - 20th International Workshop, WoLLIC 2013, Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Darmstadt, Germany, August 20–23, 2013. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 8071/2013, doi:10.1007/978-3-642-39992-3, ISBN 978-3-642-39992-3.
  • Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Luke Ong & Ruy de Queiroz (eds.), Buenos Aires, Argentina, September 3–6, 2012. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 7456/2012, doi:10.1007/978-3-642-32620-2, ISBN 978-3-642-32620-2.
  • Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (eds.), Philadelphia, PA, USA, May 18–20, 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 6642/2011, doi:10.1007/978-3-642-20919-2, ISBN 978-3-642-20919-2.
  • Logic, Language, Information and Computation - 17th International Workshop, WoLLIC 2010, A. Dawar & R. de Queiroz (eds.), Brasília, Brazil, July 6–9, 2010. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 6188/2010, doi:10.1007/978-3-642-13823-2, ISBN 978-3-642-13823-2.
  • Logic, Language, Information and Computation - 16th International Workshop, WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Tokyo, Japan, June 21–24, 2009. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 5514/2009, doi:10.1007/978-3-642-02261-6, ISBN 978-3-642-02260-9.
  • Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008, W. Hodges & R. de Queiroz (eds.), Edinburgh, UK, July 1–4, 2008. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 5110/2008, doi:10.1007/978-3-540-69937-8, ISBN 978-3-540-69936-1.
  • Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Rio de Janeiro, Brazil, July 2–5, 2007. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volume 4576/2007, doi:10.1007/978-3-540-73445-1, ISBN 978-3-540-73443-7.
  • Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Logic, Language, Information and Computation 2006. Stanford University, CA, USA. 18–21 July 2006. Edited by G. Mints and R. de Queiroz. Electronic Notes in Theoretical Computer Science. ISSN 1571-0661. Volume 165, Pages 1–226 (22 November 2006). (Preface doi:10.1016/j.entcs.2006.07.021)
  • Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005). 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. ISSN 1571-0661. Volume 143, Pages 1–222 (6 January 2006). (Preface doi:10.1016/j.entcs.2005.06.032)
  • Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004). Fontainebleau (Paris), France. 19–22 July 2004. Edited by R. de Queiroz and P. Cégielski. Electronic Notes in Theoretical Computer Science. ISSN 1571-0661. Volume 123, Pages 1–240 (1 March 2005). (Preface doi:10.1016/j.entcs.2004.05.012)
  • WoLLIC'2003, 10th Workshop on Logic, Language, Information and Computation. Ouro Preto (Minas Gerais), Brazil. 29 July to 1 August 2003. Edited by R. de Queiroz, E. Pimentel and L. Figueiredo. Electronic Notes in Theoretical Computer Science. ISSN 1571-0661. Volume 84, Pages 1–231 (September 2003). (Preface doi:10.1016/S1571-0661(05)80858-8)
  • WoLLIC'2002, 9th Workhop on Logic, Language, Information and Computation. 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. ISSN 1571-0661. Volume 67, Pages 1–314 (October 2002). (Preface doi:10.1016/S1571-0661(05)80556-0)

Special Issues of Scientific Journals

References

  • Hodges, Wilfrid (2008), "Workshop on Logic, Language, Information and Computation, 1–4 July" (PDF), The Reasoner, 2 (9): 10, retrieved 2010-10-23
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.