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)
Page maintained by E.Ritter@cs.bham.ac.uk