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 toegepast logic and theoretical computer science . WoLLIC has leg organized 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

Volgens to Computer Science Conference Ranking 2010 , the conference was ranked “B” onder over 1,900 international conferences across the world. It is ook ranked “B” on The CORE Conference Ranking Exercise – CORE Portal (2014) . 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 10 as zijn h5 index, and a score of 15 as zijn h5-median.

History

  • 1994: Recife , Brazil
  • 1995: Recife, Brazil
  • 1996: Salvador, Brazil
  • 1997: Fortaleza , Brazil
  • 1998 Sao Paulo , Brazil
  • 1999: Itatiaia , Brazil
  • 2000 Natal, Brazil
  • 2001: Brasilia , 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: Brasilia, Brazil
  • 2011: Philadelphia , USA
  • 2012: Buenos Aires , Argentina
  • 2013: Darmstadt , Germany
  • 2014: Valparaiso , Chile
  • 2015: Bloomington, Indiana , USA
  • 2016: Puebla , Mexico

Future Venues

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

  • 2017: London , Great Britain
  • 2018: Bogota , Colombia
  • 2019: Utrecht , Netherlands (to be confirmed)
  • 2020: Arequipa , Peru
  • 2021: Chennai , India (to be confirmed)

Proceedings

  • Logic, Language, Information and Computation – 23rd International Workshop , WoLLIC 2016 Jouko Väänänen , Åsa Hirvonen & Ruy the 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/2015, 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 the Queiroz , Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (eds.), Bloomington, Indiana, USA, June 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 Barcelo & Ruy the Queiroz (eds.), Valparaiso, 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 the 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 the 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 the 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.), Brasilia, 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) . Florianopolis, 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 the 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

  • Journal of Computer and System Sciences , 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013). Edited by Leonid Libkin Ulrich Kohlenbach and Ruy the Queiroz. Volume 86 (June 2017 ACM Press).
  • Theoretical Computer Science , Logic, Language, Information and Computation, 19th Workshop on Logic, Language, Information and Computation . Buenos Aires, Argentina. 3 to 6 September 2012. Edited by Luke Ong and Ruy the Queiroz. Volume 603, Pages 1-146 (25 October 2015).
  • Journal of Computer and System Sciences , 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) . Edited by Lev Beklemishev, Ruy the Queiroz and Andre Scedrov. Volume 80, Issue 6, Pages 1037-1174 (September 2014).
  • Journal of Computer and System Sciences , 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010) . Edited by Anuj Dawar and Ruy the Queiroz. Volume 80, Issue 2, Pages 321-498 (March 2014).
  • Fundamenta Informaticae , Logic, Language, Information and Computation . Edited by Hiroakira Ono, Makoto Kanazawa and Ruy the Queiroz. Volume 106, Numbers 2-4, Pages 119-338, September 2011.
  • Journal of Computer and System Sciences , Workshop on Logic, Language, Information and Computation (WoLLIC 2008) . Edited by Wilfrid Hodges and Ruy the Queiroz. Volume 76, Issue 5, Pages 281-388 (August 2010).
  • Information and Computation , Special Issue: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007) . Edited by Daniel Leivant and Ruy the Queiroz. Volume 208, Issue 5, Pages 395-604 (May 2010).
  • Information and Computation , Special Issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006) . Edited by Grigori Mints, Valeria de Paiva and Ruy the Queiroz. Volume 207, Issue 10, Pages 969-1094, (October 2009).
  • Annals of Pure and Applied Logic , 12th Workshop on Logic, Language, Information and Computation . Florianopolis, Santa Catarina, Brazil. 19-22 July 2005. Edited by R. de Queiroz and A. Macintyre. Volume 152, Issues 1-3, Pages 1-180 (March 2008).
  • Theoretical Computer Science , Logic, Language, Information and Computation, 11th Workshop on Logic, Language, Information and Computation . Paris, France. 19-22 July 2004. Edited by R. de Queiroz and P. Cégielski. Volume 364, Issue 2, Pages 143-270 (Nov. 6, 2006).
  • Theoretical Computer Science , Logic, Language, Information and Computation . Minas Gerais, Brazil. 29 July-1 August 2003. Edited by R. de Queiroz and D. Elected. Volume 355, Issue 2, Pages 105-260 (11 April 2006).
  • Annals of Pure and Applied Logic , Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC’2002) . 30 July-2 August 2002. Edited by R. de Queiroz, B. Poizat and S. Artemov . Volume 134, Issue 1, Pages 1-93 (June 2005).
  • Matemática Contemporanea . 8th Workshop on Logic, Language, Information and Computation – WoLLIC’2001 . Universidade de Brasilia, July -August 2001 – Brasilia. Edited by John T. Baldwin, Ruy JGB the Queiroz, Edward H. Haeusler. Volume 24, 2003.
  • Logic Journal of the Interest Group in Pure and Applied Logics . 7th Workshop on Logic, Language, Information and Computation – WoLLIC 2000 . Natal (State of Rio Grande do Norte), August 15-18, 2000. Edited by Ruy JGB the Queiroz. Volume 9, Issue 6, 2001.
  • Logic Journal of the Interest Group in Pure and Applied Logics . 6th Workshop on Logic, Language, Information and Computation – WoLLIC’99 . Itatiaia National Park (State of Rio de Janeiro), May 25-28, 1999. Edited by Ruy JGB the Queiroz. Volume 8, Issue 5, 2000.

References

  • Hodges, Wilfrid (2008), “Workshop on Logic, Language, Information and Computation, 1-4 July” (PDF) , The Reasoner , 2 (9): 10 , retrieved 2010-10-23