Date: Mon, 3 Jul 1995 14:38:50 -0300 (ADT) Subject: Research Positions at Sussex Date: Mon, 3 Jul 1995 15:50:42 +0100 (BST) From: Matthew Hennessy UNIVERSITY OF SUSSEX RESEARCH FELLOWS IN THE FOUNDATIONS OF COMPUTING Two Research Fellows are required for a 3-year project entitled ``Foundations for the Integration of Concurrent Distributed and Functional Computation'', under the direction of Prof. M. Hennessy and funded by the EPSRC. The aim of the project is to - provide a uniform coherent semantic foundation for concurrent, distributed and functional behaviour; - develop proof methodologies for establishing properties of process descriptions expressed in specification languages using these paradigms; - develop prototypes of supporting verification systems. The project will start on 1/10/95 and salary will be related to the academic 1A scale. A Ph.D. in Computer Science or Mathematics or equivalent experience is required. In addition to normal research duties the successful candidate will be expected to provide some assistance to undergraduate teaching. More details of the project and the conditions of service are available at ftp://ftp.cogs.sussex.ac.uk/pub/users/matthewh/details.ps. To apply please submit applications to Prof M Hennessy School of COGS University of Sussex Falmer Brighton BN1 9QH UK Tel: +44 01273 678101 email: matthewh@cogs.sussex.ac.uk Applications should include a detailed curriculum vitae, names of three referees with their email addresses and copies of any relevant publications. Date: Wed, 5 Jul 1995 08:53:55 -0300 (ADT) Subject: Lectureships in Computer Science Date: Wed, 5 Jul 1995 12:32:18 +0100 From: Rosemary Soutar UNIVERSITY OF EDINBURGH DEPARTMENT OF COMPUTER SCIENCE Applications are invited for three Lectureships in Computer Science available from October 1995, or as soon as possible thereafter. One post is available for three years and the others for five years, in the first instance. There is the possibility of a permanent contract for an exceptionally well qualified candidate. Applicants should be qualified to Ph.D. level and should be able to teach across a range of topics and levels (including first-year) within the subject. Successful candidates will have an excellent research record. One post has been created in connection with the recent appointment of Professor Samson Abramsky to a newly established Chair in Theoretical Computer Science; for the second post, the Department is anxious to strengthen its teaching in parallel and distributed systems; the third is open to candidates well qualified in teaching and research in any area of Computer Science. Salary on the scale 15,154-19,848 pounds p.a. with placement according to age, qualifications and experience. Further particulars including details of the application procedure may be obtained from our world-wide-web page http://www.dcs.ed.ac.uk or from the Personnel Office, 1 Roxburgh Street, Edinburgh EH8 9TB or Tel : 0131 650 2511 (24 hour answering service). Please quote reference xxxxxxxx. Closing date for applications is Monday 31st July 1995. Date: Fri, 7 Jul 1995 18:43:02 -0300 (ADT) Subject: ANNOUNCE: Xy-pic version 3.0 released! Date: Fri, 7 Jul 1995 22:59:08 +0200 From: Kristoffer H. Rose Dear category theorist, Please find enclosed a copy of the TRAILER for a new version of Xy-pic. I hope you will find it useful. Sincerely, Kristoffer H. Rose ====================================================================== ANNOUNCING the Xy-pic version 3 DIAGRAM TYPESETTING PACKAGE ====================================================================== This is to announce a MAJOR RELEASE of my DIAGRAM TYPESETTING PACKAGE: Xy-pic 3.0 In particular most features that have been added since version 2.6 are now sufficiently stable to leave beta-test. Xy-pic is a package for typesetting a variety of graphs and diagrams with TeX. Xy-pic works with most formats (including LaTeX, AMS-LaTeX, AMS-TeX, and plain TeX), in particular Xy-pic is provided as a LaTeX2e `supported package' (following the `CTAN LaTeX2e bundle' standard). Further details on the package are in the README file of the distribution. ---------------------------------------------------------------------- NEWS ---------------------------------------------------------------------- Xy-pic version 3 is a thorough rewrite of the last major version, version 2 (last version 2 release was release 2.6; several beta-test releases numbered 2.7-2.12 have been made available to users). However, full backwards compatibility is maintained (except for the unavoidable but fully documented obscure cases). The package is now structured as a kernel and several orthogonal modules, in particular there are independent `specialist' modes for convenient typesetting of components that are structured as graphs, matrices, polygons, 2-cells, etc. Finally, version 3 adds the following to what was available in v2.12/3beta: * The User's Guide is up to date with v3 features! * There is a new input mode specially for KNOTS AND LINKS! * Arbitrary arcs and frames are now properly integtared! * DVI driver interface greatly simplified! A few DVI drivers are not quite ready for release which is why this is v3.0 and there will be a 3.1 including the missing drivers (as well as the inevitable bug fixes). ---------------------------------------------------------------------- AVAILABILITY ---------------------------------------------------------------------- Xy-pic can be retrieved through the World Wide Web Xy-pic `home page': as well as by anonymous ftp from CTAN : /tex-archive/macros/generic/diagrams/xypic and from the archives of the authors: ftp.diku.dk : /diku/users/kris/TeX/ ftp.mpce.mq.edu.au : /pub/maths/TeX/ Check the README file in each location for the exact details. ---------------------------------------------------------------------- CREDITS ---------------------------------------------------------------------- Xy-pic was created by Kristoffer H. Rose, DIKU, U of Copenhagen. Most of the rewrite was accomplished in collaboration with Ross Moore while visiting Macquarie U, Sydney (Jan-May 1994), supported by the Australian Research Council, Macquarie University, and using donated DEC equipment. Xy-pic is Copyright (c) 1991-1995 by Kristoffer H. Rose under GNU COPYLEFT which means that you can use the package for any purpose but if you provide the macros or any code derived from them to a third party then you are obliged to include the entire Xy-pic package (full details in the file COPYING). ---------------------------------------------------------------------- This is the end of the announcement. Enjoy Xy-pic! ---------------------------------------------------------------------- Kristoffer H{\o}gsbro ROSE DIKU, Universitetsparken 1, 2100 K{\o}benhavn {\O}, DANMARK Phones: +45 35321400 direct: +45 35321420 fax: +45 35321401 World Wide Web ---------------------------------------------------------------------- Date: Tue, 11 Jul 1995 08:07:19 -0300 (ADT) Subject: Chair in Computer Science Date: Mon, 10 Jul 95 16:55:38 BST From: Roy L. Crole UNIVERSITY OF LEICESTER DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE Chair in Computer Science Applications are invited for a new Chair in Computer Science in the Department of Mathematics and Computer Science, tenable from l January 1996, or as soon as possible thereafter. The creation of the chair will consolidate and extend the work of the Computer Science Group within the Department. Applicants should have strong research records in Computer Science, and be able to provide academic leadership to the Computer Science Group. The Department would particularly welcome applications from people working in applicable areas of Computer Science which would complement the existing research areas, while making use of the expertise already available. In addition to this appointment, it has been agreed that a Lectureship in Computer Science will subsequently be advertised, and the appointee should expect to play a major role in the filling of this position. Salary will be within the Professorial Range. Informal enquiries are welcome and should be addressed to Professor Will Light, Head of Department, telephone +44 (0)116 252 3884, or email jobs@mcs.le.ac.uk. Further particulars may be obtained from the Staffing Office (Academic Appointments), University of Leicester, University Road, Leicester, LE1 7RH, U.K. telephone +44 (0)116 252 2422, fax number +44 (0)116 252 5140, or from the WWW page http://www.mcs.le.ac.uk U.K. candidates should submit thirteen copies of their application (overseas candidates may submit one copy). Closing date for applications is 1 September 1995. Date: Tue, 11 Jul 1995 08:08:53 -0300 (ADT) Subject: ANNOUNCE: fix01 for Xy-pic 3.0 available Date: Mon, 10 Jul 1995 23:46:24 +0200 From: Kristoffer H. Rose Dear category theorist, A bug fix for Xy-pic has been issued, and the files updated since some bugs were MAJOR. The change is also available as a patch in relative to the unfixed version in xy-3.0/fixes/fix01 The following things were fixed: * xyv2.doc (\framed, \Framed, ...): Removed erroneous brace level; furthermore made it compile-safe. Bug: Frames disappear in compatibility mode. MAJOR. >From: Clemens Beckstein >From: Michael J. Healy * xymatrix.doc: changed \row@/\col@ to \row@@/col@@. Bug: conflict with AMS-LaTeX \row@ cs. MAJOR. >From: Enrico Gregorio * xyarrow.doc (\PATHturn@i): Split turn code into several \xy@@s. Bug: Too long lines in xyguide-30.xyc and xyguide-38.xyc. MINOR. >From: Jvrg Knappen * xyguide.man: Set \CompilePrefix to 6-character string. Bug: File names for .xyc-files too long. MINOR. >From: Jvrg Knappen * latin1.sty: Explicitly includes plain TeX's \def\copyright... Bug: Can't typeset \copyright properly. MINOR. >From: Antonio Possolo >From: Robert Kiessling -- Kristoffer Hxgsbro ROSE DIKU, Universitetsparken 1, 2100 Kxbenhavn X, DANMARK Phones: +45 35321400, direct: +45 35321420, fax: +45 35321401 World Wide Web -- Date: Fri, 21 Jul 1995 10:21:57 -0300 (ADT) Subject: ANNOUNCE: fix06 for Xy-pic 3.0 available Date: Thu, 20 Jul 1995 20:35:35 +0200 From: Kristoffer H. Rose Dear category theorist, A MAJOR bug fix for Xy-pic has been issued in the Xy-pic distribution file xy-3.0/fixes/fix06 The following things are fixed: * xyframe.doc: elliptical frames now work properly... MINOR * xyps-f.doc: ...using PostScript. still need to get them working using \xycircle, for non-PS. * import1.eps: changed font name: MINOR /courier changed to /Courier, else DPS may complain. * xyimport.doc: made save-safe. MINOR Modified to use xy@@s such that it is compile safe. * xy.doc: adjusted spacing in the table. MINOR * Makefile (DVIPS): Use 300 dpi and a4 paper as advertised. MINOR. * xymatrix.doc (\xymatrix@pretypeset): Final matrix dimension set after \halign. Longest last row ignored. MAJOR. From: Marc Gemis Please get the files afresh or apply fixes in consecutive order until you can apply fix06. Thanx to those who reported the bugs! Sincerely, Kristoffer H. Rose -- Kristoffer Hxgsbro ROSE DIKU, Universitetsparken 1, 2100 Kxbenhavn X, DANMARK Phones: +45 35321400, direct: +45 35321420, fax: +45 35321401 World Wide Web Date: Thu, 27 Jul 1995 13:47:33 -0300 (ADT) Subject: Job Ad: Post-Doctoral Fellowships at Edinburgh Date: Tue, 25 Jul 1995 16:09:24 +0100 From: Rajagopal Nagarajan Please direct your enquiries to the contact addresses given below. ---------------------------------------------------------------------- \documentstyle[a4,11pt]{article} \parskip 10pt \parindent 0pt \pagestyle{empty} \begin{document} \begin{center} {\Large {\bf Laboratory for Foundations of Computer Science}}\\[0.25in] {\Large {DEPARTMENT {\it of} COMPUTER SCIENCE}}\\[0.25in] {\Large {\bf The University of Edinburgh}}\\[0.25in] {\large Two Post-Doctoral Research Fellowships}\\[0.4in] \end{center} Applications are invited for two Research Fellowships available from January 1996 in the Laboratory for Foundations of Computer Science, a research unit of the University located within the Computer Science Department. They are funded under the EPSRC Special Research Project ``Foundational Structures for Computer Science". The Principal Investigator for this grant is Samson Abramsky, who is taking up the Chair in Theoretical Computer Science at the University of Edinburgh in January 1996. Further information about the project may be obtained from Samson Abramsky directly (samson@dcs.ed.ac.uk). Candidates should have a PhD or equivalent qualification, and a strong background in Theoretical Computer Science. Research experience in concurrency is desirable for the first post, and in denotational semantics for the second. Salary will be on the scale \pounds 14,317 - \pounds 19,848 p.a. with placement according to qualifications and experience. The positions will be for two years in the first instance,with the possibility of renewal for a further two years. Further particulars including details of the application procedure may be obtained from our world-wide-web page http://www.dcs.ed.ac.uk or from the Personnel Office, 1 Roxburgh Street, Edinburgh EH8 9TB or Tel : 0131 650 2511 (24 hour answering service). Please quote reference 590321. Closing date for applications is Monday 31st July 1995. \end{document} Date: Thu, 27 Jul 1995 13:49:17 -0300 (ADT) Subject: AMAST'96 Call for Papers Date: Tue, 25 Jul 1995 22:43:41 +0200 From: Pippo Scollo ==== CUT HERE ======== CUT HERE ======== CUT HERE ======== CUT HERE ==== [With apologies if you receive the enclosed announcement more than once. G. Scollo ] ----------------------------------------------------------------------- Call for Papers Fifth International Conference on Algebraic Methodology and Software Technology AMAST '96, July 1-5, 1996, Munich, Germany Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad hoc approaches to software engineering. Previous meetings of AMAST were held at the University of Iowa (1989 and 1991), the University of Twente (1993) and Concordia University in Montreal (1995). During these meetings, AMAST has attracted an international spread of researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fifth AMAST International Conference will be held at the Ludwig-Maximilians-Universitaet, Munich, Germany, from July 1 to July 5, 1996. Submissions As in the previous years we invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. A special focus of AMAST 96 will be on the use of mathematics-based formal methods to give support for requirement analysis, formal specification, and design in industrial software development. Submissions should not have been published and should not be under consideration for publication elsewhere. We also solicit submissions of system demonstrations showing the improved effectiveness of software developed on a mathematical basis. Finally, a special poster session will be devoted to student research papers. The topics of interest include, but are not limited to, the following: 1. SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. 2. PROGRAMMING METHODOLOGY logic, functional, and object paradigms, constraint programming and concurrency, program verification and transformation, specification languages and tools, formal specification and development case studies. 3. ALGEBRAIC AND LOGICAL FOUNDATIONS logic, category theory, relation algebra, algebraic foundations for languages and systems, theorem proving and logical frameworks for reasoning, logics of program. 4. SYSTEMS AND TOOLS (for system demonstrations) software development environments, support for correct software development, system support for reuse, tools for prototyping, validation and verification, theorem proving systems. We invite prospective authors to submit 6 copies of previously unpublished papers of high quality (15 double spaced pages maximum for papers and 4 double spaced pages maximum for system demo proposals) in an area relevant to the conference theme. Papers should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by November 15, 1995 and system demo proposals must be received by December 15, 1995. Martin Wirsing AMAST'96 Program Chair Institut fuer Informatik Universitaet Muenchen Leopoldstr. 11B D-80802 Muenchen, Germany Phone: ++49/89/ 2180-6317 Fax: ++49/89/ 2180-6310 e-mail: amast96-info@informatik.uni-muenchen.de General Chair: Maurice Nivat (France). Program Chair: Martin Wirsing (Germany). Program Committee: Martin Abadi (USA), V.S. Alagar (Canada), Egidio Astesiano (Italy), Didier Begay (France), Gregor Bochmann (Canada), Chris Brink (South Africa), Bruno Buchberger (Austria), Kokichi Futatsugi (Japan), Harald Ganzinger (Germany), Nicolas Halbwachs (France), Armando Haeberer (Brazil), Yasuyoshi Inagaki (Japan), Paola Inverardi (Italy), Mike Johnson (Australia), Helene Kirchner (France), Tom Maibaum (Great Britain), Jan Maluscinsky (Sweden), Jose Meseguer (USA), Peter Mosses (Denmark), Rocco De Nicola (Italy), Anton Nijholt (Netherlands), Fernando Orejas (Spain), R. Ramanujam (India), Charles Rattray (Great Britain), Teodor Rus (USA), Giuseppe Scollo (Netherlands), R.K.Shyamasundar (India), Andrzej Tarlecki (Poland), Herbert Weber (Germany). Organizing Committee: Chair and Finances: Martin Wirsing Tools and Demos: Christian Baur (Germany) Publicity: Charles Rattray (UK), V.S. Alagar (Canada), Michel Bidoit (France), Jacques Printz (France), Teodor Rus (USA), Giuseppe Scollo (The Netherlands). Local Arrangements: Rolf Hennicker, Marianne Diem Invited Speakers To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development will come together to identify algebraic and logical methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation. Invited speakers, with a tentative indication of the topic areas, include Manfred Broy (Programming Methodology), Jose Fiadeiro (Algebraic and Logical Foundations), Doug Smith (Software Development) Important Dates: Submission of Papers: November 15, 1995 Submission of System Demo Proposals: December 15, 1995 Submission of Student Research Papers: June 1, 1996 Notification of Acceptance/Rejection: February 1, 1996 Camera-ready Version of Accepted Papers: March 15, 1996 Education Day: July 1, 1996 Conference: July 2-5, 1996 (Proceedings will probably be published by Springer-Verlag.) Further Information: For bulletins on current status of the conference: http://www.pst.informatik.uni-muenchen.de/konferenzen, amast96-info@informatik.uni-muenchen.de Tools and Demos: cbaur@informatik.uni-muenchen.de Registration: hennicke@informatik.uni-muenchen.de Local Arrangements: diem@informatik.uni-muenchen.de For subscribing to the AMAST'96 mailing list: amast96-request@informatik.uni-muenchen.de Date: Mon, 31 Jul 1995 16:06:30 -0300 (ADT) Subject: Conceptual Completeness Date: Mon, 31 Jul 1995 15:05:28 -0300 (ADT) From: Wendy MacCaull I would like to find out what work has been done relating to the question of "conceptual completeness" (in the sense of Makkai & Reyes (LNM 611), with extention by Pitts (ANAL vol 41) ) for fragments of linear logic or other substructural logics. Results obtained, references and/or information on who is or has worked on this problem would be appreciated. Thanks! Wendy MacCaull