[FOM] WoLLIC'2006 - Call for Papers

Ruy de Queiroz ruy at cin.ufpe.br
Fri Oct 28 15:09:50 EDT 2005

                              Call for Papers

         13th Workshop on Logic, Language, Information and Computation
                       	   Stanford, CA, USA
                             July 18-21, 2006

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

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

   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.

   Contributions are invited in the form of short papers (12 10pt pages) in
   all areas related to logic, language, information and computation, 
     . 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

   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 
   the European Association for Theoretical Computer Science (EATCS),
   the Sociedade Brasileira de Computacao (SBC), and the Sociedade
   Brasileira de Logica (SBL).

   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)

   (to be confirmed)

   Papers (up to 12 pages 10pt) must be submitted via the web page
   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).

   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)

   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

   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)

   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.

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


More information about the FOM mailing list