Logic List Mailing Archive
WoLLIC'2006: Workshop on Logic, Language, Information and Computation, Stanford CA, July 2006
Call for Papers
13th Workshop on Logic, Language, Information and Computation
(WoLLIC'2006)
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 in 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, Darmstadt Univ of Technology, Germany)
Thomas Scanlon (Maths Dept, Univ Calif at Berkeley, USA)
Andre Scedrov (Dept of Math, University of Pennsylvania, USA)
THE LOCATION
(to be confirmed)
SUBMISSION
Papers (up to 12 pages 10pt) must be submitted via the web page
http://www.cin.ufpe.br/~wollic/wollic2006/instructions.html/
by February 21st, 2006 (WARNING: Titles and abstracts must be registered
at the same webpage by FEBRUARY 14th, 2006!).
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 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 2006
(see http://www.aslonline.org/studenttravelawards.html)
IMPORTANT DATES
February 14th, 2006: Paper registration deadline (with short abstracts)
February 21st, 2006: 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/