BLC Newsletter October 2004

Registered Charity No 275541

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

Dear members,

   Please find attached the minutes of the general annual meeting in Leeds
that was held at the beginning of September. The other news this time are:

(1) Logic Seminars in Oxford this term

(2) 6th De Morgan Conference on Logic and Law, November 15-17, 2004, London
    (poster attached)

(3) LICS 2005: call for papers

(4) Nevanlinna Prize Nominations

   Best wishes to all,Mirna


The following seminars will take place in the Mathematical Institute at
3.15 on Fridays.They will all be in room L3 except the first one,which
will be in SR1.

15 Oct  Alex Wilkie (Oxford)

         "Bounding back and forth through the complex field"

22 Oct John Shackell (Kent)

         "Asymptotics ond oscillation"

29 Oct Angus Macintyre  (Queen Mary)

         "Decidability in the theory of elliptic functions"

5 Nov  Assaf Hasson (Jerusalem and Oxford)

         "Interpreting structures of finite Morley rank in strongly minimal

12 Nov Tba

19 Nov  Anuj Dawar (Cambridge)

         "Preservation theorems on classes of finite structures"

26 Nov  Jan Krajicek (Prague)

         "Forcing with random variables"

3 Dec   Philip Welch (Bristol)

         Title to be announced.


   dear colleague
enclosed is a poster  on the 6th de morgan conference on logic and
law , to be held at king's college  strand
nov 15-17,  2004
we hope to see you with us

Professor  D M Gabbay, FRSC FAvH FRSA MBCS
Augustus De Morgan Professor of Logic
Department of Computer Science
King's College London
London WC2R 2LS
United Kingdom

Telephone  + 44 20 7848 2930
Fax        + 44 20 7240 1071

Latex or postscript files send to
Jane Spurr


Twentieth Annual IEEE Symposium on 
June  26th -- 29th, 2005, Chicago, Illinois

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed.  We invite submissions on topics that fit under that rubric.
Suggested, but not exclusive, topics of interest for submissions include:
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, domain theory, finite model
theory, formal aspects of program analysis, formal methods, hybrid systems,
lambda and combinatory calculi, linear logic, logical aspects of
computational complexity, logics in artificial intelligence, logics of
programs, logic programming, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
reasoning about security, rewriting, specifications, type systems and type
theory, and verification.  We welcome submissions in emergent areas, such as
bioinformatics and quantum computation, if they have a substantial
connection with logic.

Important Dates: 
Authors are required to submit
a paper title and a short abstract of about 100 words 
before submitting the extended abstract of the
paper. All submissions will be electronic.


Author Notification:           18th March 2005
Camera-ready Papers Due:       8th April 2005.

All deadlines are firm; late submissions will not be considered. 
Detailed information about electronic paper submission will
be posted at the LICS website.

Submission Instructions: 
Every extended abstract  must be submitted in the IEEE Proceedings
two-column camera-ready format.  It must be in English and provide
sufficient detail to allow the program committee to assess the merits
of the paper.  It should begin with a succinct statement of the issues,
a summary of the main results, and a brief explanation of their
significance and relevance to the conference and to
computer science, all phrased for the non-specialist. 
Technical development directed to the specialist
should follow. References and comparisons with related work should be

Extended abstracts may be no longer than 10 pages including references, and
must be formatted in the IEEE Proceedings two-column camera-ready style
(IEEE style files will be accessible from the LICS website).  If necessary,
detailed proofs of technical results can be included in a clearly-labelled
appendix in the same two-column format following the 10-page extended
abstract or there can be a pointer to a manuscript on a web site.  This
material may be read at the discretion of the program committee.
Extended abstracts not conforming to the above requirements
concerning format and length may be rejected without further

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
The PC chair should be informed of closely related work submitted to a
conference or journal between 10th January  2005 and 18th March 2005.
All authors of accepted papers will be expected to sign copyright
release forms.  One author of each accepted paper will be expected to
present it at the conference.

