|
|
|
|
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). |
|
|