WoLLIC
A Series of Workshops on Logic, Language, Information and Computation

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
  Until 1996, the workshop lasted for 3 (three) days, and had: (i) invited talks; (ii) contributed papers.
Since 1997, the meeting has been extended to 4 (four) days, with the first dedicated to tutorial lectures (2hr each) which should help the guest speakers introduce basic material needed to fully appreciate the results presented in the invited talks.

Previous Workshops
  Previous workshops 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 took place in Fontainebleau, 60Km south of Paris, France. In 2005 it was held in Florianópolis, Santa Catarina, Brazil, and in 2006 it will take place at the CSLI, Stanford, California, USA.

Previous Guest Speakers
  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, Jim Lambek, Tom Maibaum, Hans-Jürgen Ohlbach, Uwe Reyle, Krister Segerberg.

Previous PC Members
  2005: Eric Allender, Saugata Basu, Peter Clote, Jürg Flum, Didier Galmiche, Andreas Herzig, Jean-Baptiste Joinet, Makoto Kanazawa, Yoshiharu Kohayakawa, Angus Macintyre, 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 European 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).

Funding
  Funding usually comes from:
(i) CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico, the scientific and technological development council of the Brazilian Ministério da Ciência e Tecnologia);
(ii) CAPES (Fundação Coordenação de Apoio ao Aperfeiçoamento de Pessoal de Nível Superior, a Foundation for the Development of Higher-Education under the Brazilian Ministério da Educação).

Publications
  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 ? of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., 2006, to appear.

WoLLIC'2005 Special Issue, R. de Queiroz & A. MacIntyre (eds.), Special Issue of the Annals of Pure and Applied Logic, Elsevier, 200?, to appear.

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, 200?, to appear.

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'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 Logic11(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):782-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.

Selected Quotes
  WoLLic05 was a very interesting meeting, and I enjoyed very much talks and discussions.
Jean-Louis Krivine, guest speaker at WoLLIC'2005

Thanks once more for your hospitality and well-organized conference.
Alexander Rabinovich, guest speaker at WoLLIC'2004

EATCS is a non-profit organization, and, unfortunately, we do not have any financial means for sponsoring scientific events.
However, many distinguished events are under the auspices of the EATCS, and from the description you sent of the excellent scientific quality of WoLLIC'2005, it will be a pleasure for us to include also WoLLIC'2005. If so, we would add the event to our list of sponsored events on our web page.
Thank you for contacting EATCS.

Mogens Nielsen, president EATCS

We are happy to continue the tradition of publishing the Proceedings of the WoLLIC conferences in ENTCS. WoLLIC is a very high quality series, and we're pleased to be the venue for its proceedings.
Michael Mislove, editor of Electronic Notes in Theoretical Computer Science

Thank you once again for inviting me to the beautiful conference in Ouro Preto.
Hans Rott, guest speaker at WoLLIC'2003

I very much enjoyed the conference. Thanks to all of you,
Eric Allender, guest speaker at WoLLIC'2003

Thank you again for organizing such a marvelous conference in a beautiful and unusual city. Activities after the conference where also indeed interesting.
Marek Zaionc, author of a contributed talk at WoLLIC'2003

Só tenho elogios a fazer em relação à organização e realização do WoLLIC2003. As palestras foram muito interessantes e a seleção dos palestrantes foi muito conveniente. Em particular gostei muito da participação do Prof Dale Miller. O auxílio financeiro também foi muito conveniente.
As três versões que participei WoLLIC2001, WoLLIC2002 e WoLLIC2003 foram muito proveitosas para mim.

Flávio Leonardo Cavalcanti de Moura, student participant of WoLLIC'2003

Sobre o workshop, posso afirmar que foi um dos melhores que pude participar, isto inclui o nível técnico das apresentações e a recepção que todos nós tivemos. Desejo, sinceramente, que as novas edições do WoLLIC ocorram com o mesmo sucesso de 2003.
Renata Reiser, author of a contributed talk at WoLLIC'2003

