BLC Newsletter April 2004


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           Dr R Dyckhoff [St Andrews]
Secretary           Dr M Dzamonja [East Anglia]
                    Professor D Macpherson [Leeds]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

---------------------------------------------------------
Dear members,

Various announcements below. Please note in particular the one from the
President asking your views on the logique representation on RAE panels.

Recall also that 
our Annual Meeting will be held in Leeds from 6-8 of September.
Watch the web site http://www.cs.bham.ac.uk/~exr/blc/blc-meetings.html
for further announcements.

(1) RAE panel

(2) Oxford Logic Seminarso

(3) Logic Conference in Pisa, Italy, June 25-26 2004

(4) LICS Newsletter 92

(5) Leeds Logic Seminar

    Best wishes to all, Mirna.

--------------------------------------------------
(1)

RAE Panel Nominations

The BLC is a nominating body for the Panels for the forthcoming 
RAE. If any of our members wish to suggest names for experts to 
represent Logic on the Mathematics, Computer Science, Philosophy 
and possibly even Linguistics Panels would they please email them 
to me by May 12th at jeff@maths.man.ac.uk. All the names will then 
be considered by the Committee in time for the nomination deadline 
on 19th May.  
    from Jeff Paris

(2)

The following seminars in mathematical logic will take place in the
Mathematical Institute,24-29 St Giles,Oxford, at 3.15pm on Fridays.

30 April  Angus Macintyre (Edinburgh)

          Comparing the complex and the Zilber-Schanuel exponential.



7 May     Mike Prest (Manchester)

          Irreducible representations and the Ziegler spectrum over
          generalised Weyl algebras and related rings.



14 May    Jan Krajicek (Prague)

          Boolean valued models of bounded arithmetic based on random
          variables.



21 May    To be announced.



28 May    Boris Zilber (Oxford)

          Zariski structures and noncommutative geometry.


4 June    Silvia Barbina (Leeds)

          Reconstruction of classical geometries from their automorphism
          group.


11 June   Vincent Grandjean (Bath)

          Geometry and singularities at infinity of real (plane)
          polynomial functions.


18 June   Margarita Korovina (Aarhus)

          Title to be announced.

                                                               AJW
(3)


Subject: Logic Conference in Pisa, Italy, June 25-26, 2004

    [ The following text is in the "iso-8859-1" character set. ]
    [ Your display is set for the "US-ASCII" character set.  ]
    [ Some characters may be displayed incorrectly. ]

*****************************************************
International Congress  M.ARI.AN.2004
"Nonstandard Models of Arithmetic and Analysis"
June 25-26, 2004, Pisa, Italy.

This conference aims to bring together researchers working
on nonstandard models of arithmetic and researchers working
in nonstandard analysis. Invited speakers include:
V. Benci; A. Berarducci ; P. D'Aquino; A. Enayat;
K. Hrbacek; V. Kanovei; R. Kossak; A. MacIntyre;
J.P. Ressayre; D. Ross; J. Schmerl; C. Toffalori.

The deadline for submission of abstracts is May 15, 2004.

There is no registration fee. For further information visit

http://www.dm.unipi.it/~dinasso/marian2004

*******************************************************

(4)


Subject: LICS Newsletter 92

*******************************************************************  
* Past issues of the newsletter are available at
  http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at 
  http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************


TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  MFPS 20 - Call for Participation
  FMCO 2004 - Call for Participation
  ACSD 2004 - Call for Participation
  ICFEM 2004 - Call for Papers
  UNIF 2004 -Call for papers
* SUMMER SCHOOLS
  ICCL Summer School 2004 on Proof Theory and Automated Theorem Proving
* VACANCIES
  University Lecturership in Computer Science - University of Oxford


TWENTIETH WORKSHOP ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING 
SEMANTICS - MFPS 20
  May 23-26, 2004
  Carnegie Mellon University, Pittsburgh, USA
  Call for Participation
* MFPS 20 will be held on the campus of Carnegie Mellon University 
  from May 23 through May 26 of this year. The meeting will be 
  co-located with the Annual Meeting of the Association of 
  Symbolic Logic, which will take place at CMU from May 19 through 
  midday, May 23.
* Invited speakers: Christel Baier (Bonn), Radha Jagadeesan (DePaul),
  Pat Lincoln (SRI), Luke Ong (Oxford), Dana Scott (CMU), Alex Simpson
  (Edinburgh).
  Each invited talk will have an accompanying special session focusing 
  on the topic of the plenary talk, and featuring talks by a number of 
  leading researchers in the area.
* For details see: http://www.math.tulane.edu/~mfps/mfps20.htm


THIRD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FOR COMPONENTS AND 
OBJECTS - FMCO 2004
  2-5 November 2004
  Lorentz Center, Leiden University, Leiden, The Netherlands
  Call for Participation
* The objective of  this symposium is to bring  together top researchers
  in the  area of software  engineering to discuss  the state-of-the-art
  and future applications of formal  methods in the development of large
  component-based and object-oriented software systems.
