BLC Newsletter November 2004

Dear members,

The BLC election is over. Our excellent Treasurer of many years,
Roy Dyckhoff has stood down, though he will continue as a co-
opted non-voting member until June, when he will officially hand over 
the Treasurership to Dugald Macpherson. Together with some expressions
of interest, which were not followed by a nomination, we received
only one nomination for a new member of the Committee, whom we are
happy to welcome: she is Natasha Alechina from the University of Nottingham.

Some further announcements are:

(1) SIGLaC Half-day Meeting
           Wednesday 8th December, 2004, University of Leeds
(2) CiE 2005 - Call for papers

University of California, Berkeley, Friday 18 - Sunday 20 February 2005

(4) a meeting of Cameleon (CAMbridgE LEeds Or Norwich) on
the 23rd of this month

    Best wishes to all, Mirna.


                        SIGLaC Half-day Meeting
           Wednesday 8th December, 2004, University of Leeds

                    13.30: Mark Baker (Portsmouth)
                 Smoke and Mirrors: Tales of the Grid

                   14.30: Samson Abramsky (Oxford)
            Information is Physical, but Physics is Logical

                     16.00: John Tucker (Swansea)
         Specification and Computation on Topological Algebras

Mark Baker's talk is co-sponsored by the Leeds University Informatics

All talks to be held in the Active Learning Laboratory, Room 9.30, School
of Computing, Leeds University - all welcome

Further half-day meetings - Wednesdays 16th March and 2nd November, 2005

SIGLaC, a Special Interest Group in Logic and Computation, is a new
inter-disciplinary group at Leeds aimed at fostering the development of
research-related activity at the interface between Mathematics, Logic, and
For more information visit:



                               CiE 2005
                     Computability in Europe 2005 :
                      New Computational Paradigms

                        University of Amsterdam
                            June 8-12, 2005
                     Sponsored by: ASL, EATCS, NWO

                   C A L L    F O R     P A P E R S

                      Deadline: DECEMBER 17, 2004

Computability Theory is central to large areas of theoretical computer
science and mathematical logic. In all areas of computability theory,
alternative models of computation have been investigated, ranging from the
most abstract (generalized recursion theory, infinite time Turing
machines, computation relative to enumerations of data, mathematical
models of emergence) to the very concrete (physical constructions of
quantum computers, applications in neuroscience and learning theory, fine
grained parallelism, swarm intelligence, neural nets, agents, games).

The conference CiE 2005 is an interdisciplinary venue for researchers from
computer science, mathematics, philosophy and the physical sciences. It
will particularly focus on New Computational Paradigms and new
perspectives on models of computation arising from basic research in
mathematical logic and theoretical computer science. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work on
computational issues that allows uniform approaches to diverse areas, the
transformation of theoretical ideas into applicable projects, and general
cross-fertilization transcending disciplinary borders.

The Programme Committee cordially invites all researchers (European and
non-European) in the area of computability theory to submit their papers
(in PDF-format, at most 10 pages) for presentation at CiE 2005. The
deadline is December 17, 2004. We plan to publish a proceedings volume
with the Springer LNCS. If you preregister at,
you will be informed when the online submission form is set up.

We particularly invite papers that build bridges between different parts
of the research community. For more information about the aims and the
scope of the conference, please check our General Information.  Since
women are underrepresented in mathematics and computer science, we
specially encourage submissions by female authors.

In addition to the usual proceedings volume, we plan to invite submissions
for two post-conference publications, a special issue of Theoretical
Computer Science and a volume of expository and survey papers.

Graduate student members of the ASL can apply for ASL Travel Grants in
order to participate in CiE 2005.  More information can be found on our

Organizers: Barry Cooper, Benedikt Loewe, Leen Torenvliet, Peter van Emde

Invited speakers include - Tutorials:  Harry Buhrman (Amsterdam), Klaus
Weihrauch (Hagen). Plenary talks:  Samson Abramsky (Oxford), Joel D.
Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen
(Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens
/ Los Angeles CA), Uwe Schoening (Ulm)

Programme Committee:  Klaus Ambos-Spies (Heidelberg), Albert Atserias
(Barcelona), Barry Cooper (Leeds, co-chair), Sergei Goncharov
(Novosibirsk), Benedikt Loewe (Amsterdam, co-chair), Dag Normann (Oslo),
Helmut Schwichtenberg (Muenchen), Andrea Sorbi (Siena), Ivan Soskov
(Sofia), Leen Torenvliet (Amsterdam), John Tucker (Swansea), Johan van
Benthem (Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri
Wiedermann (Praha).

Sponsors: Association for Symbolic Logic (ASL), European Association for
Theoretical Computer Science (EATCS), Netherlands Organisation for
Scientific Research (NWO)


Dear Colleague,

I am writing to you on behalf of the Conference Organising Committee to inform you of the call-for-papers for:

University of California, Berkeley, Friday 18 - Sunday 20 February 2005

This conference takes a broad and cross-disciplinary approach to technology in society. With a particular focus on digital information and communications technologies, the interests addressed by the conference include: human usability, technologies for citizenship and community participation, and learning technologies. Participants will include researchers, teachers and practitioners whose interests are either technical or humanistic, or whose work crosses over between the applied technological and social sciences.

As well as an impressive line up of international main speakers, the conference will also include numerous paper, workshop and colloquium presentations. We would particularly like to invite you to respond to the conference call for papers. Papers submitted for the conference proceedings will be fully peer-refereed and published in print and electronic formats in the new International Journal of Technology, Knowledge and Society. If you are unable to attend the conference in person, virtual registrations are also available which allow you to submit a paper for refereeing and possible publication in this fully refereed academic journal, as well as access to the electronic version of the conference proceedings. The deadline for the first round call for papers is 30 November 2004. Proposals are reviewed within two weeks of submission.

Full details of the conference, including an online call for papers form, are to be found at the conference website.

Yours Sincerely,

Dr Christopher Scanlon
The Globalism Institute
RMIT University, Melbourne, Australia

Note: Under new Australian Legislation, we want to ensure you are not unhappy that we contact you by email about this conference. We have identified you as an academic who teaches or researches in a technology or technology-related field and who may be interested in the themes of this conference. If you wish to discontinue email communication in relation to this conference, please inform us by reply.


There will be a meeting of Cameleon (CAMbridgE LEeds Or Norwich) on
the 23rd of this month, when several talks in set theory and combinatorics
will be presented. Details can be found at

Travel funds are available for Leeds and Norwich people to travel to 
Cambridge and to help graduate students but they are limited.

      Thomas Forster and Mirna Dzamonja


   URL:  tel: 01223-337981 and 020-7882-3659

Meeting of the Luxemburg Group (see   )

January 6-8'th 2005  the School of Mathematics, University of Bristol
will host a meeting (supported by the British Academy) of the group in
/Logical methods in Epistemology, Semantics and Philosophy of Mathematics

/which aims to investigate, and implement, the use of mathematical and
technical logical apparatus in
philosophical fields, The emphasis of this first meeting will be mainly,
but not exclusively, on /Truth
Invited speakers to date:
A. Cantini (Firenze), B.Fitelson (UCBerkeley), H.Leitgeb, (Salzburg &
Stanford), J.Ketland (Edinburgh),
V.McGee (MIT), A. Visser (Utrecht). Further information is, and will
appear, on

Volker Halbach (Oxford)
Philip Welch (Bristol)

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

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

Home Index


Page maintained by

Last modified: Mon Dec 6 09:19:34 GMT 2004