It was very nice to participate at WoLLIC.
I specially like the informal atmosphere and that WoLLIC had contribution with very different aspects of logic.
The only criticism from me is that the organizers were not always too strict with the time. But on the other hand it contributes to the relaxed atmosphere of the meeting.

Yngve Lamo, author of a contributed talk at WoLLIC'2003

It will a pleasure for EATCS to co-sponsor your workshop, which has a very good reputation in our community.
Mogens Nielsen, president EATCS

Let me thank you again for the splendid organisation of WoLLIC. I really enjoyed it, and I hope very much that I will find an opportunity to come again to Brasil.
Erich Grädel, guest speaker at WoLLIC'2002

In general, I think that WoLLIC serves a very good purpose, exposing international and Brazilian researchers to each other in an intimate and well paced environment. I hope that this will continue well into the future and that the funding hiccups that you faced this year will turn out to be transitory. I certainly look forward to participating in other WoLLICs in the coming years.
Gopalan Nadathur, guest speaker at WoLLIC'2002

I wanted to thank you once more for your invitation to Wollic. It was a great conference.
Gilles Dowek, guest speaker at WoLLIC'2001

I have come home OK and would like to thank you once more for the invitation to WOLLIC 2001 and all your hospitality. Staying in Brasilia and attendlig the meeting was a phantastic thing.
Petr Hájek, guest speaker at WoLLIC'2001

Thanks very much for all the work you did in the organization of Wollic. It was a very enjoyable and productive workshop and a really nice collection of people. ...
Dexter Kozen, guest speaker at WoLLIC'2001

muito obrigado pelo convite, e parabens pelo excelente encontro. Fiquei muito feliz com a otima receptividade do nosso trabalho!
Walter Carnielli, guest speaker at WoLLIC'2001

Thank you again for running the whole WoLLIC enterprise. It means a big deal for the community on Logic and applications in Brazil and around the world.
Sergei Artemov, guest speaker at WoLLIC'2000

Muito obrigado pela oportunidade de ter participado do evento. Alem de ter sido muito agradavel, foi realmente muito produtivo para mim. Longa vida para o WoLLIC!!
Luiz Carlos Pereira, guest speaker at WoLLIC'2000

Thank you very much for organizing this congenial and most interesting meeting, for your kind invitation and for the generous support. I enjoyed it very much, as I am sure did everyone else.
Daniel Leivant, guest speaker at WoLLIC'99

Let me join with the others in thanking you and Luis Carlos. We all go to many meetings nowadays, but for me, and I believe for all of us, this was something special.
I know that organizing WoLLIC this year has not been easy. I'm really glad that you did, and I hope that it goes from strength to strength in the future.

Samson Abramsky, guest speaker at WoLLIC'99

One more voice in the chorus. I want to add that I very much enjoyed meeting such an interesting group of people with a wide range of interests in logic. Such a meeting gives a very different perspective on what constitutes logic.
John Baldwin, guest speaker at WoLLIC'99

I want to thank you for the fine work you did in making boths conferences possible.
I attended the WoLLIC conferences in Sao Paulo last year and Rio de Janeiro this year. Both were not only highly interesting on the professional level but also a great pleasure and much fun.
What I like in particular is the almost 'private' atmosphere of the conference. Although the participants come from all over the world and do specialized work in very different areas, it is not difficult to get into contact with them. I think this is at least in part due to the fact that the number of participants is low compared to other conferences with a comparable (high) international standard.
A second important aspect is the interdisciplinary character of the conference. Both the invited speakers and the contributors came from different areas, showing that the name of the conference, Workshop of Logic, Language, Information and Computation, is justified. For someone like me, who works in linguistics and tries to apply formal tools from Logic and Mathematics to the analysis of natural language phenomena, it is important to know what tools exist. WoLLIC gives me the possibility to get information about tools that I didn't know so far. To mention just one example: I learnt about the work of Prof. Carnielli and his co-workers on default logic and default reasoning. I think that this work is relevant for what is done in the project I am working in and I already started thinking about how it can be applied to some unsolved problems in the domain of aspectual phenomena.
  At both conferences I found the choice of invited speakers very successful. They were all distinguished experts in their fields. On the other hand, they had overlapping research interests. As a consequence, attending tutorials by two or three gave me the opportunity to learn something about a single problem from different perspectives. I attended only those tutorials where I already had some knowledge of the topic and I was always able to deepen my understanding and felt encouraged to pursue the topic on my own in order to better understand it.