Short Presentations: LICS 2005 will have a session of short (5--10 minutes)
presentations.  This session is intended for descriptions of work in
progress, student projects, and relevant research being published
elsewhere; other brief communications may be acceptable.  Submissions for
these presentations, in the form of short abstracts (1 or 2 pages long),
should be entered at the LICS 2005 submission site between 19th March and
25th March 2005.  Authors will be notified of acceptance or rejection by
1st April 2005.

Kleene Award for Best Student Paper: An award in honour of the late
S.C. Kleene will be given for the best student paper, as judged by the
program committee.  Details concerning eligibility criteria and procedure
for consideration for this award will be posted at the LICS website.  The
program committee may decline to make the award or may split it among
several papers.

Affiliated Workshops: As in previous years, there will be a number of
workshops affiliated with LICS 2005; information will be posted at the LICS

Sponsorship: The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the Association
for Symbolic Logic, and the European Association for Theoretical Computer

Program Chair:
Prakash Panangaden
School of Computer Science
McGill University
Montreal, Quebec
Phone: + 1 514 398 7074
Fax:   + 1 514 398 3883

Program Committee:
Jiri Adamek         Technical University of Braunschweig
Luca de Alfaro      U. of California, Santa Cruz 
Andrei Bulatov      Simon Fraser University 
Hubert Comon-Lundh  ENS Cachan 
Philippa Gardner    Imperial College 
Martin Grohe        Humboldt-Universitat zu Berlin 
Neil Immerman       U. of Massachusetts, Amherst 
Marta Kwiatkowska   University of Birmingham 
Maurizio Lenzerini  Universita di Roma 
Guy McCusker        University of Sussex 
Larry Moss          University of Indiana 
Prakash Panangaden  McGill University
Frank Pfenning      Carnegie-Mellon University 
Toniann Pitassi     University of Toronto 
Uday Reddy          University of Birmingham 
Thomas Schwentick   Philipps-Universitat Marburg 
Peter Selinger      University of Ottawa 
N. Shankar          SRI International 
Igor Walukiewicz    Universite Bordeaux

Conference co-Chairs:
Alan Jeffrey, Radhakrishnan Jagadeesan
School of CTI 
DePaul University
Chicago, Illinois

Workshops Chair:
Philip J. Scott, U. of Ottawa

Publicity Chair:
Alex Simpson, U. of Edinburgh

General Chair:
Phokion G. Kolaitis, U. of California, Santa Cruz

Organizing Committee: 
Samson Abramsky, Andrei Broder, Sam Buss, Edmund Clarke, Amy Felty, Hal
Gabow, Lauri Hella, Radha Jagadeesan, Alan Jeffrey, Ulrich Kohlenbach,
Phokion Kolaitis, Janos Makowsky, John Mitchell, Mogens Nielsen, Prakash
Panangaden, Frank Pfenning, Gordon Plotkin, Femke van Raamsdonk, Philip
Scott, Alex Simpson, Andrei Voronkov.

Advisory Board: 
Robert Constable, Yuri Gurevich, Claude Kirchner, Dexter Kozen, Ursula
Martin, Albert Meyer, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Moshe
Y. Vardi, Glynn Winskel


Deadline for nominations is December 15, 2004,

The Nevanlinna Prize recognizes outstanding contributions
to mathematical aspects of information science, including:

     1. All mathematical aspects of computer science,
        including complexity theory, logic of programming
        languages, analysis of algorithms, cryptography,
        computer vision, pattern recognition,
        information processing, and modeling of
     2. Scientific computing and numerical analysis.
        Computational aspects of optimization and control
        theory. Computer algebra.

Details about eligibility and submission of nominations are at

Please note the age restriction: nominees must be
strictly less than 40 on December 31, 2005.

The prize will be awarded at the 2006 International
Congress of Mathematicians.

Dr Mirna Dzamonja
School of Mathematics
University of East Anglia
Norwich, NR47TJ

phone: +44-1603-592981
fax: +44-1603-593868

Minutes of the AGM 2004

Home Index


Page maintained by

Last modified: Sun Oct 24 22:29:34 BST 2004