BRITISH LOGIC COLLOQUIUM Registered Charity No 275541 http://www.cs.bham.ac.uk/~exr/blc 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 (3) AiML-2008: DEADLINE: 31 March 2008 - SITE OPEN FOR SUBMISSIONS (4) Workshop Non-classical Logics: from Foundations to Applications, April 2008, Pisa: grants for PhD students -------------------------------------------------------- (1) ANNOUNCEMENT OF 4th MATHLOGAPS TRAINING WORKSHOP 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 PROGRAMME and ACCOOMODATION DETAILS AND AND REGISTRATION FORMS CAN BE FOUND AT THE WEBSITE http://www.mims.manchester.ac.uk/events/courses/mathlogaps08/ Organisers * Peter Aczel* Jeff Paris * Mike Prest * Marcus Tressl * Alena Vencovska * Alex Wilkie * George Wilmers School of Mathematics, Alan Turing Building, The University of Manchester, Manchester, M13 9PL UK ----------------------------------------------------------------------- (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 http://www.easychair.org/conferences/?conf=loccol08 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: www.flu.cas.cz/colloquium The conference mail: colloquium@flu.cas.cz --------------------------------------------------------------------- (3) Just a reminder of the AiML deadline (31/03); website http://aiml08.loria.fr --------------------------------------------------------------------- (4) WORKSHOP ANNOUNCEMENT Non-classical Logics: from Foundations to Applications, 24-26 April 2008, Centro di Ricerca Matematica E. de Giorgi, Pisa http://homepage.sns.it/hosni/ncl08/ ------------------------------------------------------------ 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 http://homepage.sns.it/hosni/ncl08/borse.html Deadline for application: 1 April 2008 --------------------------------------------------

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