The organization was excellent, not only during the conference but also during the time before the conference. It was not necessary to request necessary information (how to go from the airport to the hotel, weather conditions etc.) from the organizers. All that one had to do was checking the website for the relevant information.
The same holds for others aspects like the accomodation (hotel), the food etc.
Perhaps the most impressive aspect, at least for someone from Germany like me, was Brasil: the people, the nature, the atmosphere, the people. Now it is true that you get this for free, but taking into account that a conference cannot be separated from its social and natural environment, this is a strong point in favour of WoLLIC. Taking place in Brasil is something that makes it special and sets it apart from similar conferences that take place in the so-called OLD WORLD.
...
I strongly hope that this conference will continue to exist in the future because I think it would be a substantial loss if this possibility of interdisciplinary exchange (and chat) ceases to exist. For my part, I will submit a paper next year.

Ralf Naumann, (contributed paper) speaker at WoLLIC'99

Thank you very much for arranging WoLLIC'98, which I had a privilege to attend.
Sergei Artemov, guest speaker at WoLLIC'98

Thanks again for inviting me to participate in Wollic. I was really impressed by the quality of the papers and presentations.
Edmund Clarke, guest speaker at WoLLIC'98

I would like to thank you once more very much for all you have done to arrange the meeting that was so successful!
Scientifically and non-scientifically, it was a wonderful time!

Heinz-Dieter Ebbinghaus, guest speaker at WoLLIC'98

Thanks very much once again for the invitation. I was impressed by the quality and seriousness of the meeting, learned quite a bit and met a number of delightful people who so far I only knew by name and reputation.
Hans Kamp, guest speaker at WoLLIC'98

Thanks again for the wonderful job you did at WoLLIC'98!
I found the event very useful, and I learnt a lot.

Maarten de Rijke, guest speaker at WoLLIC'98

uma mensagem rápida pra agradecer pelo apoio todo e dizer que o Wollic funcionou totalmente e está cada vez melhor. Parabéns!
Valéria de Paiva, guest speaker at WoLLIC'98

After spending some days with my family in Buenos Aires, I went to São Paulo to present a paper at WoLLIC'98, the Workshop on Logic, Language, Information and Computation. (...) Upon arriving in the campus a beautiful surprise (the first of many): so much green. The campus seemed to be in the middle of a forest. The second surprise: to see finally the faces of the invited speakers. I imagine that it is a special moment for everybody when you finally meet personalities you have heard, read and studied about for so many years. And they were there "in the flesh". I went eagerly to the first tutorials. And the tutorials were good! Well prepared, coherent and at the same time pointing in so many directions. (...) I feel now that WoLLIC caught us in a tide of Logic, Language and Information impossible to stop, mainly because no one wanted to stop it. It was a perfect combination of good organization, excellent disposition from the invited speakers and, of course, all the energy of the students eager to show new ideas and learn old tricks. WoLLIC had me so hooked that I did not manage to get to know "São Paulo/The City" as I wanted, but I think I did manage to get a glimpse of "São Paulo/The People". (...) If beside its importance as a scientific event, WoLLIC continues to offer the opportunity for this kind of "growing together", then I hope the event will survive the very difficult times Latinoamerican countries are now enduring.
Carlos Areces, author of a contributed talk at WoLLIC'98, in a text entitled "An Argentinian in Brazil", published in the Spinoza Project report Logic in Action 1998.

Thank you again for inviting me to WoLLIC'97 and for your superb organization of the meeting.
Moshe Vardi, guest speaker at WoLLIC'97

