BLC Newsletter April 2009

Registered Charity No 275541

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]


(1) Leeds symposium on proof theory and constructivism (Leeds, July 2009)

(2) Conference Logic and Mathematics 09 (York, August 3-7 2009).

(3) CLIMA-X, 10th International Workshop on Computational Logic in
Multi-Agent Systems (Hamburg, Germany,  9th-10th September, 2009)

(4) Workshop on Logical Approaches to Barriers in Computing and
Complexity (Greifswald, Germany, February 17-20, 2010).


A two week symposium on Proof Theory and Constructivism will be
held in the Research Visitors Centre of the School of Mathematics
at Leeds, from 3rd July (arrival) to 16th July (departure) this year.
It will comprise three connected events, supported by the BLC,
LMS, EPSRC, the Goedel Society and the Deutsche Vereinigung fur
Math Logik und Grundlagenforschung:

4th & 5th July: An LMS-funded conference on Proofs and Computations
with speakers W. Buchholz (Munich), E.A. Cichon (Nancy), D. Normann
(Oslo), W.W. Tait (Chicago), J.V. Tucker (Swansea), A. Weiermann (Ghent).
This meeting will be in honour of Stan Wainer on the occasion of
his 65th birthday.

5th & 6th July: A Gentzen Centenary Conference funded by the Goedel
Society and DVMLG, celebrating 100 years since the birth of Gerhard
Gentzen, the founder of structural proof theory. Speakers who have
so far agreed to come are: M. Baaz (Vienna), G. Mints (Stanford),
J. von Plato (Helsinki), W. Pohlers (Muenster), H. Schwichtenberg
(Munich), W. Sieg (CMU Pittsburgh), G. Sundholm (Leiden).

7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory
and Constructivism. Though each day will begin with two plenary
sessions, the emphasis will be on research activity within the areas:
Ordinal Analysis, Proof Mining and Complexity, Constructive
Foundations, and Constructive Methods in Mathematics. In addition
to many of those aforementioned, the following have already indicated
their intention to participate, and others (yet to be announced) are
expected to come: P.Aczel (Manchester), T. Arai (Kobe), A. Beckmann
(Swansea), U. Berger (Swansea), D. Bridges (Christchurch), S. Buss
(San Diego), A. Cantini (Florence), T. Carlson (Columbus), R. Constable
(Cornell), T. Coquand (Gothenberg), F. Ferreira (Lisbon), H. Friedman
(Columbus), N. Gambino (Leicester), P. Hancock (Strathclyde),
M. Hyland (Cambridge), G. Jaeger (Bern), H. Ishihara (JAIST),
U. Kohlenbach (Darmstadt), R. Lubarsky (Florida), S. Neggri
(Helsinki), E. Palmgren (Uppsala), G. Sambin (Padua), P. Schuster
(Munich), A. Setzer (Swansea), H. Simmons (Manchester), T. Strahm (Bern),
W. Tait (Chicago), S. Tupailo (Tallinn), A. Weiermann (Ghent).

Limited support is available for younger researchers, who are
encouraged to attend.
Basic accommodation is available at modest cost, at Lyddon Hall on
the Leeds University Campus close to the School of Mathematics.

For further information visit the web-site:
or contact the organisers at:

(2) Conference Logic and Mathematics 09 to be held in York in August 3-7

Support is available for UK research students.

See for details of the conference, and
contact Nigel Cutland for information about possible support.


(3) CLIMA-X: 10th International Workshop on Computational Logic
in Multi-Agent Systems

          Hamburg, Germany  9th-10th September, 2009

 [ ]

The 10th International Workshop on Computational Logic in Multi-Agent
Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and
10th September.  CLIMA-X will be co-located with the 7th German
Conference on Multi Agent System Technologies (MATES); see

Multi-Agent Systems are communities of problem-solving entities that
can perceive and act upon their environment in order to achieve both
their individual goals and their joint goals. The work on such systems
integrates many technologies and concepts from artificial intelligence
and other areas of computing as well as other disciplines. Over recent
years, the agent paradigm gained popularity, due to its applicability
to a full spectrum of domains, such as search engines, recommendation
systems, educational support, e-procurement, simulation and routing,
electronic commerce and trade, etc. Computational logic provides a
well-defined, general, and rigorous framework for studying the syntax,
semantics and procedures for the various tasks in individual agents,
as well as the interaction between, and integration amongst, agents in
multi-agent systems. It also provides tools, techniques and standards
for implementations and environments, for linking specifications to
implementations, and for the verification of properties of individual
agents, multi-agent systems and their implementations.

In this workshop we aim to bring together researchers from all these
areas to discuss and present their work.

Finally, note that CLIMA-X will also incorporate the results of this
year's Multi-Agent Contest (see

