WoLLIC'2001
8th Workshop on Logic, Language, Information and Computation
July 31 to August 3, 2001
Brasília,
Brazil
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Funding
,
Organisation
Centro de Informática, Universidade Federal de Pernambuco
(CIn-UFPE)
Departamento de Matemática, Universidade de Brasília
(MAT-UnB)
Call for Papers
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 are
invited in the form of short papers (10 10pt pages) 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 Interest Group in
Pure and Applied Logics (IGPL), the European Association for Logic, Language
and Information (FoLLI), the
Association for Symbolic Logic (ASL),
the Sociedade Brasileira de Computação (SBC), and the
Sociedade Brasileira de Lógica (SBL).
Guest Speakers
There will be a number of guest speakers, including:
Gianluigi Bellin (University of Verona, Italy)
Walter Carnielli (State University of Campinas, Brazil)
Bruno Courcelle (Université Bordeaux 1, France)
Gilles Dowek (INRIA, France)
Petr Hájek (Institute of Computer Science, Academy of Sciences, Czech Republic)
Dexter Kozen (Cornell University, USA)
Jouko Väänänen (Helsinki University, Finland)
The Location
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 22oC, that
makes ideal aquatic sports and visits to the natural attractions
of the city as the Zoo, the Botanical Garden and the National Park.
Submission
Papers (up to 10 pages A4 10pt, sent preferably in postscript format by
e-mail to
wollic at cin.ufpe.br, or
in 5(five) copies to postal address) must
be RECEIVED by APRIL 2nd, 2001 by one of the Chairs of the Organising
Committee.
Papers must be ANONYMOUS (a separate identification page must be included),
written in English and give enough detail to allow the programme committee
to assess the merits of the work. Papers should start with a brief
statement of the issues, a summary of the main results, and a statement
of their significance and relevance to the workshop. References and
comparisons with related work is also expected. Technical development
directed to the specialist should follow. Results must be unpublished
and not submitted for publication elsewhere, including the proceedings
of other symposia or workshops. One author of each accepted paper will be
expected to attend the conference in order to present it. Authors will be
notified of acceptance by MAY 7th, 2001, and final
versions (in LaTeX format) will be due by MAY 31st, 2001. The abstracts of
the papers will be published in a "Conference Report" section of the
Logic Journal of the IGPL
(ISSN 1367-0751) (Oxford Univ Press) as part of the meeting report.
Full version of the papers will be reviewed for publication in a special
issue of Matemática Contemporânea (published by Sociedade Brasileira de Matemática) (guest) edited by J. Baldwin, R. de Queiroz and E. Hermann Haeusler.
Student Grants
WoLLIC'2001 will make available modest grants to graduate students in logic
and to recent PhDs so that they may attend the meeting in Brasília.
To be considered for a Travel Award, please (1) send a letter
of application, and (2) ask your thesis supervisor to send a brief
recommendation letter. The application letter should be brief (one page)
and should include (1) your name, (2) your home institution, (3) your
thesis supervisor's name, (4) a one-paragraph description of your studies and
work in logic, (5) your estimate of the travel expenses you will incur,
(6) (for citizens or residents of Brazil) citizenship or visa status, and
(7) (voluntary) indication of your gender and minority status. Only modest
grants will be possible, partially covering travel costs and perhaps some of
the living expenses during the meeting. Women and members of minority groups
are strongly encouraged to apply. In addition to funds provided by WoLLIC,
it is expected that this program of student grants will be supported by a
grant from the Brazilian National Council for the Scientific and
Technological Development (CNPq); CNPq funds may be awarded only to
students at Brazilian universities and to citizens and permanent residents
of Brazil. Application by email is encouraged; put "WoLLIC grant application"
in the subject line of your message. Applications and recommendations should
be received before the deadline of MARCH 1st, 2001, by one of the Co-Chairs
of the Organising Committee.
Important Dates
Submission:
Notification of acceptance/rejection: MAY 7th, 2001
Delivery of final (in LaTeX): MAY 31st, 2001
Programme Committee
John Baldwin (University of Illinois at Chicago, USA)
Mads Dam (Swedish Institute of Computer Science, Sweden)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (Pont. Catholic University of Rio de Janeiro, Brazil)
David Israel (SRI International, USA)
Fairouz Kamareddine (Heriot-Watt University, Scotland)
Claude Kirchner (LORIA & INRIA, France)
Phokion Kolaitis (University of California at Santa Cruz, USA)
Daniel Leivant (Indiana University, USA)
Michael Moortgat (Utrecht University, The Netherlands)
Pavel Pudlák (Mathematics Institute of the Czech Academy of Sciences, Czech Republic)
Organising Committee
Maurício Ayala Rincón (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)
For further information, 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 at cin.ufpe.br,
tel.: (+55 81) 3271 8430, fax: (+55 81) 3271 8438.
Mauricio Ayala Rincón, Departamento de Matemática, Univ. 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.
Web page: http://www.cin.ufpe.br/~wollic/wollic2001/
Last modified: July 11, 2002, 09:30:19 GMT-0300.