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.