BLC Newsletter March 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]

---------------------------------------------------------
Dear members,

Enclosed is the March 2008 edition of our newsletter. Please send me any
announcements to circulate for the next one (to nza(at)cs.nott.ac.uk).

Best wishes, Natasha.

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


(1) "Around classification theory" conference in Leeds.

(2) CL&C International Workshop on Classical Logic and Computation, Call for papers

(3) 2nd WORKSHOP ON REACHABILITY PROBLEMS, RP'08, Liverpool, Call for papers


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

(1) Anand Pillay is organizing a conference "Around classification theory" at Leeds, 27-30 June (inclusive). Details are on http://www.maths.leeds.ac.uk/~pillay/Classification%20theory.htm


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

(2)                *** Extended Deadline April 11 *** -----------------------------------------------------------------------
                      SECOND CALL FOR PAPERS

                              CL&C
                                          International Workshop on
                 Classical Logic and Computation
               http://www.doc.ic.ac.uk/~svb/CLaC08

                    Sunday, July 13, 2008
                     Reykjavik, Iceland

          Affiliated workshop of ICALP, July 6-13, 2008

IMPORTANT DATES

Paper Submission             April 11, 2008  *** New Deadline! ***
Acceptance Notification      May   22, 2008
Final Version                June  23, 2008
Workshop                     July  13, 2008

INTRODUCTION

CL&C'08 is the second of a new conference series on "Classical Logic
and Computation". It intends to cover all work aiming to explore
computational aspects of classical logic and mathematics.

The fact that classical mathematical proofs of simply existential
statements can be read as programs was established by Goedel and
Kreisel half a century ago.  But the possibility of extracting useful
computational content from classical proofs was taken seriously only
from the 1990s on when it was discovered that proof interpretations
based on Goedel's and Kreisel's ideas can provide new nontrivial
algorithms and numerical results, and the Curry-Howard correspondence
can be extended to classical logic via programming concepts such as
continuations and control operators.

SCOPE

This workshop aims to support a fruitful exchange of ideas between the
various lines of research on Classical Logic and Computation.
Topics of interest include, but are not limited to,

  - version of lambda calculi adapted to represent classical logic,
  - design of programming languages inspired by classical logic,
  - cut-elimination for classical systems,
  - proof representation and proof search for classical logic,
  - translations of classical to intuitionistic proofs,
  - constructive interpretation of non-constructive principles,
  - witness extraction from classical proofs,
  - constructive semantics for classical logic (e.g. game semantics),
This workshop aims to support a fruitful exchange of ideas between the
various lines of research on Classical Logic and Computation.
Topics of interest include, but are not limited to,

  - version of lambda calculi adapted to represent classical logic,
  - design of programming languages inspired by classical logic,
  - cut-elimination for classical systems,
  - proof representation and proof search for classical logic,
  - translations of classical to intuitionistic proofs,
  - constructive interpretation of non-constructive principles,
  - witness extraction from classical proofs,
  - constructive semantics for classical logic (e.g. game semantics),
  - case studies (for any of the previous points).

SUBMISSION AND PUBLICATION

This is intended to be an informal workshop. Participants are
encouraged to present work in progress, overviews of more extensive
work, and programmatic/position papers, as well as completed
projects. We therefore ask for submission both of short abstracts and
of longer papers. 
In order to make a submission:
  - Format your file using the LNCS guidelines; there is a 15 page limit.
  - Use the submission links at http://www.doc.ic.ac.uk/~svb/CLaC08
    Submissions will be refereed at normal standards. A participants'
proceedings will be distributed at the workshop. A special issue of a
journal, associated with the workshop, is being considered. It will
contain full versions of selected papers.

INVITED SPEAKERS

Helmut Schwichtenberg        LMU Munich
Stephane Lengrand            LIX Polytechnique

PROGRAMME COMMITTEE

Steffen van Bakel            Imperial College London
Ulrich Berger                Swansea, chair
Stefano Berardi              Turin
Paola Bruscoli               Bath
Thierry Coquand              Chalmers
Fernando Ferreira            Lisbon
Michel Parigot               Paris VII
Aldo Ursini                  Siena

CONTACT
u.berger@swansea.ac.uk


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

(3)     2nd WORKSHOP ON REACHABILITY PROBLEMS, RP'08
         (September 15-17, 2008, Liverpool, UK)
       Deadline for submissions: 19 May, 2008
           http://www.csc.liv.ac.uk/~rp2008/


The Workshop on Reachability Problems will take place at
the University of Liverpool, Liverpool, UK on September
15-17, 2008. Papers presenting original contributions
related to reachability problems in different
computational models and systems are being sought.
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines and backgrounds
interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Verification

Invited Speakers:
================
- Ahmed Bouajjani, Paris, France
- Juhani Karhumaki, Turku, Finland
- Colin Stirling, Edinburgh, UK
- Wolfgang Thomas, Aachen, Germany

Submissions:
============
Papers presenting original contributions related to
reachability problems in different computational models
and systems are being sought.
Topics of interest include (but are not limited to):
Reachability probelms in infinite state systems,
rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification;
reachability analysis in different computational
models, counter/ timed/ cellular/ communicating
automata; Petri-Nets; computational aspects of
algebraic structures (semigroups, groups and rings);
predictability in iterative maps and new
computational paradigms.

Authors are invited to submit a draft of a full paper with
at most 12 pages (in standard LaTeX article style 11pt A4 paper)
via the conference web page        http://www.csc.liv.ac.uk/~rp2008/
.
Proofs omitted due to space constraints must be put into an appendix
to be read by the program committee members at their
discretion. Submissions deviating from these guidelines risk
rejection. Electronic submissions should be formatted in
postscript or pdf. Simultaneous submission to other conferences
or workshops with published proceedings is not allowed.

Important dates:
================
Submission deadline : May 19, 2008
Notification to authors: June 30, 2008
Final version: July 15, 2008
Workshop: September 15-17, 2008

The proceedings of the workshop will appear in
Electronic Notes in Theoretical Computer Science (ENTCS).
ENTCS is published electronically on Science Direct,
Elsevier's main platform for electronic publication to
provide rapid publication and broad dissemination of the
volumes in the series. Selected papers will appear in a
special issue of a high quality journal.

Program Committee:
================
- Parosh Aziz Abdulla , Uppsala
- Eugene Asarin , Paris
- Vincent Blondel, Louvain
- Olivier Bournez, Nancy
- Cristian S. Calude , Auckland
- Javier Esparza , Munchen
- Vesa Halava , Turku
- Oscar Ibarra , Santa Barbara
- Juhani Karhumaki, Turku
- Igor Potapov , Liverpool
- Colin Stirling, Edinburgh
- Wolfgang Thomas , Aachen
- Hsu-Chun Yen , Taipei

Organizing Committee:
================
- Igor Potapov, Liverpool
- Vesa Halava, Turku

Contact:
================
RP'08,
Department of Computer Science,
University of Liverpool,
Ashton Building,
Ashton Street,
Liverpool, L69 3BX
E-mail: rp2008 [at] csc.liv.ac.uk
Web: http://www.csc.liv.ac.uk/~rp2008/


Home Index

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

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

Last modified: Fri Mar 28 18:32:09 GMT 2008