BLC Newsletter March 2006

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,

Here is the new edition of our newsletter, best wishes to all
        Mirna
-----------------------------------------------------------
(1) A meeting in Leeds "Around o-minimality from March 11 to 13
inclusive, pdf file attached (see link at the end)
(2) Kielce Topology Conference, August 20-25, 2006
(3) LICS Newsletter 103
(4) Special Semester on Grobner Bases 2006
(5) Spring Topology Conference, Greensboro, March 23-25, 2006
(6) Modnet Newsletter 4, pdf file attached (see link at the end)
(7) BPA Interim Newsletter
(8) Set theory and its neighbours meets the Cameleon, London, March 15
(9) Topology News
(10) Advances in Modal Logic
            25-28 September 2006, Noosa (Queensland, Australia)
(11) MATHEMATICAL ASPECTS OF COMPUTATION

              Wednesday 8 March, 2006, University of Leeds
-------------------------------------------------------------------------
-------------------------------------------------------------------------

(2)
Dear All,

You are cordially invited to attend the International Conference on
Set-theoretic topology to be held on August 20-25 in the Swietokrzyskie
Mountains near Kielce (Poland). The organizing institution is Department of
Mathematics of the Swietokrzyska Academy in Kielce, Poland.

Till now the following mathematicians have accepted our invitation to give
plenary talks:

     Matatyahu Rubin (Ben Gurion University, Israel)
     Juris Steprans (York University, Canada)
     Stevo Todorcevic (CNRS Paris, France, and University of Toronto,
Canada)


The total cost of the conference (including accommodation and meals) should
not exceed 160 euro.

The website of the conference is

  http://www.pu.kielce.pl/~topoconf/

 E-mail: topoconf@pu.kielce.pl

More information coming soon -- please check the conference webpage from
time to time.

We would like to point out that our conference starts just after the 10th
Prague Topological Symposium (see http://toposym.mff.cuni.cz/).

     With best regards,

          Wieslaw Kubis
        (on behalf of the organizers)

(3)

Newsletter 103
January 29, 2006

*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to lics@informatik.hu-berlin.de
*******************************************************************


TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  MFPS 2006 - Call for Papers
  ICCL Summer School 2006
  FLoC 2006 - Call for Papers
  LCC 2006 - Call for Papers
  STRATEGIES 2006 - Call for Papers
  GLOBAN Summer School 2006 - Call for Participation
  RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE 2006
* AWARDS
  ACKERMANN AWARD - Call for Nominations
* VACANCIES
  Tenure Track Professor Positionsm Universite Du Quebec a Montreal, Montreal, Canada
  PhD-Position at the University of Marburg, Germany



MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS 2006)
   May 24 - May 27, 2006
   Genova, Italy
* We are now accepting submissions for MFPS 22.
* The invited speakers for MFPS 22 include
  - Marcelo Fiore (Cambridge)
  - Eugenio Moggi (Genova)
  - Prakash Panangaden (McGill)
  - Davide Sangiorge (Bologna)
  - Peter Selinger (Dalhousie) and
  - Steve Zdancewic (Penn) * In addition, there will be special sessions on security, on timed
  systems, and on quantum computing. There also will be a Tutorial Day
  on May 23 on Separation Logic; the lecturers will be Stephen Brookes
  (CMU), Peter O'Hearn (QMW) and John Reynolds (CMU). * Researchers are encouraged to submit papers in programming
  semantics, its mathematical and logical foundations and related areas,
  as well as in the areas listed above.  Submissions should be made in
  the form of a PostScript or pdf file thact can be printed on any
  standard printer. The deadline for submissions is Midnight, Pacific
  Standard Time, Wednesday, February 22, 2006.
* More information about the meeting together with precise
  instructions about submissions can be found at the MFPS 22 web page
  http://www.math.tulane.edu/~mfps/mfps22.htm


ICCL SUMMER SCHOOL 2006 ON KNOWLEDGE STRUCTURES
   June 24 - July 8, 2006
   Technische Universität Dresden
   Call for Participation
