BLC Newsletter November 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/

                    FIRST CALL FOR PAPERS

                          AiML-2006
                   Advances in Modal Logic
           25-28 September 2006, Noosa (Queensland, Australia)


DEADLINE: 27 March 2006

Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series.

TOPICS
We invite submission on all aspects of modal logics, including
the following:

>  applications of modal logic
>  computational aspects of modal logics
    o complexity and decidability of modal and temporal logics
    o modal and temporal logic programming
    o model checking
    o theorem proving for modal logics
>  history of modal logic
>  philosophy of modal logic
>  specific instances of modal logic
    o description logics
    o dynamic logics and other process logics
    o epistemic and deontic logics
    o modal logics for agent-based systems
    o modal logic and game theory
    o modal logic and grammar formalisms
    o provability and interpretability logics
    o spatial and temporal logics
>  theoretical aspects of modal logic
    o algebraic and coalgebraic perspective on modal logic
    o completeness and canonicity
    o correspondence and duality theory
    o many-dimensional modal logics
    o modal fixed point logics
    o model theory of modal logic
    o proof theory of modal logic
>  variations of modal logic
    o hybrid logic
    o intuitionistic logic
    o monotonic modal logic
    o substructural logic


Papers on related subjects will also be considered.

INVITED SPEAKERS
Invited speakers will include:

  o Renate Schmidt (Manchester, UK)
  o Valentin Shehtman (Moscow, Russia)
  o Igor Walukiewicz (Bordeaux, France)
  o Alberto Zanardo (Padua, Italy)

PAPER SUBMISSION
The Proceedings of AiML 2006 will be published by College Publications
www.dcs.kcl.ac.uk/kcl-publications/
In a change from previous AiMLs, the proceedings will be made available
at the meeting.  Authors are invited to submit a full paper (not just an
abstract) of at most 15 pages plus optionally a technical appendix of up
to 5 pages, together with a plain-text abstract of say 100-200 words.
To be considered, submissions must be received no later than 27 March 2006.
Papers must be submitted as .ps or .pdf files. The first page should
include title, names of authors, the co-ordinates of the corresponding
author, and some keywords describing the topic of the paper. More precise
details will be available at www.itee.uq.edu.au/~aiml06/

To appear in the proceedings, papers must be prepared in LaTeX using the
style files to be provided at www.itee.uq.edu.au/~aiml06/. At least one
author of each accepted paper must register for and attend the conference
to present the paper.


PROGRAMME COMMITTEE
Alessandro Artale     (Free University of Bolzano, Italy)
Alexandru Baltag      (University of Oxford, UK)
Guram Bezhanishvili   (New Mexico State University, USA)
Julian Bradfield      (University of Edinburgh, UK)
Melvin Fitting        (City University of New York, USA)
Guido Governatori     (University of Queensland, Australia)
Silvio Ghilardi       (University of Milano, Italy)
Rob Goldblatt         (Victoria University Wellington, New Zealand)
Valentin Goranko      (University of the Witwatersrand, South Africa)
Rajeev Gore           (Australian National University, Australia)
Ramon Jansana         (University of Barcelona, Spain)
Alexander Kurz        (University of Leicester, UK)
Carsten Lutz          (Dresden University of Technology, Germany)
Maarten Marx          (University of Amsterdam, Netherlands)
Martin Otto           (Technical University of Darmstadt, Germany)
Graham Priest         (University of Melbourne, Australia)
Mark Reynolds         (University of Western Australia, Australia)
Ildiko Sain           (Hungarian Academy of Sciences, Hungary)
Renate Schmidt        (University of Manchester, UK)
Jerry Seligman        (University of Auckland, New Zealand)
Nobu-Yuki Suzuki      (Shizuoka University, Japan)
Heinrich Wansing      (Dresden University of Technology, Germany)
Frank Wolter          (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME CO-CHAIRS
Ian Hodkinson
Imperial College London
imh@doc.ic.ac.uk

Yde Venema
University of Amsterdam
yde@science.uva.nl

LOCAL ORGANIZERS
Guido Governatori
School of Information Technology and Electrical Engineering
The University of Queensland
guido@itee.uq.edu.au

IMPORTANT DATES
Submission deadline: 27 March 2006
Acceptance notification: 26 May 2006
Final version for conference due: 30 June 2006
Conference: 25-28 September 2006

CONFERENCE LOCATION
Advances in Modal Logic 2006 will be held at Australis Noosa Lakes
Conference Centre located at Noosaville, Noosa, Sunshine Coast,
Queensland.

The Sunshine Coast's white surf beaches stretch for about forty miles,
broken only by an occasional headland or the clear water of a river
estuary. Coastal townships like Caloundra, Mooloolaba, Maroochydore,
Coolum and Noosa are synonymous with the traditional Australian beach
vacation.  In the green, subtropical hills behind the Sunshine Coast,
among the pineapple and sugar cane farms, are country hamlets. Old
pubs serve excellent counter lunches on open verandas that overlook
green valleys. Painters, potters and other artisans are drawn here by
the tranquillity, the easy pace and the natural beauty.

Noosa and Noosa National Park are legendary in Australia. The
protected cove beach virtually guarantees perfect surf year round and
the stroll around the headland through the National Park rewards you
with spectacular seascapes. Hastings Street, the hub of Noosa, is a
mecca for designer label shoppers and discerning diners.

For more details, see http://www.tourismnoosa.com.au/


FURTHER INFORMATION
Information about AiML-2006 can be obtained at
http://www.itee.uq.edu.au/~aiml06/

E-mail enquiries about AiML-2006 should be directed to the local
organizers or the program co-chairs.

Information about AiML can be obtained at
http://www.aiml.net

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