BLC Newsletter July 2006

President           Professor J B Paris FBA [Manchester]
Vice-President      Professor J M E Hyland [Cambridge]
Treasurer           Professor D Macpherson [Leeds]
Secretary           Dr M Dzamonja [East Anglia]
                    Dr N Alechina [Nottingham]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

Dear members,

Here is the summer edition of our newsletter. I have also attached
[1] a copy of the minutes of the Committee meeting, which was held at
the University of Nottingham on the 5th of April
[2] report of the Committee for 2005.
    Please keep in mind that our annual meeting is to take place soon,
this year it will be held in Oxford, September 7-9. See
for more details. The organisers are in particularly encouraging Ph.D. students
to come and possibly contribute a talk, funding is available.
     More announcements follow, with best wishes to all
      Mirna Dzamonja.
(1) Relations and Kleene Algebra in Computer Science, Manchester from 29 August to 2 September 2006
(2) The 2006 Federated Logic Conference
                          Seattle, Washington, USA
                       August 10 -- August 22, 2006
(3) BPA Election News
Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal
(1) Relations and Kleene Algebra in Computer Science

The 9th International Conference on "Relational Methods in
Computer Science" and the 4th International Workshop on
"Applications of Kleene Algebra" (RelMiCS/AKA 2006) will take
place in Manchester from 29 August to 2 September and will be
hosted by the School of Computer Science of the University of
Manchester.  As in previous years, the two events are
co-organised.  The joint conference is intended for pure and
applied logicians and mathematicians, theoretical and applied
computer scientists, software engineers and researchers from
neighbouring disciplines.

The main programme of invited and contributed presentations will
start on the morning of 30 August and end in the afternoon of 2
September.  The invited plenary speakers are:

 o Ernie Cohen (Microsoft, USA)
     To Be Announced
 o Roger D. Maddux (Iowa State University, USA)
     Finite Symmetric Integral Relation algebras with no 3-Cycles
 o Jeff Sanders (Oxford, UK)
     Computations and Relational Bundles

There will be a PhD programme comprising of a student session and
two tutorials on 29 August.  Invited PhD tutorial speakers are

 o Peter Jipsen (Chapman University, USA)
     Foundations of relation algebra and Kleene algebra
 o John Derrick (Sheffield University, UK)
     Relational methods for program refinement

It is our pleasure to acknowledge the support by the British
Logic Colloquium, the London Mathematical Society, the EPSRC and
the University of Manchester.

Registration and more information, including travel and
accommodation, is now available at the conference website:
financial support can be obtained at the conference website:


                   Call for Participation --- FLoC'06

                The 2006 Federated Logic Conference
                       Seattle, Washington, USA
                       August 10 -- August 22, 2006


