Workshop on Logic, Language, Information and Computation (WoLLIC)


Scientific Sponsorship:
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Lógica (SBL)

DBLP entry:
https://dblp.org/db/conf/wollic/


Wikipedia entry:
http://en.wikipedia.org/wiki/WoLLIC

Rankings

Ranked “7”: Microsoft Academic (MSAR) field ratings (2014) 

Ranked “C”: The CORE Conference Ranking Exercise - CORE Portal (2023)

h5-index 12 and h5-median 14: Google Scholar  



Vision

WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.


Format

The first three WoLLIC meetings, through 1996, lasted three days each, and consisted of invited talks and contributed papers. From 1997 to 2006 the meetings were four day long, with the first day dedicated to tutorials. In 2007 the tutorials was spread over the four meeting days.


Steering committee

Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Helle Hvid Hansen, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, Ruy de Queiroz, Andre Scedrov, Alexandra Silva, Renata Wassermann. 


Advisory committee

Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. 


Previous meetings

Previous meetings were held at: Recife (Pernambuco, Brazil) in 1994 and 1995; Salvador (Bahia, Brazil)  1996; Fortaleza (Ceará, Brazil) 1997; São Paulo (Brazil) 1998; Itatiaia (Rio de Janeiro, Brazil) 1999; Natal (Rio Grande do Norte, Brazil) 2000; Brasília (Distrito Federal, Brazil) 2001; Rio de Janeiro 2002; Ouro Preto (Minas Gerais) 2003; Fontainebleau (Paris, France) 2004; Florianópolis (Santa Catarina, Brazil) 2005; CSLI, Stanford, California, USA 2006; Rio de Janeiro  2007; Edinburgh 2008; Tokyo 2009; Brasília  2010; Philadelphia 2011; Buenos Aires 2012; Darmstadt 2013; Valparaiso 2014; Bloomington (IN) 2015; Puebla 2016; London 2017; Bogotá 2018; Utrecht 2019; In 2021 the event was held Online; Iași (Romania) 2022; Halifax (Canada) 2023; Bern 2024.


Future meetings

The following venues are planned for the future meetings: Porto (2025)


Previous invited speakers

2024: Juan Aguilera, Maria Aloni, Sam van Gool, Dexter Kozen, Francesca Zaffora Blando.


2023: Thomas Bolander, Makoto Kanazawa, Michael Moortgat, Magdalena Ortiz, Aybüke Özgün, Dusko Pavlovic, Richard Zach.


2022: Anupam Das, Marie Kerjean, Dorel Lucanu, Francesca Poggiolesi.


2021: Catarina Dutilh Novaes, Santiago Figueira, Andreas Herzig, Cláudia Nalon.


2019: Lev Beklemishev, Marta Bilkova, Johan Bos, George Metcalfe, Reinhard Muskens, Valentin Shehtman.


2018: Katalin Bimbo, Xavier Caicedo, José Meseguer, Elaine Pimentel, Guillermo Simari, Renata Wassermann.


2017: Hazel Brickhill, Michael Detlefsen, Alexander Kurz, Frederike Moltmann, David Pym, Nicole Schweikardt, Fan Yang, Boris Zilber.


2016: Pablo Barceló, Dana Bartošová, Johann A. Makowsky, Alessandra Palmigiano, Sonja Smets, Andres Villaveces.


2015: Nina Gierasimczuk, John Harrison, Peter Jipsen, Andre Joyal, Mehrnoosh Sadrzadeh, Chung-chieh Shan, Alexandra Silva.


2014: Verónica Becher, Juha Kontinen, Aarne Ranta, Kazushige Terui, Luca Vigano, Thomas Wilke.


2013: Natasha Alechina, Steve Awodey, Mikolaj Bojanczyk, Wim Martens, Catuscia Palamidessi, Thomas Schwentick.


2012: Andrea Asperti, Hans van Ditmarsch, Laura Kallmeyer, George Metcalfe, Anca Muscholl, Andre Nies, Peter Selinger, Nicole Schweikardt.


2011: Rajeev Alur, Max Kanovich, John Mitchell, Vladimir Voevodsky, Yoad Winter, Michael Zakharyaschev.


2010: Marcelo Finger, Michiel van Lambalgen, Martin Lange, Johann (Janos) Makowsky, Ian Pratt-Hartmann, Sebastiaan Terwijn, Cesare Tinelli.

2009: Arnold Beckmann, Carlos Caleiro, Thomas Eiter, Sylvain Salvati,Taisuke Sato, Frank Wolter.

