BLC Newsletter March 2008 (2)

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]

Dear members,

there are some workshop and conference announcements which
have deadlines in April, so here is a second March newsletter...

Best wishes, Natasha.


(1) 4th MATHLOGAPS training workshop

(2) Colloquium on Logic of Change


(4) Workshop Non-classical Logics: from Foundations
to Applications, April 2008, Pisa: grants for PhD students


           UNIVERSITY OF MANCHESTER   7th - 11th July 2008

This is a training event aimed primarily at PhD students working in
Mathematical Logic or a closely related area. MATHLOGAPS is a Marie Curie
Early Stage Training Site (running 1/9/04 - 31/8/08) funding PhD
studentships and short term visits by PhD students in mathematical logic
at the Universities of Leeds, Manchester, Lyon 1, Lyon Ecole Normale
Superieure and Munich. PhD students or others who are not part of 
the network are warmly invited to participate in the workshop.

Short lectures courses will be given by

    * Peter Aczel (Manchester): Constructive Set Theory
    * Larry Moss (Indiana): Coalgebra and Circularity
    * Jouko Vaananen (Amsterdam & Helsinki): Playing Games on Models
    * Alex Wilkie (Manchester): An introduction to O-minimal Structures



    * Peter Aczel 
    * Jeff Paris 
    * Mike Prest
    * Marcus Tressl
    * Alena Vencovska 
    * Alex Wilkie
    * George Wilmers 

 School of Mathematics,
 Alan Turing Building,
 The University of Manchester,
 M13 9PL

(2) Logic of change, change of logic

Villa Lanna, Prague, 10 - 14 September 2008.

Tools from logic and mathematics have played a central role in models
of human beliefs, of human desires and preferences and indeed the
actions which are based on them. However, beliefs, preferences and
perhaps even desires change. Thus the development, which has been
greatly accelerated in recent times, of extensions of the logical and
mathematical techniques to account for the problems of change. However,
as different paradigms (AGM theory and dynamic logic in the 'logic'
camp, Bayesian update and Jeffrey conditionalisation in the probability
camp, to take just a few examples of theories of belief change) jostle
to impose themselves, it is perhaps the moment to take a step back and
ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is
at the heart of this colloquium / workshop. The aim is to bring
together specialists working on the problem of attitude change, from a
wide range of paradigms, to present and discuss their views on the
objectives of theories of change. The ambition is to identify the main
issues for theories of change, and clarify the major positions one
could hold concerning the project of understanding or modelling
attitude change.

Philosophical and methodological contributions, and technical
contributions with methodological or philosophical reflections are
welcome. Relevant questions include:

1. What are the criteria for evaluating theories / models for change?
To what extent to current theories satisfy these criteria?
2. What are the consequences of understanding these questions
descriptively rather than normatively?
3. What is the relationship between belief change and utility /
preference change?
4. What is the relationship between the problem of attitude change and
the general problem of rational action?
5. What are the different types of change? Is there an important
difference between change and learning? Between sudden and gradual
change? Are there different triggers for different types of change? How
are they to be dealt with by the theory?
6. Can or should one expect a 'general' theory of (eg.) belief revision
(covering, for example, the different rules for iterated belief
revision)? And a 'general' theory of belief change, integrating methods
for informational and factual change (for example, belief revision and
belief update)
7. What is the importance of completeness results / representation
theorems / computational results (establishing, for example, the
complexity of different revision methods) etc. for the problem of
understanding change?
8. What role can mathematical tools for dealing with change, eg. the
notion of continuity, play in theories of attitude change?

Invited speakers (list to be finalised):
Alexandru Baltag, Richard Bradley, Sven Ove Hanssen, David Makinson,
Hans Rott, Johan van Benthem, Hans van Ditmarsch

Programe committee:
Alexandru Baltag, Richard Bradley, Sven Ove Hanssen, Brian Hill,
David Makinson, Ondrej Majer, Hans van Ditmarsch

Organising committee:
Brian Hill, Ondrej Majer, Michal Peli

Deadline for submissions: 1 May 2008

Submissions of abstracts of not more than 1000 words should be made
online, in PDF format, at
Please, note that you have to create an easychair-account befor
submitting your paper. Submissions will be peer-reviewed, and thus
should be prepared for blind review.

The conference website:
The conference mail:


(3) Just a reminder of the AiML deadline (31/03); 


Non-classical Logics: from Foundations
to Applications, 24-26 April 2008,
Centro di Ricerca Matematica E. de Giorgi, Pisa


List of invited speakers:

     *  Stefano Aguzzoli (Universit di Milano)
     * Matthias Baaz (Vienna, Tech. Universitaet)
     * Simone Bova (Universit di Siena)
     * Carlos Caleiro (Instituto Superior Tcnico, Lisboa)
     * Agata Ciabattoni (Vienna, Tech. Universitaet)
     * Chris Fermueller (Vienna, Tech. Universitaet)
     * Tommaso Flaminio (Universit di Siena)
     * Petr Hjek (Academy of Sciences, Prague)
     * Wiebe van der Hoek (University of Liverpool)
     * Alexander Leitsch (Vienna, Tech. Universitaet)
     * Vincenzo Marra (Universit di Milano)
     * Jeff Paris, (University of Manchester)
     * Gregory Wheeler (Universidade Nova de Lisboa)
     * Jon Williamson (University of Kent)

There are a number of *grants for PhD students* to attend the workshop 
covering accommodation and meals (and possibly travel expenses). To 
apply see

Deadline for application: 1 April 2008


Home Index


Page maintained by

Last modified: Fri Mar 28 18:35:04 GMT 2008