BLC Newsletter September 2005


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

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,

We had an excellent Annual Meeting in Bristol, September 1-3, and it
was really nice to see how many of us turned up. Thanks to the organisers
and the speakers for such a successful meeting. Our next meeting is in
Oxford, and will take place between September 7 and September 9 2006.
   Some announcements follow,
         best wishes, Mirna.
---------------------------------------------------------------
(1) a book announcement
(2) Modnet announcements
(3) de Morgan workshop 2005
(4) CiE 2006, Swansea
-----------------------------------------------------------------
-----------------------------------------------------------------
(1)



Representation and Inference for Natural Language: A First Course in
Computational Semantics, by Patrick Blackburn and Johan Bos.  CSLI
Studies in Computational Linguistics, CSLI Publications, Stanford,
2005.  ISBN 1575864967 (Paperback) ISBN 1575864959 (Hardback).

Can meaning be represented in ways that computers can make use of?
Can computers distinguish coherent from incoherent utterances, and
judge whether a sentence contains new information?  This book, the
first wholly devoted to computational semantics for natural language,
takes such questions as its starting point. It provides a thorough
introduction to the underlying theoretical issues (first-order logic,
lambda-driven semantic construction, underspecified representations,
propositional and first-order inference) and PROLOG implementations of
the techniques it describes.  For more information, see
www.blackburnbos.org.






-- 
----------------------------------------------
Patrick Blackburn, INRIA Lorraine.

INRIA Lorraine, 615 rue du Jardin Botanique, 54602 Villers les Nancy Cedex, France.

Tel: +33 (0)3 83 59 30 52 (Office)
Fax: +33 (0)3 83 41 30 79

E-mail: patrick.blackburn@loria.fr URL:    http://www.loria.fr/~blackbur/
-----------------------------------------------

(2)



Dear Colleague,

The European network MODNET, in Model theory and Applications,
http://www.logique.jussieu.fr/modnet
is offering new  Postdoc positions starting in 2006.

An announcement for these positions is attached. It might be of
interest
to both model theorists and non model theorists working in some of
the fields
related to the applications of model theory.
Could you please make this known to the students, young researchers
and
colleagues who might be interested.

The Network also has a 3-year PhD position still available in
Freiburg. If you know of anyone who might be interested, please could
you refer them to
http://www.logique.jussieu.fr/modnet/positions/PhD.html#Freiburg

I have also attached an annoucement of the first Modnet training
event: a 'Summer School' in model theory to be held at the University
of Leeds, UK,  in December 2005.

With best wishes,

David Evans
Modnet Coordinator.

(3)



      -----===============================-----
              7th Augustus de Morgan Workshop
                    INTERACTIVE LOGIC:
                Games and Social Software
                  King's College London
                   November 4-7, 2005

               http://www.illc.uva.nl/ADMW05/
         -----===============================-----

                  CALL FOR SHORT PAPERS

Traditionally, logic has dealt with the zero-agent notion of truth and the
one-agent notion of reasoning. In the last decades, research focus in
logic shifted from these topics to the vast field of "interactive logic",
encompassing logics of communication and interaction. The main
applications of this move to n-agent notions are logical approaches to
games and social software. The wealth of applications in these areas will
be the focus of the 7th Augustus de Morgan Workshop.

Invited Speakers at the workshop include S. Abramksy (Oxford), Krzyzstof
Apt (Amsterdam), Julian Bradfield (Edinburgh), Adam Brandenburger (New
York=, Erich Gr\x{FFFD}del (Aachen), Wilfrid Hodges (London), Barteld Kooi
(Groningen), Eric Pacuit (Amsterdam), Rohit Parikh (New York), Andres
Perea (Maastricht), Olivier Roy (Amsterdam), Brian Semmes (Amsterdam),
Merlijn Sevenster (Amsterdam), Jouko V\x{FFFD}\x{FFFD}n\x{FFFD}nen (Helsinki), Robert van Rooij
(Amsterdam), Wiebe van der Hoek (Liverpool), Jan van Eijck (Amsterdam),
Philip Welch (Bristol).

We have reserve two sessions in the schedule for short presentations by
other interested researchers. If you are interested in giving a short
presentation at the workshop, please submit your abstract (a few lines of
text are enough) via the online submission form on our webpage before the
deadline of OCTOBER 4TH, 2005.

For more information, please check http://www.illc.uva.nl/ADMW05/ or (for
local information) contact Jane Spurr at jane@dcs.kcl.ac.uk


-- 

Department of Computer Science,            tel: + (0)20 7848 2987
King's College, Strand,                    fax: + (0)20 7240 1071
London WC2R 2LS.                       email: jane@dcs.kcl.ac.uk

(4)



                               CiE 2006
                     Computability in Europe 2006 :
              Logical Approaches to Computational Barriers
                        30 June - 5 July 2006
                         Swansea University
                   http://www.cs.swansea.ac.uk/cie06/

                          CALL  FOR  PAPERS

                      Deadline: DECEMBER 15, 2005

CiE 2006 is the second of a new conference series on Computability
Theory and related topics which started in Amsterdam in 2005.  CiE 2006
will focus on (but not be limited to) logical approaches to
computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP
   problem;
- computable barriers connected to models of computers and
   programming languages;
- hypercomputable barriers related to physical systems.

Tutorials will be given by:
   Samuel R. Buss (San Diego)
   Julia Kempe (Paris)

Invited Speakers include (others to be announced):
   Jan Bergstra (Amsterdam)
   Luca Cardelli (Microsoft Cambridge)
   Jan Krajicek (Prague)
   Elvira Mayordomo Camara (Zaragoza)
   Istvan Nemeti (Budapest)
   Helmut Schwichtenberg (Munich)
   Andreas Weiermann (Utrecht)

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 2006.
We particularly invite papers that build bridges between different
parts of the research community.  Since women are underrepresented in
mathematics and computer science, we emphatically encourage
submissions by female authors.

The proceedings are intended to be published within Springer's LNCS
series. Important dates are:

Submission Deadline:         December 15th, 2005.
Notification of Authors:     February 15th, 2006.
Deadline for Final Version:     March 15th, 2006.

Programme Committee:
   Samson Abramsky  (Oxford)
   Klaus Ambos-Spies (Heidelberg)
   Arnold Beckmann (Swansea, co-chair)
   Ulrich Berger (Swansea)
   Olivier Bournez (Nancy)
   Barry Cooper (Leeds)
   Laura Crosilla (Firenze)
   Costas Dimitracopoulos (Athens)
   Abbas Edalat (London)
   Fernando Ferreira (Lisbon)
   Ricard Gavalda (Barcelona)
   Giuseppe Longo (Paris)
   Benedikt Loewe (Amsterdam)
   Yuri Matiyasevich (St.Petersburg)
   Dag Normann (Oslo)
   Giovanni Sambin (Padova)
   Uwe Schoening (Ulm)
   Andrea Sorbi (Siena)
   Ivan Soskov (Sofia)
   Leen Torenvliet (Amsterdam)
   John Tucker (Swansea, co-chair)
   Peter van Emde Boas (Amsterdam)
   Klaus Weihrauch (Hagen)

Confirmed sponsors:
   British Logic Colloquium (BLC)
   Kurt Goedel Society (KGS)
   Welsh Development Agency (WDA)

For more information about the conference please check the CiE
conference series http://www.illc.uva.nl/CiE/ and our web page
http://www.cs.swansea.ac.uk/cie06/

Modnet summer school, University of Leeds
Description of Modnet


Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Thu Aug 18 11:20:52 BST 2005