Newsletter 92
April 19, 2004

*******************************************************************
* 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.



Back to the LICS web page.