* Participation  is limited  to about  80  people, based  on a first-come
  first-served  policy. 
* For  more information  about  participation and registration see:
  http://fmco.liacs.nl/fmco04.html


FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY 
TO SYSTEM DESIGN - ACSD 2004 
  June 16-18, 2004 
  McMaster University, Hamilton, Ontario, Canada
* The International Conference on Application of Concurrency to System Design
  (ACSD) serves as a forum for disseminating theoretical results and advanced
  methods and tools for the design of complex concurrent systems. While there
  are a few success stories in the field, there is still a strong need to 
  bring theory and practice closer together.
* For details see:  http://acsd.mcmaster.ca/


SIXTH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS - ICFEM 2004
  November 8-12, 2004, Seattle, USA
  Call for Papers, Tutorials, Workshops 
* Important dates:
  Submission of paper: 15th May 2004 
  Submission of Tutorial/Workshop Proposal: 1 June 2004 
* For detains see:
  http://research.microsoft.com/conferences/icfem2004/


18TH INTERNATIONAL WORKSHOP ON UNIFICATION - UNIF 2004
  July 4-5, 2004, Cork, Ireland
  Affiliated with IJCAR'04
  Call for Papers/Abstracts/System descriptions
* Submission deadline: Friday, May 14, 2004
* For details see: http://www.faculty.iu-bremen.de/mkohlhase/event/unif04/


ICCL SUMMER SCHOOL 2004 ON PROOF THEORY AND AUTOMATED THEOREM PROVING
  June 14-26, 2004
  Technische Universitaet Dresden
  Call for Participation
* This two-week meeting consists of two integrated parts, a summer school
  and a workshop, aimed at graduate students and researchers.  The themes
  for the summer school are proof theory and automated theorem proving,
  the workshop is about proof, computation and complexity.  As in the
  summer schools at TU Dresden in 2002 and 2003 and in the previous
  editions of the PCC workshop, people from distinct but communicating
  communities will gather in an informal and friendly atmosphere.
* We ask for a participation fee of 200 EUR. We request registration
  before May 10, 2004; please send an email to
  , making sure you
  include a very brief bio (5-10 lines) stating your experience, 
  interests, home page (if available), etc. It will be possible for 
  some students to present their work: please indicate in your application 
  if you would like to do so and give us some information about your 
  proposed talk.
* We will select applicants in case of excessive demand.  A limited number
  of grants covering all expenses is 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.  We will provide
  assistance in finding an accommodation in Dresden.
* For details see: http://www.iccl.tu-dresden.de/events/SA-2004


UNIVERSITY LECTURERSHIP IN COMPUTER SCIENCE
  University of Oxford
  Mathematical and Physical Sciences Division 
  Computing Laboratory
  in association with St John's College
* Applications are invited for a University Lecturership in Computer
  Science from outstanding candidates working in any area of Computer
  Science.
* The successful candidate will be expected to engage in research of an
  internationally leading quality.  He or she will be expected to
  lecture, supervise graduate students and perform other departmental
  duties under the direction of the Head of Department.
* The successful candidate will be appointed to a Tutorial Fellowship at
  St. John's College.  As a Tutorial Fellow, the appointee will be
  expected to take a full part in the selection, academic progress and
  pastoral oversight of undergraduates reading Final Honours Schools
  involving Computer Science.  The college requires a maximum of 6 hours
  teaching per week of full term (averaged over the three terms of the
  academic year) and performance of associated duties such as the
  pastoral care of Computer Science graduates.
* The combined University and College salary will be according to age on
  a scale up to GBP 42,900 (pay award pending).  Further allowances may be
  payable from the college as detailed in its associated Further
  Particulars.
* Further Particulars of the post, including Selection Criteria and
  application method, together with more detailed descriptions of the
  Department and College duties are available at
    www.comlab.ox.ac.uk/jobs
  by telephone request to +44 (0)1865 273831 or by email request to
  lecturership@comlab.ox.ac.uk.  
* The closing date for receipt of applications is 21st April 2004.

(5)





                           UNIVERSITY OF LEEDS
                      Department of Pure Mathematics
                        MATHEMATICAL LOGIC SEMINAR
                                Summer 2004

April 28th Martin Escardo (Birmingham)
             Topology via higher-order logic

May 12th Roman Wencel (Leeds)
             O-minimal expansions of boolean algebras

May 19th George Barmpalias (Leeds)
             Hypersimple semicomputable sets in the weak truth table degrees
     
The lectures will be held on Wednesdays at 4 pm in room H, Mathematics 
building. Tea at 3.30 pm. 

                          J. K. Truss


Details on the web page at http://www.amsta.leeds.ac.uk/pure/logic/seminar.html

-----------
Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK

phone: +44-1603-592981
fax: +44-1603-593868





Home Index

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

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

Last modified: Fri May 14 13:27:10 BST 2004



Home Index

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

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

Last modified: Fri May 14 09:00:48 BST 2004