Newsletter August 2002

Registered Charity No 275541

President           Professor J B Paris FBA [Manchester]
Vice-President      Dr J M E Hyland [Cambridge]
Secretary           Dr M Dzamonja [East Anglia]
Treasurer           Dr R Dyckhoff [St Andrews]

Committee members   Professor H D Macpherson [Leeds]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

Dear members,

Here is the new edition of our newsletter. In addition to the
enclosed announcements of conferences and positions, there are
also some sad news to report. Czeslaw Lejewski, former
Professor of Philosophy at Manchester, and the UK's leading Polish
logician, died. There will be a more formal obituary for Prof.
Lejewski in one of the upcoming newsletters.
(1) Recall that our next annual meeting is going to be 
held in Birmingham, from September 12 to September 14th, 2002.
The web site
gives more information.

(2) The Department of Computer Science at the University of Wales,
Swansea has two openings for lecturers, see an annoncement below.
The closing date is August 16th.

(3) There will be a meeting on Set Theory and Model Theory, which is
the 12th in the series of meetings on Set Theory and its Neighbours.
The present meeting will be held in the LMS Building in London
on September 10th, and the details can be found on the web site
and I also enclose an announcement below.

(4) There will be a conference on Self-Reference
to be held in Denmark in October, 2002, please see an announcement below.

Best wishes to all,



Department of Computer Science


Lecturer Grade A:    20470 - 24435 per annum
Lecturer Grade B:    25455 - 32537 per annum

Applications are invited for a permanent and a fixed term post of 
Lecturer (A/B),  in the Department of Computer Science. Candidates may 
have expertise in ANY field but we are particularly keen to increase our 
expertise in the areas of geometric algorithms, graphics and visual 
computing.  Applicants should possess a PhD in Computer Science, or a 
related subject like Mathematics, and have an excellent personal 
research record and programme.

The Department was graded 5 in the latest Research Assessment Exercise 
and  awarded an Excellent in the latest national Teaching Quality 
Assessment. It enjoys excellent links with industry.

Informal enquiries may be directed to Prof. J V Tucker, Head of 
Department on 01792 295649 email:

An application form and further details may be obtained, quoting the 
above reference from the Personnel Department, University of Wales 
Swansea, Singleton Park, Swansea, SA2 8PP, Tel: 01792 295136 (24 hours) 
or email Closing Date Friday 16 August 
2002. /personnel

Professor J V Tucker
Department of Computer Science
University of Wales Swansea
Singleton Park
Swansea SA2 8PP

Tel: (+44) 01792 295649
Fax: (+44) 01792 295708


Set theory and its neighbours, 12:

Model theory and set theory, II

The twelvth one-day conference in the in the series Set theory and its neighbours, will take place on 10th, September 2002 at the London Mathematical Society building, De Morgan House, 57-58 Russell Square, London WC1. 
The speakers at the meeting will be: 

*	Juliette Kennedy (Helsinki) 
*	Applying a square principle to a problem in classical model theory

*	Robin Knight (Oxford) 
*	Katie Thompson (East Anglia) 
*	Juoko Vnnen (Helsinki) 

After the meeting there will be an opportunity for informal contact
with the other participants at DK cafe/bar in Charlotte Street, W1.
 (See the web page of the meeting for how to get there.) 
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, but a voluntary contribution
of five pounds is appreciated from those in employment. Receipts are available
for those contributors who request to have one. We may have some limited
funds to subsidise the travel expenses of graduate students who would like
to attend. Please contact us for details. 
   We are very grateful to the LMS for allowing us to use De Morgan House
as a venue and for their financial support for the meeting. De Morgan House
is in the bottom right (i.e. south-east) corner of Russell Square,
and the web page of the meeting contains information of how to get there.
   Mirna Dzamonja and Charles Morgan


> PHILOG - The Danish Network for Philosophical Logic and Its 
> Applications, sponsored by the Danish Research Council for 
> the Humanities, is arranging a conference on Self-Reference, 
> October 31 - November 2, 2002 at Roskilde University, Denmark. 
> The conference is free of charge and directed at researchers 
> as well as graduate and PhD students in the fields of 
> mathematical, philosophical, and computer science logic. 
> The list of invited speakers include: A. Cantini, M. Fitting, 
> A. Gupta, V. McGee, D. Perlis, G. Priest., R. Smullyan, and 
> S. Yablo.
> - Events - Self-Reference
> The Department of Philosophy and Science Studies at Roskilde 
> University is arranging a one day introductory seminar prior to
> the conference. The seminar will take place on Wednesday, 
> October 30, 09:00-17:00. The seminar is intended to prep 
> graduate students, research scholars and others attending the
> conference with foundational knowledge of the issues relevant 
> to the conference theme.
> - Events - Self-Reference - Students
> The Department of Philosophy and Science Studies at Roskilde 
> University is prepared to house, free of charge, as many as 30
> students during the conference and introductory seminar.
> - Events - Self-Reference - Students
> PHILOG has a limited number of travelling grants available for 
> graduate students and doctoral students who wish to attend the
> conference.
> - Events - Self-Reference - Students

Home Index


Page maintained by

Last modified: Tue Mar 11 11:48:49 GMT 2003