[FOM] DEADLINE EXTENSION: 13th Workshop on Logic, Language, Information and Computation

[Martin Davis]

 >>>>>> DEADLINE EXTENSION <<<<<<<
MARCH 7th, 2006: NEW Paper submission deadline!!!

Call for Papers
13th Workshop on Logic, Language, Information and Computation
(WoLLIC'2006)  CSLI, Stanford, CA, USA
July 18-21, 2006
Scientific Co-Sponsorship
IGPL, FoLLI, ASL, EATCS, SBC, SBL

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

THE EVENT
The "13th Workshop on Logic, Language, Information and Computation"
(WoLLIC'2006), the twelfth version of a series of workshops
(http://www.cin.ufpe.br/~wollic) which started in 1994 with the aim of
fostering interdisciplinary research in pure and applied logic,
will be held at CSLI, Stanford, CA, USA, July 18-21, 2006.
SCOPE
Contributions are invited in the form of short papers (12 10pt pages) in
all areas related to logic, language, information and computation, including:
. context and situation theory
. formal semantics of natural language
. information update and belief revision; agent systems
. logic, arithmetic and complexity
. logic and databases
. logic and game theory
. logic and verification
. logic programming and algebraic semantics
. logical grammars
. model theory, descriptive complexity
. proof complexity
. proof theory, lambda calculus, categorical logic
. real computation, algebraic complexity
. set theory
. zero-knowledge proofs, probabilistic proofs, randomized computation

SCIENTIFIC SPONSORSHIP
The 13th WoLLIC'2006 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 Computacao (SBC), and the Sociedade
Brasileira de Logica (SBL).

GUEST SPEAKERS
Eli Ben-Sasson (Comput Sci Dept, Technion Inst of Technology, Israel)
Solomon Feferman (Depts of Math and Philosophy, Stanford Univ, USA)
Yuri Gurevich (Microsoft Research, USA)
Ulrich Kohlenbach (Dept of Math, Darmsdadt Univ of Technology, Germany)
Thomas Scanlon (Maths Dept, Univ Calif at Berkeley, USA)
Andre Scedrov (Dept of Math, University of Pennsylvania, USA)

THE LOCATION
CSLI - Center for the Studies of Language and Information, Stanford.

SUBMISSION
Papers (up to 12 pages 10pt) must be submitted via the web page
http://www.cin.ufpe.br/~wollic/wollic2006/instructions.html/
by MARCH 7th, 2006 (NEW DEADLINE!).

Papers must be 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 21st, 2006,
and final versions for the proceedings will have to be delivered
(in LaTeX format) by MAY 12th, 2006. 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'2006 will permit ASL student members to
apply for modest travel grants for ASL-sponsored meetings that take
place in 2006. Applications and recommendations should be received at
least three months prior to the meeting at the ASL Business Office:
ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie,
New York 12604, USA; Fax: 1-845-437-7830; email: asl at vassar.edu.
Decisions will be communicated at least two months prior to the meeting.
(For further info, visit http://www.aslonline.org/studenttravelawards.html)

IMPORTANT DATES
March 7th, 2006: (NEW!) Paper submission deadline
April 21st, 2006: Author notification
May 12th, 2006: Delivery of final version

PROGRAMME COMMITTEE
Jeremy Avigad (Department of Philosophy, Carnegie Mellon University, USA)
Johan van Benthem (ILLC, Univ Amsterdam, and Dept Phil, Stanford Univ, USA)
Martin Davis (Courant Institute of Mathematical Sciences, NYU, USA)
Keith Devlin (CSLI Stanford, USA)
Edward A. Hirsch (St.Petersburg Dept of Steklov Inst of Mathematics, Russia)
Greg Hjorth (Dept of Math, Univ Calif at Los Angeles, USA)
David Israel (SRI International, Stanford, USA)
Vladik Kreinovich (Dept of Computer Science, Univ of Texas at El Paso, USA)
Leonid Levin (Dept of Computer Science, Boston University, USA)
Grigori Mints (Dept Philosophy, Stanford Univ, USA) (CHAIR)
Itay Neeman (Dept of Math, Univ Calif at Los Angeles, USA)
Hiroakira Ono (Japan Advanced Institute of Science and Technology, Japan)
Stanley Peters (Dept Linguistics, Stanford Univ, USA)
Wolfram Pohlers (Inst f. math. Log. und Grundl., WWU Muenster, Germany)
Vaughan Pratt (Computer Sci Dept, Stanford Univ, and Tiqit Computers, USA)
Thomas Scanlon (Mathematics Dept, Univ of California at Berkeley, USA)

ORGANISING COMMITTEE
Anjolina G. de Oliveira (Centro Informatica, Univ Fed Pernambuco, Brazil) (*)
Valeria de Paiva (PARC, USA) (Co-Chair)
Marc Pauly (Dept of Philosophy, Stanford Univ, USA)
Ruy de Queiroz (Cent Informatica, Univ Fed Pernambuco, Brazil)(Co-Chair)(**)
(*) Visiting Scholar at CSLI Stanford, Jan-Dec 2006.
(**) Edward Larocque Tinker Visiting Professor at Dept Philosophy,
Stanford Univ, Jan-Jun 2006, and Visiting Scholar Jul-Dec 2006.

FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.

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