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

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


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

Rankings

Ranked "B": Computer Science Conference Ranking 2010

Ranked “B”: Computer Science Conference Rank

Ranked 57th, Field-Rating 3, Algorithms & Theory, Microsoft Academic Search - Conferences


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, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints (in memoriam), Luke Ong, Hiroakira Ono, 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 has been the location for 2008. Tokyo was the venue for 2009. Brasília was the location in 2010. Philadelphia hosted the event in 2011, Buenos Aires received the event in 2012. Darmstadt was the venue for 2013. 


Future meetings

The following venues are planned for the future meetings: Valparaiso (2014), Bloomington (2015), Puebla (2016), Utrecht (2017).


Previous invited speakers

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

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


Publications

Special Issues

WoLLIC 2013 Special Issue, L. Libkin, U. Kohlenbach & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences, Elsevier, 201?, to appear.


WoLLIC 2012 Special Issue, L. Ong & R. de Queiroz (eds.), Special Issue of Theoretical Computer Science, Elsevier, 201?, to appear.


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, 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 - 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, TO APPEAR.


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.


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.


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)


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 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, doi:10.1093/jigpal/jzu021, Oxford University Press, Jun 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, 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(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: July 10, 2014, 11:52am GMT-3.