Newsletter 60

August 1, 1999

[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