Workshop on Logic, Language, Information and Computation
Encyclopedia
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
and the European Association for Computer Science Logic.
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) 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) 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) 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) 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)
Journal of Computer and System Sciences, Workshop on Logic, Language, Information and Computation (WoLLIC 2008). Edited by Wilfrid Hodges and Ruy de 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 de 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, Valéria de Paiva and Ruy de Queiroz. Volume 207, Issue 10, Pages 969-1094
(October 2009).
Annals of Pure and Applied Logic, 12th Workshop on Logic, Language, Information and Computation. 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 (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. Queiroz and P. Cégielski. Volume 364, Issue 2, Pages 143-270 (6 November 2006).
Theoretical Computer Science, Logic, Language, Information and Computation. Minas Gerais, Brazil. 29 July-01 August 2003. Edited by R. de Queiroz and D. Kozen. 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-02 August 2002. Edited by R. de Queiroz, B. Poizat and S. Artemov. Volume 134, Issue 1, Pages 1-93 (June 2005).
Matemática Contemporânea. 8th Workshop on Logic, Language, Informations and Computation - WoLLIC'2001. 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. 7th Workshop on Logic, Language, Informations and Computation - WoLLIC 2000. Natal (State of Rio Grande do Norte), 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. 6th Workshop on Logic, Language, Informations and Computation - WoLLIC'99. Itatiaia National Park (State of Rio de Janeiro), May 25-28 1999. Edited by Ruy J. G. B. de Queiroz. Volume 8, Issue 5, 2000.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of pure and applied logic and theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
. 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
Association for Logic, Language and Information
The Association for Logic, Language and Information is an international, especially European, learned society administered from Nancy-Université in France...
, the Association for Symbolic Logic
Association for Symbolic Logic
The Association for Symbolic Logic is an international organization of specialists in mathematical logic and philosophical logic—the largest such organization in the world. The ASL was founded in 1936, a crucial year in the development of modern logic, and its first president was Alonzo Church...
and the European Association for Computer Science Logic.
Future Venues
The meetings alternate between Latin America and US/Europe/Asia. The following locations are planned for future meetings: Buenos Aires in 2012, Darmstadt in 2013, Santiago or Valparaiso (Chile) in 2014, Moscow in 2015 (tbc), Puebla (Mexico) in 2016, Utrecht in 2017.History
1994: Recife, 1995: Recife, 1996: Salvador, 1997: Fortaleza, 1998: São Paulo, 1999: Itatiaia, 2000: Natal, 2001: Brasília, 2002: Rio de Janeiro, 2003: Ouro Preto, 2004: Fontainebleau, 2005: Florianópolis, 2006: Stanford, 2007: Rio de Janeiro, 2008: Edinburgh, 2009: Tokyo, 2010: Brasília, 2011: Philadelphia.Proceedings
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) 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) 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) 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) 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) 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
Fundamenta Informaticae, Logic, Language, Information and Computation. Edited by Hiroakira Ono, Makoto Kanazawa and Ruy de Queiroz. Volume 106, Numbers 2-4, Pages 119-338 (2011, to appear).Journal of Computer and System Sciences, Workshop on Logic, Language, Information and Computation (WoLLIC 2008). Edited by Wilfrid Hodges and Ruy de 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 de 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, Valéria de Paiva and Ruy de Queiroz. Volume 207, Issue 10, Pages 969-1094
(October 2009).
Annals of Pure and Applied Logic, 12th Workshop on Logic, Language, Information and Computation. 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 (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. Queiroz and P. Cégielski. Volume 364, Issue 2, Pages 143-270 (6 November 2006).
Theoretical Computer Science, Logic, Language, Information and Computation. Minas Gerais, Brazil. 29 July-01 August 2003. Edited by R. de Queiroz and D. Kozen. 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-02 August 2002. Edited by R. de Queiroz, B. Poizat and S. Artemov. Volume 134, Issue 1, Pages 1-93 (June 2005).
Matemática Contemporânea. 8th Workshop on Logic, Language, Informations and Computation - WoLLIC'2001. 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. 7th Workshop on Logic, Language, Informations and Computation - WoLLIC 2000. Natal (State of Rio Grande do Norte), 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. 6th Workshop on Logic, Language, Informations and Computation - WoLLIC'99. Itatiaia National Park (State of Rio de Janeiro), May 25-28 1999. Edited by Ruy J. G. B. de Queiroz. Volume 8, Issue 5, 2000.