![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Workshop on Logic, Language, Information and Computation (WoLLIC)
30th WoLLIC 2024: Bern, Switzerland
- George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Lecture Notes in Computer Science 14672, Springer 2024, ISBN 978-3-031-62686-9 [contents]
29th WoLLIC 2023: Halifax, NS, Canada
- Helle Hvid Hansen
, Andre Scedrov, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Lecture Notes in Computer Science 13923, Springer 2023, ISBN 978-3-031-39783-7 [contents]
28th WoLLIC 2022: Iași, Romania
- Agata Ciabattoni
, Elaine Pimentel
, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings. Lecture Notes in Computer Science 13468, Springer 2022, ISBN 978-3-031-15297-9 [contents]
27th WoLLIC 2021: Virtual Event
- Alexandra Silva, Renata Wassermann
, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Lecture Notes in Computer Science 13038, Springer 2021, ISBN 978-3-030-88852-7 [contents]
26th WoLLIC 2019: Utrecht, The Netherlands
- Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lecture Notes in Computer Science 11541, Springer 2019, ISBN 978-3-662-59532-9 [contents]
25th WoLLIC 2018: Bogota, Colombia
- Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez:
Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10944, Springer 2018, ISBN 978-3-662-57668-7 [contents]
24th WoLLIC 2017: London, UK
- Juliette Kennedy, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Lecture Notes in Computer Science 10388, Springer 2017, ISBN 978-3-662-55385-5 [contents]
23rd WoLLIC 2016: Puebla, Mexico
- Jouko A. Väänänen, Åsa Hirvonen
, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Lecture Notes in Computer Science 9803, Springer 2016, ISBN 978-3-662-52920-1 [contents]
22nd WoLLIC 2015: Bloomington, IN, USA
- Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira:
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Lecture Notes in Computer Science 9160, Springer 2015, ISBN 978-3-662-47708-3 [contents]
21st WoLLIC 2014: Valparaíso, Chile
- Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Lecture Notes in Computer Science 8652, Springer 2014, ISBN 978-3-662-44144-2 [contents]
20th WoLLIC 2013: Darmstadt, Germany
- Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8071, Springer 2013, ISBN 978-3-642-39991-6 [contents]
19th WoLLIC 2012: Buenos Aires, Argentina
- C.-H. Luke Ong
, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Lecture Notes in Computer Science 7456, Springer 2012, ISBN 978-3-642-32620-2 [contents]
18th WoLLIC 2011: Philadelphia, PA, USA
- Lev D. Beklemishev, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6642, Springer 2011, ISBN 978-3-642-20919-2 [contents]
17th WoLLIC 2010: Brasilia, Brazil
- Anuj Dawar
, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Lecture Notes in Computer Science 6188, Springer 2010, ISBN 978-3-642-13823-2 [contents]
16th WoLLIC 2009: Tokyo, Japan
- Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Lecture Notes in Computer Science 5514, Springer 2009, ISBN 978-3-642-02260-9 [contents]
15th WoLLIC 2008: Edinburgh, UK
- Wilfrid Hodges, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Lecture Notes in Computer Science 5110, Springer 2008, ISBN 978-3-540-69936-1 [contents]
14th WoLLIC 2007: Rio de Janeiro, Brazil
- Daniel Leivant, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576, Springer 2007, ISBN 978-3-540-73443-7 [contents]
13th WoLLIC 2006: Stanford University, CA, USA
- Grigori Mints, Ruy J. G. B. de Queiroz:
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006. Electronic Notes in Theoretical Computer Science 165, Elsevier 2006 [contents]
Proceedings: Information and Computation 207(10)
12th WoLLIC 2005: Florianópolis, Brazil
- Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt:
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005. Electronic Notes in Theoretical Computer Science 143, Elsevier 2006 [contents]
11th WoLLIC 2004: Fontainebleau, France
- Ruy J. G. B. de Queiroz, Patrick Cégielski:
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004. Electronic Notes in Theoretical Computer Science 123, Elsevier 2005 [contents]
10th WoLLIC 2003: Ouro Preto, MG, Brazil
- Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo:
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003. Electronic Notes in Theoretical Computer Science 84, Elsevier 2003 [contents]
9th WoLLIC 2002: Rio de Janeiro, Brazil
- Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 [contents]
8th WoLLIC 2001: Brasilia, Distrito Federal, Brazil
John T. Baldwin, Ruy de Queiroz, Edward Hermann Haeusler (Eds.): 8th Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 2001, Brasilia, DF, Brazil, July 31 - August 3, 2001, Proceedings.
Matematica Contemporanea, Volume 25, Sociedade Brasileira de Matematica 2003
7th WoLLIC 2000: Natal, Rio Grande do Norte, Brazil
Proceedings: Logic Journal of the IGPL 9(6)
6th WoLLIC 1999: Itatiaia, Rio de Janeiro, Brazil
Proceedings: Logic Journal of the IGPL 8(5)
5th WoLLIC 1998: Sao Paulo, Brazil
Proceedings: Logic Journal of the IGPL 6(6)
4th WoLLIC 1997: Fortaleza, Ceara, Brazil
Proceedings: Logic Journal of the IGPL 5(6)
3rd WoLLIC 1996: Salvador, Bahia, Brazil
Proceedings: Logic Journal of the IGPL 4(3)
2nd WoLLIC 1995: Recife, Pernambuco, Brazil
Proceedings: Logic Journal of the IGPL 4(2)
1st WoLLIC 1994: Recife, Pernambuco, Brazil
Proceedings: Logic Journal of the IGPL 3(1)
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.