2008: Olivier Danvy, Anuj Dawar, Makoto Kanazawa, Sam Lomonaco, Mark Steedman, Henry Towsner, Nikolay Vereshchagin.

2007: Alex Borgida, Alessandra Carbone, Martín Escardò, Philippa Gardner, Achim Jung, Louis Kauffman, Michael Moortgat, Paulo Oliva, John Reif, Yde Venema.

2006: Eli Ben-Sasson, Solomon Feferman, Yuri Gurevich, Ulrich Kohlenbach, Thomas Scanlon, Andre Scedrov.

2005: Melvin Fitting, Jean-Louis Krivine, Leonid Libkin, Grigori Mints, Joel Spencer.

2004: Thomas Ehrhard, Manfred Kerber, Klaus Meer, Damian Niwinski, Luke Ong, Alexander Rabinovich.

2003: Eric Allender, Lauri Hella, Jean-Baptiste Joinet, Dale Miller, Hans Rott.

2002: Ricardo Bianconi, Felipe Cucker, Erich Grädel, Gopalan Nadathur, Rohit Parikh, Igor Walukiewicz.

2001: Walter Carnielli, Bruno Courcelle, Gilles Dowek, Arnaud Fleury, Petr Hájek, Dexter Kozen, Jouko Väänänen.

2000: Sergei Artemov, Luiz Carlos Pereira, Toniann Pitassi, Bruno Poizat, Glynn Winskel.

