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)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

DBLP entry:
http://www.informatik.uni-trier.de/~ley/db/conf/wollic/

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, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Ruy de Queiroz

Previous meetings

Previous meetings were held at: Recife (Pernambuco, Brazil) in 1994 and 1995; Salvador (Bahia, Brazil) in 1996; Fortaleza (Ceará, Brazil) in 1997; São Paulo (Brazil) in 1998; Itatiaia (Rio de Janeiro, Brazil) in 1999; Natal (Rio Grande do Norte, Brazil) in 2000; Brasília (Distrito Federal, Brazil) in 2001; Rio de Janeiro in 2002; Ouro Preto (Minas Gerais) 2003. In 2004 the meeting has taken place in Fontainebleau, 60Km south of Paris, France. In 2005 it was held in Florianópolis, Santa Catarina, Brazil, and in 2006 it took place at the CSLI, Stanford, California, USA. In 2007 it was held in Rio de Janeiro. Edinburgh will be the location for 2008.

Future meetings

The following venues are planned for the future meetings: Tokyo (2009), Brasília (2010), Buenos Aires (2011, tbc).

Previous invited speakers

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

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, 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 European Association for Theoretical Computer Science (EATCS), the Association for Symbolic Logic (ASL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

Publications

WoLLIC 2008 Special Issue, W. Hodges & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2008, W. Hodges & R. de Queiroz (eds.), Volume 5110 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, 2008, to appear.

WoLLIC 2007 Special Issue, D. Leivant & R. de Queiroz (eds.), Special Issue of Information and Computation, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Volume 4576 of Lecture Notes in Computer Science, Springer Verlag, 2007.

WoLLIC 2006 Special Issue, G. Mints, V. de Paiva & R. de Queiroz (eds.), Special Issue of Information and Computation, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2006, G. Mints & R. de Queiroz (eds.), Volume 165 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., 22 November 2006.

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.

Proceedings of WoLLIC 2005, R. de Queiroz, A. MacIntyre & G. Bittencourt (eds.), Volume 143 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., Jan 2006.

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

Proceedings of WoLLIC 2004, R. de Queiroz & P. Cégielski (eds.), Volume 123 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., March 2005.

Proceedings of WoLLIC 2003, R. de Queiroz, E. Pimentel & L. Figueiredo (eds.), Volume 84 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., September 2003.

Proceedings of WoLLIC 2002, R. de Queiroz, L.C. Pereira & E.H. Haeusler (eds.), Volume 67 of the Electronic Notes in Theoretical Computer Science, Elsevier Science Pub., September 2002, ISBN 044451290X.

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.

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

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

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.

Conference reports

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(5):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: April 15, 2008, 11:20pm GMT-3.