Let me take this opportunity to thank you once again for the invitation to visit Brazil, and for all your hard work in putting together a superbly well-organized conference. Having organized international conferences myself, I know how much work is involved in making them run smoothly and I am full of admiration for what you have achieved.
I hope that WoLLIC continues to flourish in future years.

Peter Johnstone, guest speaker at WoLLIC'97

The workshop was very enjoyable and useful.
I believe the workshop was VERY useful, especially for Brazilian students and researchers. The extremely hard work of the organizers is greatly appreciated.

Yuri Gurevich, guest speaker at WoLLIC'97

The only suggestion is to include less quantity of paper each day, with more time per paper, to allow more space for discussion.
For the rest, the wollic 97 was excellent.

Eduardo Fermé, (contributed paper) speaker at WoLLIC'97

The general organization was excellent (and also the place !).
I enjoyed very much the tutorials and the conferences.

Dina Wonsever, (contributed paper) speaker at WoLLIC'97

I just wanted to tell you how much I enjoyed the workshop in Salvador.
It contained many presentations that I do not typically encounter in more Computer Science centered conferences and workshops. I definitely got a lot professionally.
I am very grateful for the opportunity of visiting the country and gaining scientific knowledge and new ideas all at the same time.

Amir Pnueli, guest speaker at WoLLIC'96

Thanks for the message, which crosses my letter to you with the air ticket and my thanks and congratulations to you for a really first-rate conference.
Wilfrid Hodges, guest speaker at WoLLIC'96

Thanks for the wonderful conference and the opportunity to see a little something of Brazil.
J. Michael Dunn, guest speaker at WoLLIC'96

Thanks again for a very fine conference.
Jeroen Groenendijk, guest speaker at WoLLIC'96

Thanks for organizing such a fine conference.
Peter Gärdenfors, guest speaker at WoLLIC'96

It's you who is to be thanked: the trip was wonderful in all respects, both the conference and the time for looking around, afterwards.
Michael Smyth, guest speaker at WoLLIC'96

I didn't get a chance before leaving Salvador on Friday to say thank you for organizing so well such a nice meeting, and inviting me to it. I had a great time. Please also pass on my thanks to your co-organizers/helpers, who made everything run so smoothly. Having organized lots of workshops myself, I know what hard work it is: I hope you are now having a well-earned rest!
Andrew Pitts, guest speaker at WoLLIC'96

I want to say that I have received very valuable info and have made some good contacts as a result of the WoLLIC'96, and I thank you once again for letting me participate.
Wendy Maccaull, (contributed paper) speaker at WoLLIC'96

I hope WoLLIC 1995 ended as succesfully as it began! As I said on wednesday evening, you managed to produce a lot of content with minimal resources. I enjoyed my stay a lot, (too) short as it was.
Johan van Benthem, guest speaker at WoLLIC'95

thanks once again for a superb visit - I really enjoyed talking model theory again, and seeing a little of Brazil. You were a wonderful guide - and I liked your workshop talk
Ian Hodkinson, guest speaker at WoLLIC'95

Thanks again for your high-quality organization of the workshop, and for inviting me.
Pat Lincoln, guest speaker at WoLLIC'95

Congratulations on a memorable workshop! If you are ever in North America on the east coast, let me know and I shall invite you to give a talk in Montreal.
Joachim Lambek, guest speaker at WoLLIC'94

I shall not even begin to thank you for your wonderful hospitality and of course above all for inviting me to your conference. It--the conference, Brazil, being with you, everything--was a great experience.
Krister Segerberg, guest speaker at WoLLIC'94

Reflections for the Future
  1. Changes to the format: any suggestions?
2. Student grants: the budget now takes into account a number of (modest) grants which are given to students in order to encourage more young researchers to participate in the meeting.
3. Funding sources: the traditional agencies have consistently decreased their financial support to the meetings over the past couple of years. What to do? (In 1999 the kind contributions from the Università degli Studi di Verona (Italy) and the organizing committee of EBL'99 saved us from insolvency.)