BLC Newsletter August 2005

Registered Charity No 275541

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,

It has been a long time without a BLC newsletter! Apologies and here is
another one!
   Before any other news, let me remind of the upcoming BLC Annual
Meeting, in Bristol, September 1-3. There also will be the Annual
General Meeting on September 1st. The web site of the meeting is
   The other items on the news are
(1) RAE 2008 consultation
(2) LICS 99 newsletter, including several conference announcements
(3) Methods for Modalities 2005
(4) Topology in Greece, June 2006 conference announcement
   Best wishes and hope to see you in Bristol, Mirna Dzamonja

 From Jeff Paris:

RAE 2008 Consultation  As a Learned Society we are invited to comment
on the draft proposals for the working of the Main and Sub- Panels,
If any member has comments they would like me to consider including
in our response please email me, or discuss it with me at our Annual
Meeting next month.  Jeff Paris (


******************************************************************* * Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at

  FLoC 2006 - Call for Workshop Proposals
  CALCO 2005 - Call for Participation
  LPAR-12 - Call for Papers
  AVoCS '05 - Call for Short Presentations
  Overture Workshop - Call for Participation
  Linear Logic in Computer Science - Ehrhard, Girard, Ruet, and Scott, eds.
  Assistant positions in software component technology, Zurich
  Positions in mathematical logic and applications, Freiburg

  Seattle, Wash., USA, August 2006
  Call For Workshop Proposals
* The fourth Federated Logic Conference (FLoC'06), will be held in
  in August 2006, at the Seattle Sheraton. The following six
  conferences will participate in FLoC:
  - Conference on Computer-Aided Verification (CAV).
  - International Conference on Logic Programming (ICLP).
  - International Joint Conference on Automated Deduction (IJCAR).
  - IEEE Symposium on Logic in Computer Science (LICS).
  - Conference on Rewriting Techniques and Applications (RTA).
  - International Conference on Theory and Applications of Satisfiability
    Testing (SAT).
* The organizers have made arrangements to facilitate the running of
  pre-, post-, and mid-FLoC workshops. Each workshop will
  have its own registration. It is not necessary to register for FLoC in
  order to attend workshops. Meeting rooms and accommodations have been
  reserved at the Seattle Sheraton.
  - Pre-FLoC workshops:  Thurs. August 10 -  Fri. August 11, 2006.
  - Mid-FLoC workshops:   Tues. August 15 -  Wed. August 16, 2006.
  - Post-FLoC workshops:   Mon. August 21 - Tues. August 22, 2006.
* Researchers and practitioners are invited to submit proposals for
  workshops on topics relating logic, broadly understood, applied to
  computer science. Each workshop proposal must indicate one sponsoring
  conference among the participating conferences.  (It is suggested
  that prospective workshop organizers contact the conference program
  chair before submitting a proposal.) Workshops will have to be
  financially self-supporting, unless the sponsoring conference
  accepts financial responsibility. The FLoC Organizing Committee
  will determine the final list of accepted workshops based on the
  recommendations from the sponsoring conferences and subject to the
  availability of space and facilities.
* Proposals should consist of two parts. First, a short scientific
  justification of the proposed topic, its significance, and the
  particular benefits of a workshop. A second, organizational, part
  should include:
  - contact information about organizers
  - proposed format and agenda
  - procedures for selecting papers and participants
  - duration (which may vary from one day to three days) and
    preferred period.
  - proposed sponsoring conference
* Additional organizational plans may include names of
  potential invited speakers, proposed demo sessions and tutorials,
  plans for proceedings or other publications, etc.
* Proposals are due by July 31, 2005.  Organizers will be notified by
  August 31, 2005.  Proposals should be submitted either electronically, and
  should be addressed to the Program Chair of the sponsoring conference
  as well as to
    Gopal Gupta (Workshop Chair)
    Department of Computer Science
    University of Texas at Dallas
    Richardson, TX 75080
    Phone: +1 972 883 4107
    Fax: +1 972 883 2399

  September 3-6, 2005, Swansea, Wales, UK
  Call for Participation
* CALCO 2005 is an exciting new conference that brings together
  researchers and practitioners to exchange new results related to
  foundational aspects and both traditional and emerging uses of
  algebras and coalgebras in computer science.
* Registration is open now on
  The fee 180 GBP includes a volume of Springer's Lecture Notes in
  Computer Science with the proceedings.
* CALCO-jnr: CALCO 2005 is preceded by a Young Researchers Workshop,
  dedicated to presentations by PhD students and people who
  completed their doctoral studies within the past few years, see
* Invited Speakers:
  - Professor Samson Abramsky, Christopher Strachey Professor of
    Computing, University of Oxford, UK
  - Professor Gordon Plotkin, School of Informatics, University of
    Edinburgh, UK.
  - Professor Vladimiro Sassone, Professor of Informatics, University of
    Sussex, UK.
* For more information see webpage

  2nd-6th December 2005, Montego Bay, Jamaica
  Final Call For Papers
* LPAR-12 will  be held 2nd-6th December 2005, at the  Wexford Hotel,
  Montego Bay,  Jamaica.  Submission of  papers  for
  presentation at the conference is now invited.
* Dates and Deadlines:
  - Submission of full paper abstracts          11th July
  - Submission of full papers                   18th July
  - Submission of short papers                  26th September
* Full and short papers are welcome. Full papers may be either regular papers
  containing new results,  or experimental papers describing  implementations
  or evaluations  of systems.  Short papers may  describe work in progress or
  provide  system descriptions. Submitted papers  must be original,  and not
  submitted concurrently to a journal or another conference.
* For more information see webpage

(AVoCS '05)
  University of Warwick, UK, 12-13 September 2005
  Call for Short Presentations
* Topics include: Specification and Refinement; Requirements Capture and
  Analysis; Model Checking: Theory, Tools and Applications;
  Abstract Interpretation; Theorem Proving; Software and Hardware
  Verification; Verification of Probabilistic and/or Real-Time Systems;
  Verification of Distributed Protocols including Security; Performance
  and Dependability Evaluation; Case Studies
* The regular papers will be supplemented by a series of short
  presentations, for submission of which:
  - Abstract must be supplied in plain text format.
  - Short presentations will be accepted on a first-come,
    first-served basis.
* Preliminary proceedings will be published by the University of Warwick
  and distributed at the workshop.  This will include preliminary
  versions of regular papers, and abstracts of short presentations.
  After the workshop, authors of regular papers will have an option to
  prepare a final version for proceedings in Electronic Notes in
  Theoretical Computer Science (Elsevier), and to submit a full
  version for a special issue of a high-quality international journal.
* 25 July: deadline for submission of short presentation abstracts
* Programme committee: Dragan Boshnachki, Muffy Calder, Sadie Creese,
  Michael Goldsmith, Michael Gordon, John Harrison, Gerard Holzmann,
  Michael Huth, Antonin Kucera, Orna Kupferman, Marta Kwiatkowska,
  Ranko Lazic, Michael Leuschel, Rajagopal Nagarajan, David Nowak,
  Paritosh Pandya, Jakob Rehof, Markus Roggenbach, Bill Roscoe,
  Jim Woodcock

  July 18, 2005, Newcastle upon Tyne, UK
  Co-located Workshop of Formal Methods 2005
  Call for Participation
* The mission of the Overture project is twofold: to provide an
  industrial-strength tool for VDM++ to allow the use of precise abstract
  models in software development, and to foster an environment that allows
  researchers and other interested parties to experiment with language
  modifications and extensions to the tool. The aim of the workshop is
  to reflect on 13 years of history with VDM++ and to boost the momentum
  that currently exists for the Overture project. * For more information see webpage

  Linear Logic in Computer Science
  Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Philip Scott, editors
  Cambridge University Press, November 2004, ISBN 0-521-60857-0.  392 pages;
  75 exercises; 150 figures; 50 worked examples. $70.00
* Linear Logic is a branch of proof theory which provides refined tools for
  the study of the computational aspects of proofs. These tools include a
  duality-based categorical semantics, an intrinsic graphical representation
  of proofs, the introduction of well-behaved non-commutative logical
  connectives, and the concepts of polarity and focalization. These various
  aspects are illustrated here through introductory tutorials as well as
  more specialized contributions, with a particular emphasis on applications
  to computer science: denotational semantics, lambda-calculus, logic
  programming and concurrency theory. The volume is rounded-off by two
  invited contributions on new topics rooted in recent developments of
  linear logic. The book derives from a summer school that was the climax of
  the EU Training and Mobility of Researchers project "Linear Logic in
  Computer Science". It is an excellent introduction to some of the most
  active research topics in the area.
* Contents:  Part I. Tutorials: 1. Category theory for linear logicians R.
  Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An
  overview of linear logic programming D. Miller; 4. Linearity and
  nonlinearity in distributed computation G. Winskel; 5. An axiomatic
  approach to structural rules for locative linear logic J. M. Andreoli; 6.
  An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu
  and M. Quatrini; 7. Slicing polarized addictive normalization O. Laurent
  and L. Toratora De Falco; 8. A topological correctness criterion for
  muliplicative noncommutative logic P.A. Mellies; 9. Bicategories in
  algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract
  J. Y. Girard.
* For ordering information, please visit

  Department of Computer Science - ETH Zurich, Switzerland
* The Software Component Technology group is recruiting one or two
  assistants (PhD students) to work on the European research project
  "Mobility, Ubiquity and Security: MOBIUS", aiming at developing the
  technology for establishing trust and security for the next generation
  of global computers, using the Proof Carrying Code paradigm. The
  project will start September 1, 2005.
* For more information see webpage

* Starting 1st October 2005, we announce the vacancy of scholarships
  for 1 Post-Doc Position and 2 Ph.D. Positions at the University
  of Freiburg, for interested people, having a Masters (M.Sc. or
  equivalent) or Ph.D. degree in the respective field or related. * Funding is provided for a duration of 2-3 years. The limit in age
  for Post-Doc applicants is 35 years, and 28 years for
  Ph.D. applicants, respectively.
* The DFG-funded Graduate Program is led by Mathematics and Computer
  Science faculty. Major topics comprise applications of mathematical
  logics in Computer Science and Algebra:
  - Model Checking problems with particular focus on theory of database
    systems, artificial intelligence, and verification of hybrid systems.
  - Model theory of arithmetic structures and algebraic and geometrical
    methods in model theory.
  These fields of interest are represented by university professors
  Becker, Flum, Koenigsmann, Lausen, Nebel, Prestel, and Ziegler. * For further information see webpage



First call for papers

                  M4M-4 (Methods for Modalities 2005)

   The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

    To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.
We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics.

   Regular papers should not exceed the length of 12 pages; short papers are up to six pages of length, and posters and tools can be presented on two pages of text. Proceedings will appear online and as a Humboldt university report. Depending on the submissions, papers may be selected to appear in a special issue of an appropriate journal.
Submission is by email. Either Postscript or PDF files can be sent to

   The workshop will take place in Berlin - Adlershof, Germany, which is one of the worlds largest science and technology areas, comprising twelve research institutes, six faculties of the Humboldt University of Berlin, and more than 370 high tech companies. It is hosted by FIRST, the Fraunhofer Institute of Computer Architecture and Software Technology, in collaboration with the computer science institute of Humboldt University.

For more information and registration information, see the M4M homepage at

  Deadline for submissions: September 1st, 2005
  Notification: October 17, 2005
  Camera ready versions: November 8, 2005
  Workshop dates: December 1-2, 2005

The program committee for M4M consists of
   Holger Schlingloff, Humboldt University / FIRST (local organizations);
   Carlos Areces, INRIA Lorraine;
   Patrick Blackburn, INRIA Lorraine;
   Torben Brauner, Roskilde University;
   Stephane Demri, ENS de Cachan;
   Enrico Franconi, Free University of Bolzano;
   Rajeev Gore, University of Canberra;
   Ian Horrocks, University of Manchester;
   Joost-Pieter Katoen, University of Twente;
   Maarten de Rijke, University of Amsterdam;
   Renate Schmidt, University of Manchester; and
   Frank Wolter, University of Liverpool.


Prof. Dr. Holger Schlingloff

Head of the Synthesis, Validation and Testing Department
Fraunhofer - Institute of Computer Architecture and Software Technology
FHG-FIRST, Kekulestr 7,  D-12489 Berlin, Germany

Professor for Specification, Verification and Testing Theory
Department of Computer Science, Humboldt-University
Rudower Chaussee 25, D-12489 Berlin, Germany

phone:  ++49 30 6392 1907
mobile: ++49 179 5973372
fax:    ++49 30 6392 1805


        Dear Sir/Madam

    The Department of Mathematics of the University of Patras with the
    hospitality of   the city Aegion organize the

    2006 International Conference on Topology and its Applications

    which will be held from June 23 to 26 of 2006 in the city of Aegion,

    All areas of Topology and its Applications are included (especially
    General Topology, Applied General Topology, Set-Theoretic Topology,
    Geometric Topology, Topological Groups, Dimension Theory, Dynamical
    Systems and Continua Theory, Computational Topology, History of



        Note that in the Participation Form it is not necessary to
        complete the date of arrival and the date of departure.

Sincerely yours,

Professor S.D. Iliadis, Department of Mathematics
University of Patras
265 00 Patras, Greece

Assistant Professor D.N. Georgiou
Department of Mathematics
University of Patras
265 00 Patras, Greece

Home Index


Page maintained by

Last modified: Wed Sep 21 16:56:41 BST 2005