Logic List Mailing Archive

Tenth Workshop on Logic, Language, Information and Computation (WoLLIC'2003), Brazil, July 2003

WoLLIC'2003
10th Workshop on Logic, Language, Information and Computation
July 29th to August 1st, 2003

http://www.cin.ufpe.br/~wollic/wollic2003/

Ouro Preto, Minas Gerais, Brazil

Scientific Sponsorship

Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
Sociedade Brasileira de Computao (SBC)
Sociedade Brasileira de Lgica (SBL)

Funding (expected)
CAPES, CNPq

Organisation

Centro de Informtica, Universidade Federal de Pernambuco (CIn-UFPE) 
Departamento de Matemtica, Universidade Federal de Minas Gerais
(DMAT/UFMG)
Departamento de Computao, Universidade Federal de Ouro Preto (DECOM/UFOP)

Submission

Papers (up to 12 pages A4 10pt, sent preferably in postscript format by
e-mail to wollic@cin.ufpe.br, or in 5(five) copies to postal address) must
be RECEIVED by MARCH 1st, 2003 by one of the Co-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 APRIL 1, 2003, and final versions will have to
be delivered (in LaTeX format) by MAY 1, 2003. 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. The proceedings will appear as a volume in the Elsevier series
Electronic Notes in Theoretical Computer Science. Full version of papers
will be refereed again for publication in a special issue of the Logic
Journal of the IGPL.