Relevant topics include, but are not limited to, the following (all
with a focus on agents, multi-agent systems, or agent organisations):

    * logical foundations
    * extensions of logic programming
    * modal logic approaches
    * logic-based programming languages
    * non-monotonic reasoning
    * decision theory
    * hypothetical reasoning and learning
    * knowledge and belief representation and updates
    * operational semantics and execution agent models
    * model checking approaches using (multi-)agent logics
    * semantics of interaction and agent communication languages
    * distributed constraint satisfaction
    * temporal reasoning
    * distributed theorem proving
    * logic-based implementations
    * specification and verification of formal properties

We invite submissions of high quality, original papers, which are not
simultaneously submitted for publication elsewhere. Papers should be
written in English, formatted according to the Springer Verlag LNCS
style, which can be obtained from, and
not exceed 16 pages including figures, references, etc. Each paper
should include some examples illustrating the proposed techniques.

Submissions must be made via

Submissions will be reviewed and selected and a printed volume of the
proceedings will be available at the workshop. A selection of extended
workshop papers will be published in a Post-Proceedings volume within
the Springer Verlag LNAI series, as in previous years; see

Submission Deadline:   22nd June 2009
Notification:          16th July 2009
Camera Ready Copy Due: 10th August 2009
CLIMA X:                9th-10th September 2009

 Juergen Dix        (Clausthal, DE)
 Michael Fisher     (Liverpool, UK)
 Peter Novak        (Clausthal, DE)

   Thomas Agotnes         (Bergen, NO)
   Natasha Alechina       (Nottingham, UK)
   Jose Julio Alferes     (Lisbon, PT)
   Rafael Bordini         (Durham, UK)
   Gerhard Brewka         (Leipzig, DE)
   Keith Clark            (Imperial, UK)
   Stefania Costantini    (L'Aquila, IT)
   Mehdi Dastani          (Utrecht, NL)
   Juergen Dix            (Clausthal, NL)
   Louise Dennis          (Liverpool, UK)
   Chiara Ghidini         (Trento, IT)
   James Harland          (RMIT, AUS)
   Hisashi Hayashi        (Toshiba, JP)
   Koen Hindriks          (Delft, NL)
   Wiebe van der Hoek     (Liverpool, UK)
   Katsumi Inoue          (NII, JP)
   Wojtek Jamroga         (Clausthal, DE)
   Viviana Mascardi       (Genoa, IT)
   Paola Mello            (Bologna, IT)
   John-Jules Meyer       (Utrecht, NL)
   Leora Morgenstern      (Stanford, USA)
   Naoyuki Nide           (Nara, JP)
   Mehmet Orgun           (Macquarie, AUS)
   Maurice Pagnucco       (NSW, AUS)
   Jeremy Pitt            (Imperial, UK)
   Enrico Pontelli        (New Mexico, USA)
   Chiaki Sakama          (Wakayama, JP)
   Renate Schmidt         (Manchester, UK)
   Tran Cao Son           (New Mexico, USA)
   Kostas Stathis         (RHUL, UK)
   Michael Thielscher     (Dresden, DE)
   Marina de Vos          (Bath, UK)
   Cees Witteveen         (Delft, NL)


(4) Workshop on Logical Approaches to Barriers in Computing and
February 17-20, 2010, Greifswald, Germany.

The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen
der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki
i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe"
(ACiE) and the "European Association for Computer Science Logic"
(EACSL) jointly organize this workshop.  The workshop is sponsored by
the Stiftung Alfried Krupp Kolleg Greifswald, and takes place at the
Alfried Krupp Wissenschaftskolleg in Greifswald, Germany.

Keynote speakers are Alessandra Carbone (Paris, France), Lance Fortnow
(Evanston, IL, U.S.A.), Erich Graedel (Aachen, Germany), Pascal Koiran
(Lyon, France), Leszek Kolodziejczyk (Warsaw, Poland), and Antonina
Kolokolova (St.John's, NL, Canada).  There will be a special session
on "Complexity in Arbitrary Structures" organised by Christine Gassner
(Greifswald, Germany) and Martin Ziegler (Paderborn, Germany).
The Programme Committee consists of  Zofia Adamowicz, Franz Baader,
Arnold Beckmann (chair), Sam Buss, Manfred Droste, Christine Gassner,
Peter Koepke, Benedikt Loewe, Johann Makowsky, Elvira Mayordomo,
Damian Niwinski, Wolfgang Thomas, and Martin Ziegler.

The Programme Committee cordially invites all researchers in the area
of the workshop to submit their extended abstracts for presentation at
the workshop.  Further details about submission can be found on our
website  The deadline for
submissions is 15 September 2009.

Home Index


Page maintained by

Last modified: Wed May 27 16:22:47 BST 2009