1999: Samson Abramsky, John Baldwin, Craig Boutilier, Itala D'Ottaviano (joint with EBL'99), Daniel Leivant, Francisco Miraglia, Paulo Veloso (joint with EBL'99), Alan Woods.

1998: Sergei Artemov, Sam Buss, Edmund Clarke, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Valéria de Paiva, Maarten de Rijke, Giovanni Sambin.

1997: Keith Devlin, Abbas Edalat, Rob van Glabbeek, Yuri Gurevich, Peter Johnstone, Roman Kossak, Daniel Lehmann, Drew McDermott, Michael Moortgat, Moshe Vardi.

1996: Andreas Blass, Nachum Dershowitz, J. Michael Dunn, Peter Gardenförs, Jeroen Groenendijk, Wilfrid Hodges, Roger Maddux, Andrew Pitts, Amir Pnueli, Michael Smyth.

1995: Martin Abadi, Arnon Avron, Johan van Benthem, Ian Hodkinson, Patrick Lincoln, Larry Moss, Vaughan Pratt.

1994: Newton da Costa, João Cunha, José Fiadeiro, David Israel, Jim Lambek, Tom Maibaum, Hans-Jürgen Ohlbach, Uwe Reyle, Krister Segerberg.

Previous PC members

2024: Guillermo Badia,Thomas Bolander, Célia Borlido, Sabine Broda, Zoé Christoff, Willem Conradie, Anupam Das, Jacques Duparc, Federico Faroldi, Chris Fermüller, Mário Florido, Sujata Ghosh, Nina Gierasimczuk, Marianna Girlando, Makoto Kanazawa, Fenrong Liu, Hugo Luiz Mariano, George Metcalfe, Cláudia Nalon, Carles Noguera, Magdalena Ortiz, Aybüke Özgün, Dusko Pavlovic, Sylvain Pogodalla, Revantha Ramanayake, Luca Reggio, Mehrnoosh Sadrzadeh, Igor Sedlár, Viorica Sofronie-Stokkermans, Thomas Studer, Sara Ugolini, Mladen Vukovic, Fan Yang, Richard Zach.


2023: Bahareh Afshari, Zena Ariola, Adriana Balan, Marta Bílková, Ranald Clouston, Willem Conradie, Josée Desharnais, David Fernández-Duque, Santiago Figueira, Silvia Ghilezan, Sujata Ghosh, Nina Gierasimczuk, Helle Hvid Hansen (co-chair), Andreas Herzig, Juha Kontinen, Roman Kuznets, Martha Lewis, Johannes Marti, George Metcalfe, Cláudia Nalon, Carlos Olarte, Sophie Pinchinat, Francesca Poggiolesi, Sylvain Pogodalla, Revantha Ramanayake, Mehrnoosh Sadrzadeh, Andre Scedrov (co-chair), Philip Scott, Viorica Sofronie-Stokkermans, Kazushige Terui, Mladen Vuković


2022: Arthur Azevedo de Amorim, Agata Ciabattoni (Co-Chair), Diana Costa, Denisa Diaconescu, Hans van Ditmarsch, Rajeev Goré, Roman Kuznets, João Marcos, Larry Moss, Valeria de Paiva, Elaine Pimentel (Co-Chair), Revantha Ramanayake, Mehrnoosh Sadrzadeh, Alexandra Silva, Alex Simpson, Sonja Smets, Alwen Tiu, Leon van der Torre, Andrea Aler Tubella, Andres Villaveces, Renata Wassermann


2021: Carlos Areces, Arthur Azevedo de Amorim, Paul Brunet, Nina Gierasimczuk, Helle Hvid Hansen, Justin Hsu, Fairouz Kamareddine, Sandra Kiefer, Clemens Kupke, Konstantinos Mamouras, Maria Vanina Martinez, Larry Moss, Claudia Nalon, Valeria de Paiva, Elaine Pimentel, Revantha Ramanayake, Jurriaan Rot, Alexandra Silva (Co-Chair), Christine Tasson, Sebastiaan Terwijn, Renata Wassermann (Co-Chair)


2019: Raffaella Bernardi, Nick Bezhanishvili, Ivano Ciardelli, Giuseppe Greco, Philippe de Groote, Rosalie Iemhoff (co-chair), Roberto Maieli, Michael Moortgat (co-chair), Richard Moot, Larry Moss, Sara Negri, Carlo Nicolai, Valeria de Paiva, Alessandra Palmigiano, Ruy de Queiroz, Yde Venema, Fan Yang.


2018: Siddharth Bhaskar, Torben Braüner, Hazel Brickhill, Michael Detlefsen, Juliette Kennedy, Sophia Knight, Alex Kruckman, Maricarmen Martinez Baldares, Frederike Moltmann, Lawrence Moss (CHAIR), Cláudia Nalon,Valeria de Paiva, Sophie Pinchinat, David Pym, Ruy de Queiroz, Revantha Ramanayake, Giselle Reis, Jeremy Seligman, Yanjing Wang, Fan Yang.


2017: Matthias Baaz, John Baldwin, Dana Bartozova, Agata Ciabattoni, Walter Dean, Erich Gradel, Volker Halbach, Juliette Kennedy (Chair), Dexter Kozen, Janos Makowsky, Larry Moss, Alessandra Palmigiano, Mehrnoosh Sadrzadeh, Sonja Smets, Asger Tornquist, Rineke Verbrugge, Andres Villaveces, Philip Welchl.


2016: Samson Abramsky, Dietmar Berganger, Guram Bezhanishvili, Arnaud Durand, Pietro Galliani, Nina Gierasimczuk, Jeroen Groenendijk, Lauri Hella, Wesley Holliday, Juha Kontinen, Larry Moss, André Nies, Aarne Ranta, Mehrnoosh Sadrzadeh, Norma Short, Jouko Väänänen (CHAIR), Rineke Verbrugge, Heribert Vollmer, Dag Westerståhl.


2015: Juliana Küster Filipe Bowles, Robin Cooper, Martín Escardó, Nikos Galatos, Achim Jung, Sara Kalvala, Elham Kashefi, Peter Lefanu Lumsdaine, Ian Mackie, Gerard de Melo, Vivek Nigam, Catarina Dutilh Novaes, Valeria de Paiva (CHAIR), Luiz Carlos Pereira, Elaine Pimentel, Alexandra Silva, Carolyn Talcott, Josef Urban, Laure Vieu, Renata Wassermann, Anna Zamansky.


2014: Natasha Alechina, Eric Allender, Marcelo Arenas, Steve Awodey, Stefano Berardi, Julian Bradfield, Xavier Caicedo, Olivier Danvy, Hans van Ditmarsch, Ulrich Kohlenbach (CHAIR), Marcus Kracht, Michiel van Lambalgen, Klaus Meer, George Metcalfe, Dale Miller, Russell Miller, Sara Negri, Grigory Olkhovikov, Nicole Schweikardt, Sebastiaan Terwijn.


2013: Albert Atserias, Alexandru Baltag, Stephanie Delaune, Amy Felty, Santiago Figueira, Amelie Gheerbrant, Radha Jagadeesan, Delia Kesner, Benoit Larose, Leonid Libkin (CHAIR), Fenrong Liu, Jerzy Marcinkowski, Peter O'Hearn, Joël Ouaknine, Gerald Penn, Gabriele Puppis, R. Ramanujam, Peter Selinger, Szymon Torunczyk, Anna Zamansky.


2012: Carlos Areces, Marcelo Arenas, Steve Awodey, Verónica Becher, Patrick Blackburn, Maribel Fernandez, Santiago Figueira, Marcelo Finger, Marcelo Fiore, Yuxi Fu, Rosalie Iemhoff, Neil Immerman, Jean-Pierre Jouannaud, Makoto Kanazawa, Delia Kesner, Dexter Kozen, Martin Lange, Benedikt Löwe, Dag Normann, Luke Ong (CHAIR), Erik Palmgren, Sylvain Salvati, Philippe Schnoebelen, Fernando Souza, Kazushige Terui.


2011: Sergei Artemov, Jeremy Avigad, Arnold Beckman, Lev Beklemishev (CHAIR), Alessandro Berarducci, Andreas Blass, Sam Buss, Achim Jung, Benedikt Löwe, Janos Makowsky, Michael Moortgat, Vincent van Oostrom, Prakash Panangaden, Rohit Parikh, Ruy de Queiroz, Alexander Shen, Bas Spitters, Helmut Veith, Yde Venema, Scott Weinstein, Frank Wolter.


2010: Verónica Becher, Raffaella Bernardi, Ricardo Bianconi, Vasco Brattka, Balder ten Cate, Bob Coecke, Adriana Compagnoni, Marcelo Coniglio, Anuj Dawar (CHAIR), Valentin Goranko, Masahito Hasegawa, Rosalie Iemhoff, Makoto Kanazawa, Giuseppe Longo, Mike Mislove, Michael Norrish, Bart Selman, Scott Weinstein.

2009: Toshiyasu Arai, Matthias Baaz, Alexandru Baltag, Josep Maria Font, Silvio Ghilardi, Katsumi Inoue, Marcus Kracht, Hiroakira Ono (CHAIR), Masanao Ozawa, John Slaney, Mark Steedman, Hans Tompits.

2008: Lev Beklemishev, Eli Ben-Sasson, Xavier Caicedo, Mary Dalrymple, Martín Escardò, Wilfrid Hodges (CHAIR), Achim Jung, Louis Kauffman, Ulrich Kohlenbach, Leonid Libkin, Giuseppe Longo, Michael Moortgat, Valeria de Paiva, Andre Scedrov, Valentin Shehtman, Joe Wells.

2007: Samson Abramsky, Michael Benedikt, Lars Birkedal, Andreas Blass, Thierry Coquand, Jan van Eijck, Marcelo Finger, Rob Goldblatt, Yuri Gurevich, Hermann Haeusler, Masami Hagiya, Joseph Halpern, John Harrison, Wilfrid Hodges, Phokion Kolaitis, Marta Kwiatkowska, Daniel Leivant (CHAIR), Maurizio Lenzerini, Jean-Yves Marion, Dale Miller, John Mitchell, Lawrence Moss, Peter O'Hearn, Prakash Panangaden, Christine Paulin-Mohring, Alexander Razborov, Helmut Schwichtenberg, Jouko Väänänen.

2006: Jeremy Avigad, Johan van Benthem, Martin Davis, Keith Devlin, Edward A. Hirsch, Greg Hjorth, David Israel, Vladik Kreinovich, Leonid Levin, Grigori Mints (CHAIR), Itay Neeman, Hiroakira Ono, Stanley Peters, Wolfram Pohlers, Vaughan Pratt, Thomas Scanlon.

2005: Eric Allender, Saugata Basu, Peter Clote, Jürg Flum, Didier Galmiche, Andreas Herzig, Jean-Baptiste Joinet, Makoto Kanazawa, Yoshiharu Kohayakawa, Angus Macintyre (CHAIR), Luiz Carlos Pereira, Hans Rott, Richmond Thomason, Yde Venema, Andrei Voronkov, Marek Zaionc.

2004: Zofia Adamowicz, Danièle Beauquier, Felipe Cucker, Mariangiola Dezani (CHAIR), Georg Gottlob, Erich Grädel, Etienne Grandjean, Irene Guessarian, Gérard Huet, Martin Hyland, Gopalan Nadathur, Grzegorz Rozenberg, Anatol Slissenko, Igor Walukiewicz

2003: Argimiro Arratia, Alessandra Carbone, Marcelo Coniglio, Gilles Dowek, Arnaud Fleury, Dexter Kozen, Maarten Marx, Antônio Carlos da Rocha Costa, Dieter Spreen, Luiz Carlos Pereira, Jouko Väänänen, Renata Wassermann.

2002: Maurício Ayala-Rincón, Mario Benevides, Anuj Dawar, Philippe de Groote, Roger Maddux, Toniann Pitassi, Bruno Poizat, Alberto Policriti, Glynn Winskel.

2001: John Baldwin, Mads Dam, Marcelo Finger, Edward Hermann Haeusler, David Israel, Fairouz Kamareddine, Claude Kirchner, Phokion Kolaitis, Daniel Leivant, Michael Moortgat, Pavel Pudlák

2000: Sergei Artemov, Ricardo Bianconi, Sam Buss, Edmund Clarke, Itala D'Ottaviano, Heinz-Dieter Ebbinghaus, Peter Johnstone, Hans Kamp, Maarten de Rijke, Colin Stirling

1999: Gianluigi Bellin, Walter Carnielli, Abbas Edalat, Rob van Glabbeek, Jeroen Groenendijk, Roman Kossak, Daniel Lehmann, Dusko Pavlovic, Moshe Vardi

1998: Andreas Blass, Itala D'Ottaviano, J. Michael Dunn, Wilfrid Hodges, Francisco Miraglia, Luiz Carlos Pereira, Andrew Pitts, Amir Pnueli

1997: Arnon Avron, Johan van Benthem, Walter Carnielli, Newton da Costa, Ian Hodkinson, Larry Moss, Valéria de Paiva, Tarcísio Pequeno, Ruy de Queiroz, Paulo Veloso

1996: Walter Carnielli, Marcos Costa, Valéria de Paiva, Ruy de Queiroz, Armando Haeberer, Tarcísio Pequeno, Luiz Carlos Pereira, Krister Segerberg, Antônio Mário Sette, Paulo Veloso

1995: Walter Carnielli, Marcos Costa, Valéria de Paiva, Ruy de Queiroz, Armando Haeberer, Tarcísio Pequeno, Luiz Carlos Pereira, Krister Segerberg, Antônio Mário Sette, Paulo Veloso

1994: Walter Carnielli, Marcos Costa, Valéria de Paiva, Ruy de Queiroz, Armando Haeberer, Tarcísio Pequeno, Luiz Carlos Pereira, Antônio Mário Sette, Paulo Veloso

Scientific sponsorship

Scientific sponsorship has consistently come from the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the Association for Symbolic Logic (ASL), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL).


