[Past issues of the newsletter are available at http://logik.mathematik.uni-freiburg.de/lics and http://www.bell-labs.com/topic/conferences/lics] ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION (PEPM'00) Call for Papers Boston, Massachusetts January 22-23, 2000 (back to back with POPL'00) * Theme. The PEPM'00 workshop will bring together researchers working in the areas of semantics-based program manipulation and partial evaluation. The workshop focuses on techniques and supporting theory for the analysis and manipulation of programs. * Technical topics include, but are not limited to program manipulation techniques, program analysis techniques, programs as data objects, and applications (more detail in http://www.cs.brandeis.edu/~pepm00). * Submission. E-mail a gunzip'ed, uuencoded PostScript file to pepm00@cs.brandeis.edu to arrive no later than Monday, October 4, 1999. Authors are also requested to submit the title, the list of authors, the name of the corresponding author, and a brief ASCII abstract (fewer than 200 words) by Friday, October 1, 1999. * Program committee. Zino Benaissa, Andrzej Filinski, John Hatcliff, Luke Hornof, Laura Lafave, Julia Lawall (chair), Sheng Liang, Gilles Muller, Norman Ramsey, Jon Riecke, Olin Shivers, Morten Heine Sorensen. BRITISH LOGIC COLLOQUIUM 1999 Gregynog, Wales, September 23-25 1999 Call for Participation http://www.cl.cam.ac.uk/~ad260/blc99.html * Programme. The meeting will include a celebration of Roger Hindley's contributions to logic, on the occasion of his retirement from the Department of Mathematics at the University of Wales Swansea. In addition, there will be lectures covering a wide variety of areas of mathematical and philosophical logic as well as the history of logic. * Speakers. Robin Milner; Giuseppe Longo; Roger Hindley; Henk Barendregt; Mariangiola Dezani; Jonathan Seldin; Ivor Grattan-Guinness; David Miller; Mirna Dzamonja; Richard Kaye; Jens Blanck. * Location. The meeting will take place in the conference centre of the University of Wales at Gregynog. Gregynog is a large Victorian country house in mid-Wales, standing in 750 acres of wooded parkland. All participants will be offered rooms in the house. The number of places is limited, and early registration is advised. * Organisers. Anuj Dawar (anuj.dawar@cl.cam.ac.uk) and John Tucker (j.v.tucker@swansea.ac.uk). * Registration information and forms are available from the web page given above. FACULTY POSITION AT SUSSEX University of Sussex, School of Cognitive and Computing Sciences Lecturer (Grade A/B) - Foundations of Computer Science http://www.susx.ac.uk/Units/staffing * Applications are invited for this position in Foundationste of Computer Science. Candidates should be able to show evidence of significant research achievement in any aspect of the Foundations of Computation. The successful applicant will be expected to expand significantly the existing high research profile of the Group in this area. Applicants should also be willing to teach in areas of Computer Science other than their research speciality. * Informal enquiries may be made to Professor Matthew Hennessy, COGS, University of Sussex, Falmer, Brighton BN1 9QH, UK. Tel +44 1273 678101 Email matthewh@cogs.susx.ac.uk. Application forms and further particulars are available from and should be returned to Liz Showler, Staffing Services Office, Sussex House, University of Sussex, Falmer, Brighton BN1 9RH, UK. Tel +44 1273 877324; Email E.S.Showler@sussex.ac.uk. Closing date: Friday 13 August 1999. 12TH INTERNATIONAL CONFERENCE ON THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLs'99) September 14-17, 1999, Nice, France) http://www.inria.fr/croap/TPHOLs99/ * See the above URL for further details. BOOK ANNOUNCEMENT Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science Volume: 49 in Frontiers in Artificial Intelligence and Applications Edited by: H. Prakken and P. McNamara 1998, 373 pp., hardcover ISBN: 90 5199 427 3 http://www.iospress.nl * This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science. AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Computer scientists have discovered that computer systems (including their interaction with other computer systems and with human agents) can often be productively modeled as norm-governed. So, for example, deontic logic has been applied by computer scientists for specifying bureaucratic systems, access and security policies, and soft design or integrity constraints, and for modeling fault tolerance. In turn, computer scientists and AI researchers have also discovered (and made it clear to the rest of us) that various formal tools (e.g. nonmonotonic, temporal and dynamic logics) developed in computer science and artificial intelligence have interesting applications to traditional issues in deontic logic. * This volume presents some of the best recent work done in this area, with the selection at once reflecting the general interdisciplinary (and international) character that this area of research has taken on, as well as reflecting the more specific recent inter-disciplinary developments between traditional deontic logic and computer science. RESEARCH POSITION IN PROOF-CARRYING CODE PROJECT AT PRINCETON http://www.cs.princeton.edu/sip/projects/ Job Title: Postdoctoral research associate * Job Description, Conduct research in applications of automated theorem proving and proof checking to computer security: both proof-carrying code and distributed authentication frameworks. Help lead a large team of graduate students in designing and implementing an ambitious software system for proof-carrying code. Opportunity to teach if desired. * Qualifications. Ph.D. in Computer Science or related discipline. Research experience in one or more of the following areas: programming language semantics, automated theorem proving, compilers, computer security. * Start date: Sept. 1, 1999. One-year appointment; may be renewed for up to two additional years. * Contact. Andrew Appel (appel@cs.princeton.edu) or Edward Felten (felten@cs.princeton.edu), Dept. of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08544 USA. LECTURER IN THEORETICAL COMPUTER SCIENCE The University of Birmingham School of Computer Science ftp://ftp.cs.bham.ac.uk/pub/dist/info/lect.tcs/particulars.htm * Applications are invited for a permanent lectureship in Theoretical Computer Science in the School of Computer Science at the University of Birmingham. Applications from all areas of Theoretical Computer Science will be considered but preferential treatment will be given to candidates who show promise to strengthen existing activities. These encompass Mathematical Structures in Computer Science, Lambda Calculus, Type Theory, and Verification of Systems. The School has recently appointed Uday Reddy to a Chair in Programming Languages and close cooperation between the existing Theory group and this new strand of activity is expected. LICS'98 AND LICS'97 PROCEEDINGS * The LICS'98 organizers have a limited number of LICS'98 proceedings, as well as a few LICS'97 proceedings. These are offered free of charge to libraries worldwide, including departmental and research group libraries. Requests will be accepted from library officials, department chairs, and heads of research labs through the end of September 1999, as long as proceedings are available. Please address requests to: LICS'98, Computer Science Department, Indiana University, Bloomington, IN 47405, USA. If at all possible, kindly include a check of $10 (made to Indiana University) to cover shipping costs. LATIN AMERICAN THEORETICAL INFORMATICS (LATIN'2000) April 10--14, 2000, Punta del Este, Uruguay Call for Papers http://www.fing.edu.uy/~latin * Topics. algorithms; analysis of algorithms; automata theory; coding theory; combinatorics (designs, enumeration, optimization, structures); computability and complexity; computational biology; computational geometry; computational number theory; computer algebra and symbolic computation; cryptography; data compression; data structures; discrete mathematics; experimental algorithmics; formal languages; graph theory; logic in computing; mathematical programming; on-line problems; pattern matching; parallel and distributed algorithms; programming theory; quantum computation; and random structures and algorithms. * Submission. Submit an extended abstract in English of at most ten pages, not counting the references. Authors are asked to prepare their papers using the standard LaTeX2e, together with the corresponding Springer class file "llncs.cls", and to submit a PostScript version of them. The papers must be received by August 31, 1999 and this is a firm deadline. In case courier mail is used, authors must submit five hard copies of each paper, postmarked by August 20, 1999 to: Prof. Gaston Gonnet, Institut fur Wissenschaftliches Rechnen, ETH Zentrum IFW D 28.1, 8092 Zurich, Switzerland. * Invited Speakers. Allan Borodin, Philippe Flajolet, Joachim von zur Gathen, Yoshiharu Kohayakawa, Andrew Odlyzko, Prabhakar Raghavan. * Program Committee. See the web site. THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2000) March 25 - April 2, 2000 Technical University of Berlin http://iks.cs.tu-berlin.de/etaps2000 Call for Submissions * The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. Submission Deadline for ETAPS is 18th October 1999. * Main Conferences. CC 2000 - 9th International Conference on Compiler Construction Chairman: David Watt, University of Glasgow, daw@dcs.gla.ac.uk Further Information: http://www.dcs.gla.ac.uk/~cc2000 ESOP 2000 - European Symposium on Programming Chairman: Gert Smolka, UdS, Saarbruecken, Germany, smolka@ps.uni-sb.de Further Information: http://www.ps.uni-sb.de/~esop2000/ FASE 2000 - Fundamental Approaches to Software Engineering Chairman: Tom Maibaum, Imperial College, fase2000@doc.ic.ac.uk FOSSACS 2000 - Foundations of Software Science and Computation Structures Chairman: Jerzy Tiuryn, University of Warsaw, tiuryn@mimuw.edu.pl TACAS 2000 - Tools and Algorithms for the Construction and Analysis of Systems Chairwoman: Susanne Graf, VERIMAG - France, Susanne.Graf@imag.fr Further Information: http://www-verimag.imag.fr/TACAS2000