We are pleased to announce the fourth Federated Logic Conference
(FLoC'06) to be held in Seattle, Washington, in August 2006, at the
Seattle Sheraton (

FLoC'06 promises to be the premier scientific meeting in computational
logic in 2006.  The following conferences will participate in FLoC'06:

CAV     Conference on Computer Aided Verification (Aug 17-20)
ICLP    Int'l Conference on Logic Programming (Aug 17-20)
IJCAR   Int'l Joint Conference on Automated Reasoning (Aug 17-20)
LICS    IEEE Symposium on Logic in Computer Science (Aug 12-15)
RTA     Conference on Rewriting Techniques and Applications (Aug 12-14)
SAT     Int'l Conference on Theory and Applications of
         Satisfiability Testing (Aug 12-15)

The six major conferences will be accompanied by 41 workshops, held on
Aug. 10-11, 15-16, and 21-22.

The FLoC'06 program includes a keynote session to commemorate the Goedel
Centenary, with John Dawson and Dana Scott as speakers, a keynote talk
by David Harel, plenary talks by Randy Bryant and David Dill, and
invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M.
Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D.
Miller, K. Sakallah, J. Stoy, and C. Welty.

FLoC has received an NSF grant to provide funds for travel grants of up
to $750 for student attendees of FLoC'06. We expect to award about 50
grants. See application information on the website.

Seattle, the Emerald city, sits on the shores of Puget Sound surrounded
by mountains to the east and west.  Lovely views of blue waters and snow
capped peaks seem to appear everywhere - around the next bend in the
road or between the buildings downtown. Seattle is the gateway to the
Pacific Northwest, a premier tourist attraction. In Seattle, Mt. Rainier enchants visitors; in Vancouver, British
Columbia, the Coast Range juts out over downtown; and in Portland, 5,000
acres of forestland north of the city center harbor deer, elk, and the
odd bear and cougar.

Online registration for FLoC is now open at:

Deadline for preferred hotel rate is June 21, 2006.
Deadline for early registration is July 10, 2006.

FLoC'06 Steering Committee

Moshe Y. Vardi      (General Chair)
Thomas Ball         (Conference Co-Chair)
Jakob Rehof         (Conference Co-Chair)
Edmund Clarke       (CAV)
Reiner Hahnle       (IJCAR)
Manuel Hermenegildo (ICLP)
Phokion Kolaitis    (LICS)
Henry Kautz         (SAT)
Aart Middeldorp     (RTA)
Andrei Voronkov     (IJCAR)


Dear Colleagues

The following three members of the Executive Committee have been
re-nominated for election: Helen Beebee (Birmingham), Brad Hooker
(Reading) and Jonathan Wolff (UCL). Following the recent call for
nominations one additional nomination was received, Dr Alessandra
Tanesini (Cardiff).

Given that we have four nominations and four places, as 'returning
officer' I declare that, in accordance with procedure, no election is
necessary. The following four nominees will be appointed for 3 years
to run from 1st October 2006.

Helen Beebee (Birmingham)
Brad Hooker (Reading)
Alessandra Tanesini (Cardiff)
Jonathan Wolff (UCL).

Sacha Stephens
British Philosophical Association
Philosophy Department
University of Hertfordshire
de Havilland Campus
Hertfordshire  AL10 9AB

                      CALL FOR PAPERS: TACAS 2007

                Thirteenth International Conference on
   Tools and Algorithms for the Construction and Analysis of Systems


      Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal


* 6 Oct 2006: Submission deadline (strict) for abstracts of research and tool
  demonstration papers
* 13 Oct 2006: Submission deadline (strict) for full versions of research and
  tool demonstration papers
* 8 Dec 2006: Notification of acceptance
* 5 Jan 2007: Camera-ready versions due


  TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and analysis
of systems. The conference serves to bridge the gaps between different
communities that share common interests in, and techniques for, tool
development and its algorithmic foundations. The research areas covered
by such communities include but are not limited to formal methods, software
and hardware verification, static analysis, programming languages, software
engineering, real-time systems, communications protocols, and biological
systems. The TACAS forum provides a venue for such communities at which
common problems, heuristics, algorithms, data structures and methodologies
can be discussed and explored. In doing so, TACAS aims to support researchers
in their quest to improve the utility, reliability, flexibility and efficiency
of tools and algorithms for building systems.

  Tool descriptions and case studies with a conceptual message, as well as
theoretical papers with clear relevance for tool construction are all
encouraged. The specific topics covered by the conference include, but
are not limited to, the following:

* Specification and verification techniques for finite and
  infinite-state systems
* Software and hardware verification
* Theorem-proving and model-checking
* System construction and transformation techniques
* Static and run-time analysis
* Abstraction techniques for modeling and validation
* Compositional and refinement-based methodologies
* Testing and test-case generation
* Analytical techniques for secure, real-time, hybrid, critical,
  biological or dependable systems
* Integration of formal methods and static analysis in high-level
  hardware design or software environments
* Tool environments and tool architectures
* SAT solvers
* Applications and case studies

  As TACAS addresses a heterogeneous audience, potential authors are strongly
encouraged to write about their ideas and findings in general and jargon-
independent, rather than in application- and domain-specific, terms. Authors
reporting on tools or case studies are strongly encouraged to indicate how
their experimental results can be reproduced and confirmed independently.


Christel Baier (U. Bonn, Germany)
Armin Biere (Johannes Kepler U., Austria)
Jonathan Billington (University of South Australia, Australia)
Ed Brinksma (ESI and U. of Twente, The Netherlands)
Rance Cleaveland (U. of Maryland & Fraunhofer USA Inc, USA)
Byron Cook (tool chair) (Microsoft Research, Cambridge, UK)
Dennis Dams (Bell Labs, Lucent Technologies, Murray Hill, USA)
Marsha Chechik (U. Toronto, Canada)
Francois Fages (INRIA Rocquencourt, France)
Kathi Fisler (Worcester Polytechnic, USA)
Limor Fix (Intel Research Laboratory, Pittsburgh, USA)
Hubert Garavel (INRIA Rhones-Alpes, France)
Susanne Graf (VERIMAG, Grenoble, France)
Orna Grumberg (co-chair) (TECHNION, Israel Institute of Technology, Israel)
John Hatcliff (Kansas State U., USA)
Holger Hermanns (U. des Saarlandes, Germany)
Michael Huth (co-chair) (Imperial College London, UK)
Daniel Jackson (Massachusetts Institute of Technology, USA)
Somesh Jha (U. of Wisconsin at Madison, USA)
Orna Kupferman (Hebrew U., Jerusalem, Israel)
Marta Kwiatkowska (U. of Birmingham, UK)
Kim Larsen (Aalborg U., Denmark)
Michael Leuschel (Heinrich-Heine U., Duesseldorf, Germany)
Andreas Podelski (Max-Planck-Institut fuer Informatik, Saarbruecken, Germany)
Tiziana Margaria-Steffen (U. Goettingen, Germany)
Tom Melham (Oxford U., UK)
CR Ramakrishnan (SUNY Stony Brook, USA)
Jakob Rehof (Fraunhofer ISST, Germany)
Natarajan Shankar (SRI, Menlo Park, USA)
Bernhard Steffen (U. Dortmund, Germany)
Lenore Zuck (U. of Illinois, USA).


K. Rustan M. Leino (Microsoft Research, USA)


Papers should be submitted using the TACAS 2007 Conference Service. As with
other ETAPS conferences, TACAS accepts two types of contributions:

* research papers and
* tool demonstration papers.

Both types of contributions will appear in the proceedings and have
oral presentations during the conference.

Research papers:

Research papers cover one or more of the topics above, including tool
development and case studies from a perspective of scientific research.
Research papers are evaluated by the TACAS Program Committee.  Submitted
research papers must:

* be in English and have a maximum of 15 pages (including figures and
* present original research which is unpublished and not
  submitted elsewhere (conferences or journals) -- in particular,
  simultaneous submission of the same contribution to multiple ETAPS
  conferences is forbidden
* use the Springer-LNCS style
* be submitted electronically in Postscript or PDF form via the TACAS 2007
  Conference Service (abstract no later than 6 October, 2006, and full
  paper no later than 13 October, 2006)

  Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Program Committee
Co-Chairs Orna Grumberg ( or Michael Huth
( prior to submitting.

Tool demonstration papers:

  Tool demonstration papers present tools based on aforementioned technologies
(e.g., theorem-proving, model-checking, static analysis, or other formal
methods) or fall into the above application areas (e.g., system construction
and transformation, testing, analysis of real-time, hybrid or biological
systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool
Chair, Byron Cook (
with the help of the Programme Committee.

Submitted tool demonstration papers must:

* be in English and have a maximum of 4 pages
* have an appendix (not included in the 4 page count) that
  provides a detailed description of:
  - how the oral presentation will be conducted, e.g.
    illustrated by a number of snapshots
  - the availability of the tool, the number and types of users, other
    information which may illustrate the maturity and robustness of the tool
  - if applicable, a link to a web-page for the tool
    (The appendix will not be included in the proceedings, but during the
    evaluation of the tool demonstration papers it will be equally
    important as the pages submitted for publication in the proceedings.)
* use the Springer-Verlag LNCS style
* clearly describe the enhancements and novel features of the tool in case that
  one of its previous versions has already been presented at meetings or
  published in some form
* be submitted electronically in Postscript or PDF form via the TACAS 2007
  Conference Service (abstract no later than 6 October, 2006, and full paper
  no later than 13 October, 2006)

  Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Tool Chair
Byron Cook.