Publications

Special Issues

WoLLIC 2024 Special Issue, G. Metcalfe, T. Studer & R. de Queiroz (ed.), Special Issue of  Journal of Logic and Computation, Oxford Univ Press, 202?, to appear.

WoLLIC 2023 Special Issue, H. H. Hansen, A. Scedrov & R. de Queiroz (ed.), Special Issue of Mathematical Structures in Computer Science, Cambridge Univ Press, 202?, to appear.

WoLLIC 2022 Special Issue, A. Ciabattoni, E. Pimentel & R. de Queiroz (ed.), Special Issue of Mathematical Structures in Computer Science, Cambridge Univ Press, 202?, to appear.

WoLLIC 2021 Special Issue, A. Silva, R. Wassermann & R. de Queiroz (ed.), Special Issue of  Journal of Logic and Computation, Oxford Univ Press, 202?, to appear. (Preface: https://doi.org/10.1093/logcom/exae063)

WoLLIC 2019 Special Issue, R. de Queiroz (ed.), Special Issue of Information and Computation, Volume 287 (September 2022), Elsevier.

WoLLIC 2018 Special Issue, L. Moss & R. de Queiroz (eds.), Special Issue of Journal of Logic, Language and Information, Springer, Volume 31, issue 4, December 2022.

WoLLIC 2017 Special Issue, J. Kennedy & R. de Queiroz (eds.), Special Issue of Archive for Mathematical Logic, Volume 60, Issue 5, Springer, July 2021.

WoLLIC 2016 Special Issue, J. Väänänen & R. de Queiroz (eds.), Special Issue of Annals of Pure and Applied Logic, Volume 170, Issue 9, Pages 921-1150 (September 2019), Elsevier.

WoLLIC 2015 Special Issue, V. de Paiva & R. de Queiroz (eds.), Special Issue of Mathematical Structures in Computer Science, Volume 29 - Issue 6, June 2019, Cambridge University Press.

WoLLIC 2014 Special Issue, U. Kohlenbach, P. Barceló & R. de Queiroz (eds.), Special Issue of Information and Computation, Volume 255, Part 2, Pages 193-334 (August 2017), Elsevier.

WoLLIC 2013 Special Issue, L. Libkin, U. Kohlenbach & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences,  Volume 88, Pages 1-290 (September 2017), Elsevier.

WoLLIC 2012 Special Issue, L. Ong & R. de Queiroz (eds.), Special Issue of Theoretical Computer Science, Volume 603, Pages 1-146 (25 October 2015), Elsevier.


WoLLIC 2011 Special Issue, L. Beklemishev, R. de Queiroz & A. Scedrov (eds.), Special Issue of Journal of Computer and System Sciences, Volume 80, Issue 6, Pages 1037-1174 (September 2014) , Elsevier.


WoLLIC 2010 Special Issue, A. Dawar & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences, Volume 80, Issue 2, Pages 321-498 (March 2014), Elsevier.

WoLLIC 2009 Special Issue, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Special Issue of Fundamenta Informaticae, IOS Press, Volume 106, Number 2-4, Pages 119-338, 2011.

WoLLIC 2008 Special Issue, W. Hodges & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences, Volume 76, Issue 5, Pages 281-388 (August 2010), Elsevier.

WoLLIC 2007 Special Issue, D. Leivant & R. de Queiroz (eds.), Special Issue of Information and Computation, Volume 208, Issue 5, Pages 395-604 (May 2010), Elsevier.

WoLLIC 2006 Special Issue, G. Mints, V. de Paiva & R. de Queiroz (eds.), Special Issue of Information and Computation, Volume 207, Issue 10, Pages 969-1094 (October 2009), Elsevier.

WoLLIC 2005 Special Issue, R. de Queiroz & A. MacIntyre (eds.), Volume 152, Issues 1-3, of Annals of Pure and Applied Logic, Elsevier, March 2008.

WoLLIC 2004 Special Issue, R. de Queiroz & P. Cégielski (eds.), Special Issue of Theoretical Computer Science, Elsevier, Volume 364, Issue 2, Pages 143-270 (6 November 2006).

WoLLIC 2003 Special Issue, R. de Queiroz & D. Kozen (eds.), Special Issue of Theoretical Computer Science, Elsevier, Volume 355, Issue 2, Pages 105-260 (11 April 2006).

WoLLIC 2002 Special Issue, R. de Queiroz, B. Poizat & S. Artemov (eds.), Special Issue of the Annals of Pure and Applied Logic, Elsevier, Volume 134, Issue 1,  Elsevier, June 2005.

Proceedings of WoLLIC 2001, J. Baldwin, R. de Queiroz & E. H. Hauesler (eds.), Volume 24 of Matemática Contemporânea, Sociedade Brasileira de Matemática, July 2003.

WoLLIC 2000 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics, 9(6), Oxford University Press, November 2001.

WoLLIC'99 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics, 8(5), Oxford University Press, September 2000.

WoLLIC'96 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics 5(4), Oxford University Press, July 1997.

WoLLIC'95 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics 5(2), Oxford University Press, March 1997.

WoLLIC'94 Special Issue of the Bulletin of the Interest Group in Pure and Applied Logics 3(4), Max Planck Institut für Informatik, Saarbrücken, July 1995.


Proceedings

Logic, Language, Information, and Computation - 30th International Workshop WoLLIC 2024, George Metcalfe, Thomas Studer, Ruy de Queiroz (eds.), Bern, Switzerland, June 10-13, 2024, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 14672/2024, DOI 10.1007/978-3-031-62687-6, ISBN 978-3-031-62686-9, July 2024. 


Logic, Language, Information, and Computation - 29th International Workshop WoLLIC 2023, Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz (eds.), Halifax, NS, Canada, July 11–14, 2023, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 13923/2023, DOI 10.1007/978-3-031-39784-4, ISBN 978-3-031-39783-7, August 2023. 


Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Agata Ciabattoni, Elaine Pimentel & Ruy de Queiroz (eds.), Iaşi, Romania, September 20-23, 2022. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 13468/2022, DOI 10.1007/978-3-031-15298-6, ISBN 978-3-031-15297-9, September 2022. 


Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Virtual Event, October 5-8, 2021. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 13038/2021, DOI 10.1007/978-3-030-88853-4, ISBN 978-3-030-88852-7, October 2021. 


Logic, Language, Information and Computation - 26th International Workshop, WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Utrecht, The Netherlands, July 2-5, 2019. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 11541/2019, DOI 10.1007/978-3-662-59533-6, ISBN 978-3-662-59532-9, July 2019.  


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, 2018. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 10944/2018, DOI 10.1007/978-3-662-57669-4, ISBN 978-3-662-57668-7, July 2018.


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) 1611-3349 (Online), Volume 10388/2017, DOI 10.1007/978-3-662-55386-2, ISBN 978-3-662-55385-5, July 2017.


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) 1611-3349 (Online), Volume 9803/2016, DOI 10.1007/978-3-662-52921-8, ISBN 978-3-662-52920-1, August 2016.


Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Valeria de Paiva, Lawrence Moss, Daniel Leivant, Ruy de Queiroz & Anjolina de Oliveira (eds.), Bloomington, Indiana, USA, July 20-23, 2015. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 9160/2015, DOI 10.1007/978-3-662-47709-0, ISBN 978-3-662-47708-3, August 2015.


Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaiso, Chile, September 1-4, 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) 1611-3349 (Online), Volume 8652/2014, DOI 10.1007/978-3-662-44145-9, ISBN 978-3-662-44144-2, September 2014.


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) 1611-3349 (Online), Volume 8071/2013, DOI 10.1007/978-3-642-39991-6, ISBN 978-3-642-39992-3, August 2013.


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) 1611-3349 (Online), Volume 7456/2012, DOI 10.1007/978-3-642-32620-2, ISBN 978-3-642-32620-2, September 2012.


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, May 2011.


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, July 2010.


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, June 2009.


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, July 2008.


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, July 2007.


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)


