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 email@example.com. * The closing date for receipt of applications is 21st April 2004.
Back to the LICS web page.