* See http://www.computational-logic.org/iccl-ss-2006 for more information.
* TOPIC
  The topic of this year's summer school is
                KNOWLEDGE STRUCTURES
   It is common wisdom that the still growing power of
   digital data processing greatly enhances the wealth of
   human knowledge and will continue to do so. A
   precondition for this is, however, that knowledge is
   encoded and represented in a computer-accessible manner,
   such that it can be algorithmically processed. This
   requires, in turn, the use of appropriate formal
   structures for knowledge representation and knowledge
   processing. Such structures, called `Knowledge
   Structures', will be the topic of this year's ICCL summer
   school. There are many approaches to this topic ranging
   from formal logics, to mathematical and data mining
   methods. The summer school's focus is on the following
   three areas:
   - Logic, with Description Logic and Inductive Logic Programming,
   - Cluster Methodology, with applications to text clustering and
     Semantic Web mining, and
   - Formal Concept Analysis, with applications to Ontologies and
     Machine Learning.
   The basic ideas of these areas will be introduced and
   discussed, with the aim of providing a broad
   methodological repertoire for future research and
   applications.
* REGISTRATION
   If you want to attend the summer school, we'd prefer that
   you register by March 18, 2006. (See the online registration on the
   web page mentioned above.) For all who want to apply for a grant,
   this deadline is obligatory. After March 18, 2006, registration
   will be possible as long as there are vacant places.
   (Since we intend to restrict participation to about 60
   people, in case of excessive demand, we will have to
   close the registration to the summer school.)
   People applying until March 18, 2006, and applying for a
   grant will be informed about respective decisions on
   grants by end of March 2006.
* FEES
   We ask for a participation fee of 150 EUR. * GRANTS
   A limited number of grants may be available, please indicate
   in your application if the only possibility for you to
   participate is via a grant. Applications for grants must
   include an estimate of travel costs and they should be sent
   together with the registration.
* INTEGRATED WORKSHOP
   It will be possible for some participants to present
   their research work during a small workshop integrated in
   the summer school. If you would like to do so, please
   register by means of the online workshop registration
   form on the web page mentioned above.
* COURSE PROGRAM
   - Finger Exercises in Formal Concept Analysis.
     Bernhard Ganter (Technische Universität Dresden)
   - Knowledge, Reasoning, and the Semantic Web.
     Pascal Hitzler (AIFB Universität Karlsruhe)
   - Text clustering and Semantic Web mining.
     Andreas Hotho (Universität Kassel)
   - Inductive Logic Programming.
     Stefan Kramer (Technische Universität München)
   - Cluster Methodology.
     Sabine Krolak-Schwerdt (Universität Saarbrücken)
   - Machine Learning and Formal Concept Analysis.
     Sergei Kuznetsov (VINITI, Moscow, Russia)
   - Reasoning in Description Logics.
     Franz Baader (Technische Universität Dresden)
* PEOPLE INVOLVED
   Chairs of the ICCL Summer School 2006
   - Bernhard Ganter
   - Steffen Hölldobler
   Organizing Committee
   - Julia Koppenhagen
   - Bertram Fronhöfer




THE 2006 FEDERATED LOGIC CONFERENCE FLOC'06
   August 10 -- August 22, 2006
   Seattle, Washington, USA
   http://research.microsoft.com/floc06/
   Call for Papers
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
  hosted the first Federated Logic Conference (FLoC). It was modeled
  after the successful Federated Computer Research Conference (FCRC),
  and synergetically brought together conferences that apply logic to
  computer science.  The second Federated Logic Conference (FLoC'99) was
  held in Trento, Italy, in 1999, and the third (FLoC'02) was held in
  Copenhagen, Denmark, in 2002.
* The Fourth Federated Logic Conference (FLoC'06) will be held in Seattle,
  Washington, in August 2006, at the Seattle Sheraton
  (http://www.sheraton.com/seattle).
* The following conferences will participate in FLoC'06:
  - Int'l Conference on Computer-Aided Verification (CAV)
  - Int'l Conference on Rewriting Techniques and Applications (RTA)
  - IEEE Symposium on Logic in Computer Science (LICS)
  - Int'l Conference on Logic Programming (ICLP)
  - Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
  - Int'l Joint Conference on Automated Reasoning (IJCAR)
* In addition, FLoC'06 will host 42 workshops.  Pre-conference workshops
  will be held on August 10-11.  LICS, RTA, and SAT will be held in
  parallel on August 12-15, to be followed by mid-conference workshops
  and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in
  parallel on August 16-21, to be followed by post-conference workshops
  on August 21-22.  Plenary events involving all the conferences are
  planned.
* Calls for papers for the conferences and workshops are available
  at the conference website: http://research.microsoft.com/floc06/.
  We invite you to submit papers to FLoC'06 conferences and workshops.
* FLoC'06 Steering Committee
  - Moshe Y. Vardi      (General Chair)
  - Jakob Rehof         (Conference Chair)
  - Edmund Clarke       (CAV)
  - Reiner Hahnle       (IJCAR)
  - Manuel Hermenegildo (ICLP)
  - Phokion Kolaitis    (LICS)
  - Henry Kautz         (SAT)
  - Aart Middeldorp     (RTA)
  - Andrei Voronkov     (IJCAR)



WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'06)
  (affiliated with LICS 2006)
  Call for Papers
  Seattle, USA, August 10-11, 2006.
  http://www.cis.syr.edu/~royer/lcc/LCC06/
* Topics of interest include:
  complexity analysis for functional languages,
  complexity in database theory,
  complexity in formal methods,
  computational complexity in higher types,
  formal methods for complexity analysis of programs,
  foundations of implicit computational complexity,
  logical & machine-independent characterizations of complexity classes,
  logics closely related to complexity classes,
  proof complexity
  semantic approaches to complexity,
  software that applies LCC ideas,
  type systems for controlling complexity
* All submissions must be done electronically.
  See the workshop webpage for details.
* Submission Deadline : June 12, 2006
* Program committee:
  Georg Gottlob (University of Oxford)
  Neil Immerman (University of Massachusetts, Amherst) co-chair
  Russell Impagliazzo (University of California, San Diego)
  Neil Jones (University of Copenhagen)
  Bruce Kapron (University of Victoria) co-chair
  Harry Mairson (Brandeis University)
  Karl-Heinz Niggl (University of Technology, Ilmenau)
  Toniann Pitassi (University of Toronto)
  Thomas Schwentick (University of Dortmund)
  Colin Stirling (University of Edinburgh)




STRATEGIES 2006
   Sixth International Workshop on Strategies in Automated Deduction
   A FLoC'06 Affiliated Workshop
   http://research.nianet.org/strategies06
* This workshop is a successor to both the series of STRATEGIES
  workshops associated with CADE and IJCAR and to the STRATA 2003
  workshop associated with TPHOLs.  Papers and participation are invited
  from both the fully automatic and interactive theorem proving
  communities.
* For the full Call for Papers see:
  http://research.nianet.org/strategies06/cfp.html




GLOBAN SUMMER SCHOOL 2006: THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF
SYSTEMS
  Technical University of Denmark
  August 21-25, 2006
  Call for Participation
  http://www.imm.dtu.dk/globan
* The one-week GLOBAN summer school will give doctoral students
  and other young researchers a comprehensive overview of
  contemporary techniques for analysis and verification of
  models of global computing systems characterized by
  concurrency, communication, heterogeneity and distribution.
  The school is organised by IMM/DTU in association with the
  SENSORIA project.
* Lecturers.
  Process Algebras and Concurrent Systems
  (Rocco De Nicola, University of Florence, Italy)
  Equality of processes: equivalences and proof techniques
  (Davide Sangiorgi, University of Bologna, Italy)
  Flow Logics
  (Flemming Nielson, Technical University of Denmark)
  Computing with relations using Horn clauses
  (Helmut Seidl, Technical University of Munich, Germany)
  Type systems
  (Vasco Vasconcelos, University of Lisbon, Portugal)
  Modal logics
  (Luís Caires, New University of Lisbon, Portugal)
  Model checking
  (Kim Guldstrand Larsen, University of Aalborg, Denmark)
  Stochastic modelling
  (Stephen Gilmore, University of Edinburgh, Scotland)
* Details of registration, participant fees and a grant scheme
  will be posted on webpage by March 1, 2006
* For details see webpage


RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
  Second Call for Papers
  Manchester, UK, 29 Aug-2 Sep 2006
  www.cs.man.ac.uk/relmics06/
* The RelMiCS Conference is the main forum for the relational
  calculus as a conceptual and methodological tool.  The AKA
  Workshop is a forum on topics related to Kleene algebras. As in
  previous years, the two events are co-organised; they have a
  joint programme committee and joint proceedings. * Topics: Relation algebras, Kleene algebras, related formalisms
  such as process algebras, fixed point calculi, idempotent
  semirings, quantales, allegories, dynamic algebras, cylindric
  algebras, and their applications.  Special focus will be on
  formal methods for software engineering, logics of programs and
  links with neighbouring disciplines. * Invited speakers:
   - Ernie Cohen, Microsoft, USA
   - Roger D. Maddux, Iowa State University, USA
   - Jeff Sanders, Oxford University, UK
* Important dates:
   - Abstract submission: 27 February 2006
   - Paper submission:    6 March 2006
* Paper submission: Authors are invited to submit papers of at
  most 15 pages in LNCS style. * Publication details: The proceedings of the conference will be
  published in the Springer LNCS series.
* Student programme: A PhD training programme will be
  co-organised with the conference.
   - Application submission: 30 May 2006
* Programme committee: Roland Backhouse, Brandon Bennett, Rudolf
  Berghammer, Stephane Demri, Jules Desharnais, Zoltan Esik,
  Marcello Frias, Hitoshi Furusawa, Stephane Gaubert, Steven
  Givant, Valentin Goranko, Martin Henson, Ali Jaoua, Peter
  Jipsen, Wolfram Kahl, Yasuo Kawahara, Zhiming Liu, Bernhard
  Moeller, Damian Niwinski, Ewa Orlowska, Alban Ponse, Ingrid
  Rewitzky, Ildiko Sain, Holger Schlingloff, Gunther Schmidt,
  Renate Schmidt (General Chair), Giuseppe Scollo, Georg Struth
  (PC chair), Harrie de Swart, Michael Winter. * Please consult the website for further information.



AWARD NOMINATIONS: ACKERMANN AWARD
* The EACSL Outstanding Dissertation Award for Logic in Computer
  Science (The Ackermann Award) will be presented to the recipients at
  the annual conference of the EACSL (CSL'xx). The jury is entitled to
  give more than one award per year. * Submissions for the Ackermann Award 2006
  Eligible for the 2006 Ackermann Award are PhD dissertations in
  topics specified by the EACSL and LICS conferences, which were
  formally accepted as PhD theses at a university or equivalent
  institution between 1.1.2004 and 31.12.2005. * The deadline for submission is 31.1.2006 . Submission details follow below.
* The award consists of
  - a diploma,
  - an invitation to present the thesis at the CSL conference,
  - the publication of the abstract of the thesis and the laudatio in the CSL proceedings,
  - travel support to attend the conference. * The jury consists of seven members:
  - The president of EACSL, J. Makowsky (Haifa);
  - The vice-president of EACSL, D. Niwinski (Warsaw);
  - One member of the LICS organizing committee, S. Abramsky (Oxford);
  - B. Courcelle (Bordeaux);
  - E. Graedel (Aachen);
  - M. Hyland (Cambridge);
  - A. Razborov (Moscow and Princeton); * The candidate or his/her supervisor has to submit
   1. the thesis (ps or pdf file);
   2. a detailed description (not longer than 20 pages) of the thesis
      in ENGLISH (ps or pdf file);
   3. a supporting letter by the PhD advisor and two supporting
      letters by other senior faculty or researchers in equivalent positions
      (in English); supporting letters can also be sent directly to
      J.A. Makowsky (janos@cs.technion.ac.il);
   4. a short CV of the candidate.
   5. a copy of the document asserting that the thesis was accepted as
      a PhD thesis at a recognized University (or equivalent institution)
      and that the candidate has received his/her PhD within the specified
      period (scanned as pdf-file or faxed); * The submission should be sent by e-mail as attachments to
  janos@cs.technion.ac.il
  With the following subject line and text:
  - Subject: Ackermann Award Submission
  - Text: Name of candidate, list of attachments * Submission can be sent via several e-mail messages. If this is the
  case, indicate it in the text. Letters of Support and document can
  also be faxed to
  Prof. J. Makowsky
  Ackermann Award
  +972-4-829 3900
* For more details, see http://www.dimi.uniud.it/~eacsl/award.html



VACANCY: TENURE TRACK PROFESSOR POSITIONS,
UNIVERSITE DU QUEBEC A MONTREAL, MONTREAL, CANADA
* Two tenure track positions are available at the computer science
department of UQAM.
* One position is in
  - Data Bases (Data Mining)
  and the second position is in
  - Combinatorics and Algorithms (Bio-Informatics)
* All teaching at UQAM is done in French, so a working knowledge of this
language is necessary.
* Priority will be given to Canadian citizens and landed immigrants.
* Application deadline is March 15th 2006.
* The complete announcement is available at
http://www.info.uqam.ca/Members/admin/AnnonceInformatique.pdf



VACANCY: PHD-POSITION - WISSENSCHAFTL. MITARBEITER/IN (BAT IIA) -
   University of Marburg, Germany
* The Department of Mathematics and Computer Science at the
  University of Marburg, Germany, offers a full time
  PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) -
  in the area
  Universal Coalgebra / Universal Algebra, Verification, Formal Methods.
* Prerequisites:
  Excellent degree (Diplom or Master) in Computer Science or Mathematics.
  Strong background in one or more of the above areas.
  German language fluency.
* Tasks:
  Service (organization, preparation, counselling) in teaching and
  research at the undergraduate and graduate level. PhD-Research
* The contract is initially for 1 year, with the possibility for
  extensions to a total of at most 5 years
* If you are interested, please get in touch with
  Prof. Dr. H.Peter Gumm
  gumm@mathematik.uni-marburg.de
* The official advertisement can be found at
  http://www.mathematik.uni-marburg.de/~gumm/Stelle/Stelle.pdf


(4)


CALL FOR PARTICIPATION


                   Special Semester on Gr%G�%@bner Bases 2006

directed by Bruno Buchberger, the inventor of the method.


- Learn the method%G�%@ from the%G�%@ top experts%G�%@ !
- Get information on recent applications and research !
- Contribute a presentation !

The theory of Gr%G�%@bner bases is currently one of the main techniques
in computer algebra.


The following workshops are offered in the course of the special
semester:

- Feb 06 - Feb 17: "Gr%G�%@bner Bases Theory and Applications in
Algebraic Geometry" (Chairpersons: Gert-Martin Greuel, Gerhard
Pfister)
- Feb 20 - Feb 24: "Approximate Commutative Algebra" (Chairperson:
Lorenzo Robbiano)
- Feb 27 - Mar 03: "Efficient Computation of Gr%G�%@bner Bases"
(Chairpersons: Jean-Charles Faug%G�%@re, Viktor Levandovskyy, Quoc-Nam
Tran)
- Mar 06 - Mar 10: "Formal Gr%G�%@bner Bases Theory" (Chairperson: Bruno
Buchberger)
- May 01 - May 06: "Gr%G�%@bner Bases in Cryptography, Coding Theory, and
Algebraic Combinatorics" (Chairpersons: Mikhail Klin, Ludovic Perret,
Max Sala)
- May 08 - May 17: "Gr%G�%@bner Bases in Symbolic Analysis"
(Chairpersons: Peter Paule, Dongming Wang, Markus Rosenkranz)
- May 18 - May 19: "Gr%G�%@bner Bases in Control Theory and Signal
Processing" (Chairperson: Hyungju Park)
- "Gr%G�%@bner Bases in Life Sciences", date and chairperson(s) under
negotiation.


For all details%G�%@ and registration see
http://www.ricam.oeaw.ac.at/srs/groeb/.

Workshop fee: 150 Euros per workshop.%G�%@ A limited number of%G�%@
fellowships for doc and postdoc students is available.


Best regards,
Bruno Buchberger


Bruno Buchberger
Professor of Computer Mathematics
and Director of the Softwarepark Hagenberg
Research Institute for Symbolic Computation
Johannes Kepler University, A 4232 Castle of Hagenberg, Austria
Phone office:%G���%@ ++ 43 732 2468 9921
Mobile phone:%G�%@ ++ 43%G�%@ 664 4211646
Fax:%G���������������%@ ++ 43 732 2468 9930
E-mail:%G��%@ bruno.buchberger@jku.at
home page:%G�%@ www.risc.uni-linz.ac.at/people/buchberger

 -- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Alexander Zapletal, Dipl.-Ing. Scientific Assistant of Professor Buchberger Johann Radon Institute for Computational and Applied Mathematics (RICAM)
Austrian Academy of Sciences
Altenbergerstra%G�%@e 69
A-4040 Linz, Austria
Phone office: ++43 732 2468 5253 E-mail: alexander.zapletal@oeaw.ac.at

(5)

This is the second announcement for the upcoming 40th Annual Spring Topology
and Dynamical Systems Conference to be held on the campus of the University of North Carolina at Greensboro, Greensboro, NC, U.S.A.  The dates of the conference are March 23-25, 2006.

Early Registration ends March 13, 2006 (see http://www.uncg.edu/mat/stdc/registration.html)

For complete details, please see our web page http://www.uncg.edu/mat/stdc/

The conference is organized around eighteen Keynote Lectures and four Special Sessions of selected contributed talks.

Keynote Speakers: Charles Hagopian, Sacramento, CA Elzbieta Pol, Warsaw, Poland Patricia Pellicer, Mexico City Francis Jordan, Statesboro, GA Istvan Juhasz, Budapest/Greensboro Alexander Arhangel~Rskii, Athens, OH F. Javier Trigos-Arrieta, Bakersfield, CA Raushan Buzyakova, Brooklyn, NY Jan van Mill, Amsterdam, Holland Alexander Dranisnikov, Gainesville, FL Michael W. Davis, Columbus, OH Nikolay Brodskiy, Knoxville, TN Andrzej Nagorko, Warsaw, Poland Michael Misiurewicz, Indianapolis, IN Henk Bruin, Surrey, England Brian Raines, Waco, TX Lois Kailhofer, Milwaukee, WI Jennifer Schultens, Davis, CA

Special Sessions and Organizers:

Continuum Theory: Wayne Lewis Sergio Macias Sam Nadler

Dynamical Systems: James Keesling Judy Kennedy Lex Oversteegen

General/Set Theoretic Topology: Gary Gruenhage K.P. Hart Scott Williams

Geometric Topology/Geometric Group Theory: Tadeusz Januszkiewicz Tadeusz Dobrowolski Jerzy Dydak


Local Organizers: Gregory Bell gcbell@uncg.edu Alexander Chigogidze chigogidze@uncg.edu Paul Duvall duvallp@uncg.edu Jan Rychtar rychtar@uncg.edu Jerry Vaughan vaughanJ@uncg.edu

For registration, travel, hotel and other details, see our web page: http://www.uncg.edu/math/stdc

Sincerely yours,
 Alex Chigogidze and Jerry Vaughan

(7)


To all BPA Members





BPA Interim Newsletter: February 2006



This email is intended to brief BPA members on the current and future
activities of the Association



Contents:



1. RAE: Consultation. Briefing at the BPA AGM, Southampton July 10th
2006



2. School Teachers~R Conference, Manchester November 20th 2006



3. AHRC: Lobbying on changes to PhD Submission Rates



4. Benchmarking: Consultation with Profession



5. Proposed New Membership Category: Schools and Colleges



6. BPA Elections



7. Book and Journal Discounts.



8. Visiting Philosophers



9. Next Meeting of BPA Committee





1. RAE: Consultation. Briefing at the BPA AGM, Southampton July 10th
2006





The BPA has been active in coordinating responses to the RAE
consultation process on behalf of members. The final criteria have
now been published, and although notice was taken of some of the
points made, the Philosophy Sub-Panel was disappointed to find that a
number of their recommendations, based on consultation with the
profession, were not accepted by HEFCE officials. The BPA has joined
with the Chair of the Sub-Panel, Professor Antony Duff to protest
about this situation.



It is important that all departments are aware of the details of the
criteria, and how they will be interpreted by the RAE panel.
Professor Duff has, very kindly, agreed to speak at the BPA AGM, on
Monday July 10th, at Southampton, during this year~Rs Joint Session.
In order to get the most out of this session, Professor Duff asks if
those with questions could send them in advance. The BPA has offered
to co-ordinate these questions, and asks for them to be sent to
j.wolff@ucl.ac.uk.



2. School Teachers~R Conference, Manchester November 20th 2006





A conference for school and college teachers of philosophy in the UK
is planned for 20 November, 2006, in Manchester. The conference is
being organized by the BPA, in conjunction with the Royal Institute
of Philosophy and Routledge. It will be dedicated to recent
developments in philosophy, with reference to those branches of
philosophy taught at A and A-S level. It will be entitled 'The State
of the Art'. Speakers who have agreed to present papers include Simon
Blackburn  (Cambridge) Anthony O~RHear (Royal Institute of
Philosophy) and Brad Hooker (Reading). The venue will be William
Hulme's Grammar School, thanks to the participation in the conference
organization of its head, Steve Patriarca. Enquiries to the
organiser, Professor Tom Sorrell tsorell@essex.ac.uk



3. AHRC: Lobbying on changes to PhD Submission Rates



The Arts and Humanities Research Council, which awards scholarships
to doctoral students, has, for the last few years, insisted on a
submission rate of 50%, meaning that 50% of AHRC funded doctoral
students, either in the current cohort, or in the past three years,
must submit their thesis within four years of receiving their grant.
(Allowance is made for students with a genuine excuse for late
submission. Also departments with very small numbers of funded
students are excluded from the exercise.) Departments which fail to
meet this target are blacklisted for two years, meaning that they
cannot hold doctoral awards during that time. In 2004-5 this target
was increased to 60%, and for 2005-6 the AHRC has announced plans to
increase it to 70%. This has been of great concern to a number of
departments, who point out that a target of 70% is very uneven in its
effects. For example, for a cohort of three students it is
effectively 100%. Also the penalty seems overly harsh and damaging.



The BPA has lobbied the AHRC to reconsider the issue, making a number
of suggestions for changes, and has encouraged other Subject
Associations to join in. The AHRC has promised to look at the issue
again, and we hope to have positive news to report in due course.



4. Benchmarking: Consultation with Profession





The BPA received a communication from the Quality Assurance Agency
concerning the Philosophy Benchmarking Statement, pointing out that
the statement was due for revision. The BPA carried out a
consultation among its members concerning their current use of the
statement, and whether there was a perceived need for revision. The
general view was that, aside from some minimal updating, there was no
pressing need to make substantial changes to the statement, and this
view was conveyed to the QAA. It was also communicated to the QAA, in
response to an enquiry, that the profession did not feel that a
Benchmarking Statement at MA level would serve any useful purpose.



5. Proposed New Membership Category: Schools and Colleges



The BPA is keen to increase its presence in schools and colleges of
further education where Philosophy is taught. We have now received
several enquiries asking whether schools and colleges may join the
BPA on the model of university departments. The BPA committee is in
favour of this, and will propose a constitutional amendment at the
AGM to allow this to happen.



6. BPA Elections



As in every year, 4 members of the BPA committee will come to the end
of their term. There will, therefore, be an election, and nominations
will be invited in due course.



7. Book and Journal Discounts



The BPA has negotiated discounts with a number of publishers for
books and journal subscriptions. Others are in negotiation. For
details, please see: http://www.britphil.ac.uk/discnts.htm



8. Visiting Philosophers



We maintain a list of Philosophers visiting the UK. We rely on our
members to inform us of visits of relevance, and it would be helpful
if further details could be sent to our webmaster Robin Cameron at
j.r.cameron@abdn.ac.uk

Current details are posted at http://www.britphil.ac.uk/visitors.htm



9. Next Meeting of BPA Committee



The next meeting of the BPA Committee will take place on 31st March.
Members who wish particular issue to be raised should contact the
Honorary Secretary, Jo Wolff at j.wolff@ucl.ac.uk

(8)
Set theory and its neighbours meets the Cameleon

There will be a "Set Theory and its Neighbours" meeting in London on 15th
March 2006, with some funding from 'Cameleon'.

The meeting will be held at the Department of Mathematics at University
College London, in Gordon Street, London WC1.
The first talk will start at *11*am. (Please note that this is half an hour earlier than at our previous
meetings and that the venue is a new one.)

The speakers at the meeting will be
 11-12am:      Peter Komjath (Eotvos, Budapest)
 1-2pm:        Matteo Viale (Paris)
 2-3pm:        Mirna Dzamonja (East Anglia)
 3.30-4.30pm:  Taras Banakh (Lviv/Kielce)
4.30-5.30pm:  Piotr Koszmider (Sao Paulo)

As ever, we aim to keep the meetings fairly relaxed, allowing plenty of
opportunity for informal discussion. We welcome and encourage anyone to
participate. Please do tell anyone about the meeting who you think may be
interested in it. We are happy for you to email us to let us know if you
intend to come, but you are also very welcome simply to turn up on the day
if you make a late decision. And let us know if you would like to speak or
have ideas for speakers at future meetings.

There is no registration fee for the meeting. We may have some limited
funds to subsidise the travel expenses of graduate students who would like
to attend. Please contact us for details.

Mirna Dzamonja and Charles Morgan
http://www.ucl.ac.uk/~ucahcjm/stn.html

(9)



Topology News, February 2006

Set Theory and its Neighbours (London) (see above)
Spring Topology and Dynamical Systems Conference (Greensboro) (see above)
Workshop in Geometric Topology (Corvallis)
Pioneers of Bulgarian Mathematics (Sofia)

##########

The 23rd annual Workshop in Geometric Topology will be held at Oregon
State University in Corvallis, Oregon on June 2-4, 2006. Professor Ruth
Charney of Brandeis University will be the principal speaker.

The conference web page is at
http://www.math.oregonstate.edu/~topology/workshop.htm

Additional details on registration, schedule, housing and support will be
provided on the web site and in a followup announcement.

This workshop is supported by the National Science Foundation and by
Oregon State University. Limited funds will be available to support
graduate students and those without other sources of funding.

##########

International Conference
"Pioneers of Bulgarian Mathematics"
Sofia, July 8-10, 2006
http://profot.fmi.uni-sofia.bg/sections/mathematics/index_html

The Department of Mathematics and Informatics of Sofia university is
organizing an international conference "Pioneers of Bulgarian Mathematics"
dedicated to Nicola Obrechkoff (1896-1963) and Lubomir Tschakaloff
(1886-1963). There will be different sections in Mathematics and
Informatics including a Topology Section organized by G. Dimov and V. Valov.

##########

Topology News is a occasional mailing list used to distribute conference
announcements and other information of interest to topologists.
Please send us any news to distribute.

If you do not want to receive these newsletters, please tell us and we
will remove your email address from our mailing lists.

Elliott Pearl
Stephen Watson

Topology Atlas
http://at.yorku.ca/topology/
atlas@at.yorku.ca

(10)

[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>

                     SECOND 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 logicsAdvances in Modal Logic
     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
(http://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, but
short papers will not be discriminated against) 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.  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.  Detailed
instructions will be available at www.itee.uq.edu.au/~aiml06/.

To be considered, submissions must be received no later than 27 March
2006.  Authors should submit their papers electronically using the
submission page at

http://www.easychair.org/AiML-2006/

The online submission system will be opened a few weeks before the
submission deadline.  Submissions should be either .pdf or .ps files.
Anyone who is unable to send the paper electronically and wishes to
submit hard copies should contact one of the Program Co-Chairs before
March 6, 2006.

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(at)doc.ic.ac.uk

Yde Venema
University of Amsterdam
yde(at)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.

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/

CO-LOCATED EVENT
AiML 2006 will be colocated with The Annual Meeting of the
Australasian Association for Logic, to be held on 23-24 September
2006.

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

(11)

Subject: MATHEMATICAL ASPECTS OF COMPUTATION - Special Half-day meeting

___________________________________________________________________________

                     Fourth SIGLaC Half-day Meeting on
                    MATHEMATICAL ASPECTS OF COMPUTATION

              Wednesday 8 March, 2006, University of Leeds

                                  Venue
             Rm 07.73: EC Stoner Building, School of Education

     This is the fourth in a series of interdisciplinary meetings bringing
  leading researchers in mathematics and logic, computer science, philosophy,
       physics, etc, to explain their work to a general audience


                              FULL PROGRAMME

            1.00pm Welcome

            1.30pm: Robin Milner (Cambridge)
                 "Bigraphs: a coordination calculus for mobile computation"

            2.30pm: Alan Selman (Buffalo)
                 "Disjoint NP-Pairs"

            3.30pm Tea/coffee break

            4.00pm: Martin Hyland (Cambridge)
                  "Recursion as Feedback"

                               ALL WELCOME

In E.C. Stoner Building Room 07.73; School of Education

Meeting co-sponsored by the Schools of Mathematics and Computing

More information including abstracts for all the talks is available at
http://www.comp.leeds.ac.uk/siglac/

___________________________________________________________________________
SIGLaC, a Special Interest Group in Logic and Computation, is a new
inter-disciplinary group at Leeds aimed at fostering the development of
research-related activity at the interface between Mathematics, Logic, and
Computing. For more information visit:
http://www.comp.leeds.ac.uk/siglac/
___________________________________________________________________________





Home Index

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

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

Last modified: Mon Apr 10 22:57:53 BST 2006