Proceedings of WoLLIC'99, R. de Queiroz & W. Carnielli (ed.), May 1999.

Proceedings of WoLLIC'98, R. de Queiroz & M. Finger (ed.), July 1998.


Conference reports

WoLLIC 2024 1-page Conference Report. The Bulletin of Symbolic Logic  ??(?)???-??? (to appear)  (preprint)

WoLLIC 2023 1-page Conference Report. The Bulletin of Symbolic Logic  ??(?)???-??? (to appear)  (preprint)

WoLLIC 2022 1-page Conference Report. The Bulletin of Symbolic Logic  ??(?)???-??? (to appear)  (preprint)

WoLLIC 2021 1-page Conference Report. The Bulletin of Symbolic Logic   29(4):725, December 2023. DOI: https://doi.org/10.1017/bsl.2023.42 (Published online by Cambridge University Press: 23 February 2024)

WoLLIC 2021 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, ??(?)???-???, ?? 2022. DOI: https://doi.org/10.1093/jigpal/jzac062, Oxford University Press. (Published in digital form: 19 August 2022)

WoLLIC 2019 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 29(3)385-404, June 2021. DOI: https://doi.org/10.1093/jigpal/jzaa004, Oxford University Press. (Published in digital form: 12 Jun 2020)

WoLLIC 2019 1-page Conference Report. The Bulletin of Symbolic Logic  25(3):421–422, September 2019. DOI: https://doi.org/10.1017/bsl.2019.41

