[TYPES] WoLLIC'2005 - CfP

[Ruy de Queiroz]

[please post]

                             Call for Papers

        12th Workshop on Logic, Language, Information and Computation
       	                      (WoLLIC'2005)
                      Florianópolis (Santa Catarina), Brazil
                            July 19-22 2005

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

		    (PROCEEDINGS AS A VOLUME OF
	"Electronic Notes in Theoretical Computer Science" (Elsevier))

THE EVENT
  The "12th Workshop on Logic, Language, Information and Computation"
  (WoLLIC'2005), the twelfth 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 Florianópolis (Santa Catarina), Brazil,
  July 19-22, 2005.

SCOPE
  Contributions are invited in the form of short papers (12 A4 10pt pages) in
  all areas related to logic, language, information and computation, including:
  . logic and databases
  . logic programming and algebraic semantics
  . logic and linguistics
  . logic and artificial intelligence
  . logic, arithmetic and complexity
  . proof complexity
  . zero-knowledge proofs, probabilistic proofs, randomised computation
  . proof theory, lambda calculus, categorical logic
  . model theory, descriptive complexity
  . real computation, algebraic complexity
  . logic and verification
  . natural computing

SCIENTIFIC SPONSORSHIP
  The 12th WoLLIC'2005 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 European Association for Theoretical Computer Science (EATCS),
  the Sociedade Brasileira de Computação (SBC), and the Sociedade
  Brasileira de Lógica (SBL).

GUEST SPEAKERS
  Melvin Fitting (Dept Maths and Comp Sci, Lehman College, CUNY, USA)
  Jean-Louis Krivine (Preuves-Programmes-Systèmes, Univ Paris 7, France) (TBC)
  Grigori Mints (Stanford University, USA)
  Leonid Libkin (Dept of Computer Science, University of Toronto, Canada)
  Thomas Scanlon (Mathematics Dept, Univ of California at Berkeley, USA)
  Joel Spencer (Computer Sci & Maths Depts, New York Univ, USA)

TUTORIAL LECTURES
  A simple substitution method for ID1
  by Grigori Mints (joint work with Henry Towsner)

INVITED TALKS
  Logics with explicit evidence
  by Melvin Fitting

  Intuitionistic Frege Systems are Polynomially Equivalent
  by Grigori Mints (joint work with A. Kozhevnikov)

THE LOCATION
  Florianópolis, or Floripa as it is called by the Brazilians, is the
  state capital of Santa Catarina and one of the most popular tourist
  destinations in South America. It is located on an island connected to
  the mainland by two bridges. This island is a delicious slice of
  paradise with over 520 Km2 (200 sq mi) of green hills, lagoons and 42
  beaches.
  The beaches of the north part of the island have calm waters and
  modern tourist facilities. Jurerê, Canasvieiras and Ingleses are the
  most sought after by tourists.  The beaches of Joaquina, Mole and
  Barra da Lagoa on the east side of the island are the meeting point for
  young people who practice radical sports. Conceição Lagoon, surrounded
  by sand dunes and seafood restaurants are a great location for
  enjoying fresh air and good food.
  The south part of the island displays the characteristics and the
  culture of the Azoreans who settled the region 250 years ago. Beaches
  such as Campeche and Pântano do Sul are attractive for their
  peacefulness, colorful boats and fishing nets. Villages immersed in
  tradition and history, such as Armação and Ribeirão da Ilha resist the
  advances of modernity.
  The city center, located in the west side of the island, is the major
  commerce and services center of the state, provinding all the
  facilities that modern life may require. In this area you can find
  business hotels, a modern convention center, shopping centers,
  restaurants and nightclubs.
  The weather in the region is subtropical, with four well-defined
  seasons during the year. The symposium will take place during the
  spring, when the temperature should be between 20 and 30oC (68 to
  86F).
  Further information about Florianópolis (in Portuguese): GuiaFloripa
  (http://www.guiafloripa.com.br/turismo/), PortalDaIlha
  (http://www.portaldailha.com.br/turismo/), VivaFloripa
  (http://www.vivafloripa.com.br/hospedagem.htm)

SUBMISSION
  Papers (up to 12 pages A4 10pt) must be submitted via the web page
  http://rpc25.cs.man.ac.uk/WoLLIC-05/submit/login.cgi by MARCH 1st, 2005.
  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 1st, 2005, and final versions will have
  to be delivered (in LaTeX format) by MAY 1st, 2005.
  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, web page: http://www.oup.co.uk/igpl) as part of the meeting report.
  The proceedings will appear as a volume in the Elsevier series "Electronic
  Notes in Theoretical Computer Science" (http://www.elsevier.nl/locate/entcs)
  Full version of papers will be refereed again for publication in a special
  issue of the Annals of Pure and Applied Logic (TO BE CONFIRMED).

STUDENT GRANTS
  ASL sponsorship of WoLLIC'2005 also will permit student ASL members to
  apply for (limited) ASL travel funds that we hope to make available for
  sponsored meetings that take place in 2005
  (see http://www.aslonline.org/studenttravelawards.html)
  In addition to that, WoLLIC'2005 will make available modest grants to
  graduate students in logic and to recent PhDs so that they may attend the
  meeting in Florianópolis.
  To be considered for a grant, 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 EU) 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.
  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, 2005, by one of the Co-Chairs
  of the Organising Committee.

IMPORTANT DATES
  Submission: MARCH 1st, 2005
  Notification of acceptance/rejection: APRIL 1st, 2005
  Delivery of final (in LaTeX): MAY 1st, 2005

PROGRAMME COMMITTEE
  Eric Allender (Dept Computer Sci, Rutgers, the State Univ of NJ, USA)
  Saugata Basu (School of Mathematics, Georgia Tech, USA)
  Peter Clote (Depts of Computer Sci and Biology, Boston College, USA)
  Jörg Flum (Albert-Ludwigs-Universität Freiburg, Germany)
  Didier Galmiche (LORIA, Université Henri Poincaré, France)
  Andreas Herzig (IRIT, Université Paul Sabatier, France)
  Jean-Baptiste Joinet (Preuves-Programmes-Systèmes, Univ Paris 7, France)
  Makoto Kanazawa (National Institute of Informatics, Japan)
  Yoshiharu Kohayakawa (Inst Matem. & Estat., Univ de Sao Paulo, Brazil)
  Angus Macintyre (School of Mathematics, Queen Mary College, UK) (CHAIR)
  Luiz Carlos Pereira (Dep Filosofia, PUC-Rio, & Dep Filosofia, UFRJ, Brazil)
  Hans Rott (Institut für Philosophie, Universität Regensburg, Germany)
  Richmond Thomason (Department of Philosophy, University of Michigan, USA)
  Yde Venema (Inst Log., Lang. & Computation, Univ Amsterdam, The Netherlands)
  Andrei Voronkov (Dept of Computer Science, Manchester University, UK)
  Marek Zaionc (Inst of Computer Science, Jagiellonian University, Poland)

ORGANISING COMMITTEE
  Gleifer Vaz Alves (Centro Informática, Univ Fed Pernambuco, Brazil)
  Guilherme Bittencourt (DAS, Univ Fed Santa Catarina, Brazil) (Co-Chair)
  Eder Mateus Nunes Gonçalves (DAS, Univ Fed Santa Catarina, Brazil)
  Jerusa Marchi (DAS, Univ Fed Santa Catarina, Brazil)
  Anjolina Grisi de Oliveira (Centro Informática, Univ Fed Pernambuco, Brazil)
  Anderson Luiz Fernandes Perez (DAS, Univ Fed Santa Catarina, Brazil)
  Eliane Pozzebon (DAS, Univ Fed Santa Catarina, Brazil)
  Ruy de Queiroz (Centro Informática, Univ Fed Pernambuco, Brazil) (Co-Chair)
  Flávio de Almeida e Silva (DAS, Univ Fed Santa Catarina, Brazil)

FURTHER INFORMATION
  Contact one of the Co-Chairs of the Organising Committee:
  Guilherme Bittencourt, DAS/UFSC, CP 476, 88040-900 Florianópolis, SC,
  Brazil, tel: +55 48-331-7665, fax: +55 48-331-9770.
  E-Mail: gb at das ufsc br
  Ruy de Queiroz, Centro de Informática, Universidade Federal de Pernambuco,
  Av. Prof. Luis Freire, s/n, 50740-540 Recife, PE, Brazil,
  tel: +55 81 2126 8430, fax: +55 81 2126 8438.
  E-mail: ruy at cin ufpe br

WEB PAGE
  http://www.cin.ufpe.br/~wollic/wollic2005/
-------