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