WoLLIC 2018 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 27(5)766-776, October 2019. DOI: https://doi.org/10.1093/jigpal/jzz004, Oxford University Press. (Published in digital form: 08 Apr 2019)

WoLLIC 2018 1-page Conference Report. The Bulletin of Symbolic Logic  24(4):548–549, December 2018. DOI: https://doi.org/10.1017/bsl.2018.79

WoLLIC 2017 1-page Conference Report. The Bulletin of Symbolic Logic  24(3):386–387, September 2018. DOI: https://doi.org/10.1017/bsl.2018.22

WoLLIC 2017 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 27(1)118-134, February 2019. DOI: https://doi.org/10.1093/jigpal/jzy011, Oxford University Press. (Published in digital form: 01 May 2018)

WoLLIC 2016 1-page Conference Report. The Bulletin of Symbolic Logic  23(2):270-271, June 2017. DOI: https://doi.org/10.1017/bsl.2017.17

WoLLIC 2016 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 25(2):253-272, April 2017. doi: 10.1093/jigpal/jzw063, Oxford University Press. (Published in digital form: 24 December 2016)

WoLLIC 2015 1-page Conference Report. The Bulletin of Symbolic Logic  22(3):436-437, September 2016. DOI: http://dx.doi.org/10.1017/bsl.2016.23

