BLC Newsletter December 2008

BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

President           Professor J M E Hyland [Cambridge]
Vice-President      Professor T Williamson FBA FRSE [Oxford]
Treasurer           Professor D Macpherson [Leeds]
Secretary           Dr N Alechina [Nottingham]
                    Dr U Berger [Swansea]
                    Dr E Ritter [Birmingham]
                    Dr G Wilmers [Manchester]

---------------------------------------------------------
(1) CfP Special Issue of Annals of Pure and Applied Logic based on
Classical Logic and Computation 2008 (submission deadline: 30 March 2009)

(2) CfP Special Issue of Information and Computation on Intuitionistic
Modal Logics and Applications (submission deadline: 31 May 2009)

(3) CfP Automated Reasoning with Analytic Tableaux and
Related Methods (TABLEAUX 2009), Oslo, Norway (submission
deadline: 19 January 2009)

(4) CfP Logic in Computer Science (LICS 2009), Los Angeles
CA, U.S.A. (submission deadline: 12 January 2009)

---------------------------------------------------------
(1)

              ANNALS OF PURE AND APPLIED LOGIC
                  SECOND SPECIAL ISSUE ON
              CLASSICAL LOGIC AND COMPUTATION
                        CL&C 2008

************************************************************

                     CALL FOR PAPERS
                     ===============

    Contributions on the topic of Classical Logic and
    Computation are invited for a special issue of Annals of
    Pure and Applied Logic. On July 13, 2008, the second
    meeting on "Classical Logic and Computation" took place
    in Reykjavik - Iceland, as a satellite meeting of
    ICALP 2008. The meeting intended to cover all work aiming
    to explore computational aspects of classical logic and
    mathematics. The special issue is first of all set up for
    papers presented at the workshop, but the call is open to
    all researchers.

TOPICS

    Topics  of  interest  for  contributions to the journal
    issue include, but are not limited to:

       - logic and type theory,
       - programming language design,
       - verification,
       - witness extraction from classical proofs,
       - game semantic of classical logic,

SUBMISSIONS

    Submissions  must be original work, which has not been
    previously published in a journal and is not being
    considered for publication elsewhere. If related
    material has appeared in a refereed conference
    proceedings, the manuscript submitted should be
    substantially more complete or otherwise different.

    A  title  page  must include: full title, authors' full
    names and affiliations, and the address to which
    correspondence and  proofs should be sent. Where possible,
    e-mail address and telephone number should be included.
    This should be followed by an abstract of approximately
    300 words and five key words for indexing.

IMPORTANT

    All source files of the final versions of the accepted
    papers must respect the format of APAL. In order to make
    a submission, please follow the instructions from:

http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstru ctions

    Please upload a .pdf file to the following easy chair link

    http://www.easychair.org/conferences/?conf=clc08apal

    Deadline for the submission of a title page
    indicating the intent to submit:             March 1, 2009

    Deadline for paper submission:               March 30, 2009
    All source files of the final versions of the accepted
    papers must respect the format of APAL. In order to make
    a submission, please follow the instructions from:

http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstru ctions

    Please upload a .pdf file to the following easy chair link

    http://www.easychair.org/conferences/?conf=clc08apal

    Deadline for the submission of a title page
    indicating the intent to submit:             March 1, 2009

    Deadline for paper submission:               March 30, 2009

    Guest editors:

    Steffen van Bakel, Imperial College, London, UK
    Stefano Berardi, Universita` di Torino, Italy
    Ulrich Berger, Swansea University, UK

    Contact: u.berger@swansea.ac.uk

------------------------------------------------------------------------
(2) CfP Special Issue "Information and Computation" on "Intuitionistic
Modal Logics and Applications"

Constructive modal logics and type theories are of increasing
foundational and practical relevance in computer science. Applications
are in type disciplines for programming languages, and meta-logics for
reasoning about a variety of computational phenomena. Theoretical and
methodological issues center around the question of how the
proof-theoretic strengths of constructive logics can best be combined
with the model-theoretic strengths of modal logics. Practical issues
center around the question of which modal connectives with associated
laws or proof rules capture computational phenomena accurately and at
the right level of abstraction and how to implement these efficiently.


There have been a series of LICS-affiliated workshops devoted to the
theme. The first one was held as part of FLoC1999, Trento, Italy, the
second was part of FLoC2002, Copenhagen, Denmark, the third was
associated with LiCS2005, Chicago, USA and the last one was associated
with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals
on the theme have already appeared, in 2001 and 2004. We are hereby
soliciting papers for a further special volume of Information and
Computation, devoted to Intuitionistic Modal Logics and Applications.
We hope to cover the novel applications presented in the last two
workshops, especially applications to computer security, automated
deduction and computational linguistics, but also to include work not
presented at the workshops.

Papers (preferably under 20 pages long) should be submitted by 31st May
2009. For more information, see
http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2626 or contact
one of the editors (Valeria de Paiva valeria@cuill.com or Brigitte
Pientka bpientka@cs.mcgill.ca).

---------------------------------------------------------------------------

(3) Automated Reasoning with Analytic Tableaux and
Related Methods (TABLEAUX 2009), Oslo, Norway

This conference is the 18th in a series of international meetings on
Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in
various non-standard logics as well as in classical logic. Areas of
application include verification of software and computer systems,
deductive databases, knowledge representation and its required
inference engines, and system diagnosis. The conference brings together
researchers interested in all aspects - theoretical foundations,
implementation techniques, systems development and applications - of
the mechanization of reasoning with tableaux and related methods.

Submissions are invited for research papers, system descriptions and
position papers, as well as workshops and tuturials. Deadline for
submissions: 9 January 2009 (workshop/tuturial proposals) and 19
January 2009 (paper abstracts).

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on
TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information
about the TABLEAUX conference series.

-----------------------------------------------------------------------

(4) Logic in Computer Science (LICS 2009), Los Angeles
CA, U.S.A.

The IEEE Symposium on Logic In Computer Science (LICS) is an annual
international forum on topics that lie at the intersection of computer
science and mathematical logic. LICS 2009 will be held at UCLA in Los
Angeles, California, USA, 11th-14th August 2009. It will be colocated
with the 16th International Static Analysis Symposium (SAS 2009; August
9th-11th).

Researchers and practitioners are invited to submit papers for
presentation and/or proposals for workshops, on topics relating logic -
broadly construed - to computer science or related fields. Abstracts
are due January 12th 2009, proposals December 1st 2008.

For more information, see
http://www2.informatik.hu-berlin.de/lics/lics09/index.html)




Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Wed Dec 10 08:11:28 GMT 2008