[FOM] WoLLIC'2006 - Call for Papers

[Ruy de Queiroz]

                              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, 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
   (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/
-------