WoLLIC 2015 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 24(5):859-867, October 2016. doi: 10.1093/jigpal/jzw014, Oxford University Press.

WoLLIC 2014 1-page Conference Report. The Bulletin of Symbolic Logic 21(2):241-242, June 2015. DOI: http://dx.doi.org/10.1017/bsl.2015.16 

WoLLIC 2014 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 23(5):848-859, doi:10.1093/jigpal/jzv022, Oxford University Press, Oct 2015.

WoLLIC 2013 1-page Conference Report. The Bulletin of Symbolic Logic 20(2):266-267, June 2014. DOI: 10.1017/bsl.2014.9 (Published online: 26 June 2014).

WoLLIC 2013 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics, 22(6):1094-1103, doi:10.1093/jigpal/jzu021, Oxford University Press, Dec 2014.

WoLLIC 2012 1-page Conference Report. The Bulletin of Symbolic Logic 19(3):425-426, September 2013. DOI: 10.2307/41955421

WoLLIC 2012 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 22(4):711-720, doi: 10.1093/jigpal/jzt004, Oxford University Press, May 2013.

WoLLIC 2011 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 20(6):1220-1230, Oxford University Press, December 2012.

WoLLIC 2011 1-page Conference Report. The Bulletin of Symbolic Logic 18(1):152-153, March 2012.

