WoLLIC'2001 - Call for Participation

                            Call for Participation

        8th Workshop on Logic, Language, Information and Computation
                          July 31 to August 3, 2001

           Scientific Co-Sponsorship: IGPL, FoLLI, ASL, SBC, SBL

                            Brasília, Brazil

  The "8th Workshop on Logic, Language, Information and Computation"
  (WoLLIC'2001), the eighth version of a series of workshops which started
  in 1994 with the aim of fostering interdisciplinary research in pure and
  applied logic, will be held in Brasília, Brazil, from July 31st to
  August 3rd 2001.

  Contributions will be presented in the form of short papers in all areas
  related to logic, language, information and computation, including:
  pure logical systems, proof theory, model theory, algebraic logic, type
  theory, category theory, constructive mathematics, lambda and combinatorial
  calculi, program logic and program semantics, logics and models of
  concurrency, logic and complexity theory, nonclassical logics, nonmonotonic
  logic, logic and language, discourse representation, logic and artificial
  intelligence, automated deduction, foundations of logic programming,
  logic and computation, and logic engineering.

  The 8th WoLLIC'2001 has the scientific sponsorship of the Association
  for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics
  (IGPL), the European Association for Logic, Language and Information (FoLLI),
  the Sociedade Brasileira de Computaçăo (SBC), and the Sociedade
  Brasileira de Lógica (SBL).

  Brasília, the youthful capital of Brazil - famous for its innovating
  architecture and futuristic urbanism, is situated in the geographical
  center of the country, inside the Brazilian Cerrados that is a rich
  Tropical Savannah, with a unique and diverse flora and fauna. In August,
  during the Brazilian winter, the weather is dry with an average
  temperature of 22 C, that makes ideal aquatic sports and visits to the
  natural attractions of the city as the Zoo, the Botanical Garden and the
  National Park.

  There will be a number of guest speakers, including:
  Gianluigi Bellin (Verona Univ, Italy)
  Walter Carnielli (State Univ Campinas, Brazil)
  Bruno Courcelle (Univ Bordeaux 1, France)
  Gilles Dowek (INRIA, France)
  Petr Hájek (Inst Computer Sci, Czech Acad of Sciences, Czech Republic)
  Dexter Kozen (Cornell Univ, USA)
  Jouko Väänänen (Helsinki Univ, Finland)

  Graphs Trees and Monadic Second Order Logic: Tutorial
  by Bruno Courcelle

  Mixing deductions and computations: an overview
  by Gilles Dowek

  Mathematical fuzzy logic - state of art 2001
  by Petr Hájek

  The evolution of types and functions in the 20th century
  by Fairouz Kamareddine

  Kleene Algebra with Tests
  by Dexter Kozen

  Model theory of extensions of first order logic
  by Jouko Vaananen

  Logics of formal (in)consistency
  by Walter Carnielli

  Graphs Trees and Monadic Second Order Logic: Recent results and open problems
  by Bruno Courcelle

  Confluence as a cut elimination property
  by Gilles Dowek

  Some new trends in mathematical fuzzy logic
  by Petr Hájek

  Automata on Guarded Strings
  by Dexter Kozen

  Pseudo-finite model theory
  by Jouko Vaananen

  The following publishers are expected to be exhibiting various books from
  their catalogue, prospectuses, journal samples, etc., and there will be a
  chance to purchase items at promotional prices:

  The MIT Press
  A K Peters
  Kluwer Acad. Pub.
  Cambridge Univ. Press
  Oxford Univ. Press
  World Scientific

  It is likely that a few other international publishers will also take part
  in the book exhibit.

  John Baldwin (Univ Illinois at Chicago, USA)
  Mads Dam (Swedish Inst Computer Sci, Sweden)
  Marcelo Finger (Univ Sao Paulo, Brazil)
  Edward Hermann Haeusler (Pont Cathol Univ Rio de Janeiro, Brazil)
  David Israel (SRI International, USA)
  Fairouz Kamareddine (Heriot-Watt Univ, Scotland)
  Claude Kirchner (LORIA & INRIA, France)
  Phokion Kolaitis (Univ Calif at Santa Cruz, USA)
  Daniel Leivant (Indiana Univ, USA)
  Michael Moortgat (Utrecht Univ, The Netherlands)
  Pavel Pudlák (Maths Inst, Czech Acad. of Sciences, Czech Rep)

  Mauricio Ayala-Rincon (UnB) (Co-Chair)
  Sandra A. de Amo (UFU)
  Ana Teresa de Castro Martins (UFC)
  Anjolina G. de Oliveira (UFPE/UFBA)
  Haydée W. Poubel (UnB)
  Ruy de Queiroz (UFPE) (Co-Chair)
  Renata Wassermann (USP)

  Contact one of the Co-Chairs of the Organising Committee:
  Ruy de Queiroz, Centro de Informática, Univ. Federal de Pernambuco,
  CP 7851, 50732-970 Recife, PE, Brazil. E-mail: ruy@cin.ufpe.br,
  tel.: (+55 81) 3271-8430, fax: (+55 81) 3271-8438.
  Mauricio Ayala Rincon, Departamento de Matemática,
  Universidade de Brasília, 70910-900 Brasília, DF, Brazil.
  E-mail: ayala@mat.unb.br, tel.: (+55 61) 307-2441, fax: (+55 61) 273-2737.