WoLLIC'2004 - Call for Papers

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

[please post]

                              Call for Papers

        11th Workshop on Logic, Language, Information and Computation
                      Campus of Université Paris 12
                            July 19-22 2004

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

	"Electronic Notes in Theoretical Computer Science" (Elsevier))

  The "11th Workshop on Logic, Language, Information and Computation"
  (WoLLIC'2004), the eleventh 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 Paris, July 19-22, 2004.

  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
  . proof theory, lambda calculus, categorical logic
  . model theory, descriptive complexity
  . real computation, algebraic complexity
  . logic and verification
  . natural computing

  The 11th WoLLIC'2004 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).

  Thomas Ehrhard (Institut de Mathématiques de Luminy, Univ Marseille, France)
  Klaus Meer (University of Southern Denmark, Odense, Denmark)
  Damian Niwinski (Div of Maths, Informatics & Mechanics, Warsaw Univ, Poland)
  Luke Ong (Computing Laboratory, Oxford University, UK)
  Gheorghe Paun (Institute of Mathematics, Romanian Academy, Romania)
  Alexander Rabinovich (School of Computer Science, Tel Aviv Univ, Israel)
  Stuart Shieber (DEAS, Harvard University, USA) (TO BE CONFIRMED)

  Campus of Fontainebleau (Université Paris 12), 60 km south of Paris.

  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, 2004 by one of the Co-Chairs of the Organising
  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, 2004, and final versions will have
  to be delivered (in LaTeX format) by MAY 1st, 2004.
  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 Logic Journal of the IGPL.

  ASL sponsorship of WoLLIC'2004 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 2004
  (see http://www.aslonline.org/studenttravelawards.html)
  In addition to that, WoLLIC'2004 will make available modest grants to
  graduate students in logic and to recent PhDs so that they may attend the
  meeting in Paris.
  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, 2004, by one of the Co-Chairs
  of the Organising Committee.

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

  Zofia Adamowicz (Mathematics Institute, Polish Academy of Sciences, Poland)
  Danièle Beauquier (LACL, Univ Paris XII, France)
  Felipe Cucker (City Univ of Hong Kong, Honk Kong)
  Mariangiola Dezani (Universita` di Torino, Italy)
  Georg Gottlob (Tech. Univ. Wien, Austria)
  Erich Graedel (RWTH Aachen, Germany)
  Etienne Grandjean (Univ de Caen, France)
  Irene Guessarian (LIAFA et UFR d'Informatique de Paris 6)
  Gerard Huet (INRIA, France)
  Martin Hyland (Cambridge University, UK)
  Gopalan Nadathur (University of Minnesota, USA)
  Grzegorz Rozenberg (Leiden University, The Netherlands)
  Anatol Slissenko (LACL, Univ Paris XII, France)
  Igor Walukiewicz (Bordeaux University, France)

  Gianluigi Bellin (Univ di Verona, Italy)
  Alessandra Carbone (Univ Pierre et Marie Curie, France)
  Patrick Cegielski (LACL, Univ Paris XII, France) (Co-Chair)
  Anjolina Grisi de Oliveira (Centro Informatica, Univ Fed Pernambuco, Brazil)
  Ruy de Queiroz (Centro Informatica, Univ Fed Pernambuco, Brazil) (Co-Chair)

  Contact one of the Co-Chairs of the Organising Committee:
  Patrick Cegielski, Université Paris 12-IUT,
  Département Informatique, Route forestière Hurtault, F-77300 Fontainebleau
  France. Telephone: +33.(0) (office), Fax: +33.(0),
  E-mail: cegielski@univ-paris12.fr
  Ruy de Queiroz, Centro de Informatica, Univ Fed Pernambuco,
  Av. Prof. Luis Freire, s/n, 50740-540 Recife, PE, Brazil,
  tel: +55 81 3271 9430, fax: +55 81 3271 9438,
  E-mail: ruy@cin.ufpe.br