WoLLIC 2010 1-page Conference Report. The Bulletin of Symbolic Logic 17(3):480-481, September 2011.

WoLLIC 2010 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 18(6):941-949, Oxford University Press, December 2010.

WoLLIC 2009 1-page Conference Report. The Bulletin of Symbolic Logic 16(1):143-144, March 2010.

WoLLIC 2009 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 17(6):805-815, Oxford University Press, December 2009.

WoLLIC 2008 1-page Conference Report. The Bulletin of Symbolic Logic 14(4):550-551, December 2008.

Workshop on Logic, Language, Information and Computation, 1.4 July, by Wilfrid Hodges. In The Reasoner, Volume 2, Number 9, September 2008, p. 10.

WoLLIC 2008 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 16(4):413-423, Oxford University Press, August 2008.

WoLLIC 2007 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 16(2):217-229, Oxford University Press, April 2008.

WoLLIC 2007 1-page Conference Report. The Bulletin of Symbolic Logic 14(1):160-161, March 2008.

WoLLIC 2006 1-page Conference Report. The Bulletin of Symbolic Logic 13(3):410-411, September 2007.

WoLLIC 2006 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 14(3):521-531, Oxford University Press, October 2006.

WoLLIC 2005 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 13(6):729-738, Oxford University Press, November 2005.

WoLLIC 2005 1-page Conference Report. The Bulletin of Symbolic Logic 11(4):558-559, December 2005.

WoLLIC 2004 1-page Conference Report. The Bulletin of Symbolic Logic 11(1):120-121, March 2005.

WoLLIC 2004 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 12(4):335-342, Oxford University Press, July 2004.

WoLLIC 2003 1-page Conference Report. The Bulletin of Symbolic Logic 10(2):295-296, June 2004.

WoLLIC 2003 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 11(5):583-593, Oxford University Press, September 2003.

WoLLIC 2002 1-page Conference Report. The Bulletin of Symbolic Logic 9(1):121-122, March 2003.

WoLLIC 2002 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 10(6):679-688, Oxford University Press, November 2002.

WoLLIC 2001 1-page Conference Report. The Bulletin of Symbolic Logic 8(2):319-320, June 2002.

WoLLIC 2001 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 9(5):739-754, Oxford University Press, September 2001.

WoLLIC 2000 1-page Conference Report. The Bulletin of Symbolic Logic 7(2):293-294, June 2001.

WoLLIC 2000 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 9(1):129-140, Oxford University Press, January 2001.

WoLLIC'99 1-page Conference Report. The Bulletin of Symbolic Logic 5(3):424-425, September 1999.

WoLLIC'99 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 7(4):555-566, Oxford University Press, July 1999.

WoLLIC'98 1-page Conference Report. The Bulletin of Symbolic Logic 5(3):422-423, September 1999.

WoLLIC'98 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 6(6):917-938, Oxford University Press, November 1998.

WoLLIC'97 1-page Conference Report. The Bulletin of Symbolic Logic 4(2):225-226, June 1998.

WoLLIC'97 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 5(6):859-930, Oxford University Press, November 1997. 

WoLLIC'96 1-page Conference Report. The Bulletin of Symbolic Logic 2(3):374, September 1996. 

WoLLIC'96 Conference Report. In Journal of the Interest Group in Pure and Applied Logics 4(3):473-527, Max Planck Institut für Informatik, Saarbrücken, June 1996. 

WoLLIC'95 Conference Report. In Journal of the Interest Group in Pure and Applied Logics 4(2):309-344, Max Planck Institut für Informatik, Saarbrücken, March 1996. 

WoLLIC'94 Conference Report. In Bulletin of the Interest Group in Pure and Applied Logics 3(1):124-146, Max Planck Institut für Informatik, Saarbrücken, March 1995.



Last modified: Oct 21, 2024, 11:33am GMT-3.