Newsletter 69

October 10, 2000
[Past issues of the newsletter are available at
 http://logik.mathematik.uni-freiburg.de/lics/newsletters/
 http://www.math.uic.edu/lics/newsletters/]


TABLE OF CONTENTS
* Calls for Papers
  ACM Sigplan Workshop on Continuations
  IEEE Computer Security Foundations Workshop
  Rewriting Techniques and Applications
  International Joint Conference on Automated Reasoning
  International Conference on Artificial Intelligence and Law
* Conference Announcements
* Book Announcement
  The Automation of Reasoning: Collected papers on 
  automated theorem proving by J. Siekmann and G. Wrightson (eds)
* Position Announcements 
  Lecturer at the University of Swansea at Wales
  Chair in Theoretical Computer Science at Edinburgh University  
  Research Assistant at the Technical University Munich


ACM SIGPLAN WORKSHOP ON CONTINUATIONS (CW'01)
  (affiliated with POPL 2001)
  Call for Papers
  London, January 16 - 19, 2001
  http://www.cs.indiana.edu/~sabry/cw01/
* Theme: The notion of continuations is ubiquitous in many different
  areas of computer science, including category theory, compilers,
  logic, operating systems, programming, and semantics. Following on
  the 1992 and 1997 ACM SIGPLAN Workshops on Continuations, we are
  organizing a new workshop to provide a forum for the presentation
  and discussion of new results and work in progress aimed at a better
  understanding of the nature of continuations, the relation of
  continuations to other areas of logic and computer science, and
  exciting new applications of continuations in contexts such as
  mobile threads, simulation, distributed systems, graphical user
  interfaces, and education.  
* Participants wishing to give short formal presentations are asked to
  send a short abstract (less than four pages) to sabry@cs.indiana.edu
  An informal proceedings will be distributed at the workshop and will
  be available subsequently as an Indiana University technical report.
  As for CW'92 and CW'97 a special issue of Higher-Order and Symbolic
  Computation dedicated to CW'01, will be planned afterwards.  
* Submission Deadline: October 1, 2000 * Program Committee: Dan
  Friedman (Indiana University), John Hatcliff (Kansas State
  University), Richard Kelsey (NEC Research Institute), Amr Sabry
  (Indiana University), Olin Shivers (Georgia Tech), Carolyn Talcott
  (Stanford University), Hayo Thielecke (University of Birmingham).


IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP
  Keltic Lodge, Cape Breton, Nova Scotia, Canada 
  June 11-13, 2001
  http://www.csl.sri.com/csfw/csfw14/
  Call for Papers
* Theme. This workshop series brings together researchers in computer
  science to examine foundational issues in computer security.  We are
  interested both in new results in theories of computer security and
  also in more exploratory presentations that examine open questions
  and raise fundamental concerns about existing theories.  Both papers
  and panel proposals are welcome.
* Possible topics include, but are not limited to: access control,
  authentication, data and system integrity, database security,
  network security, distributed systems security, anonymity, intrusion
  detection, security for mobile computing, security protocols,
  security models, decidability issues, privacy, executable content,
  formal methods for security, information flow
* The proceedings are published by the IEEE Computer Society and will
  be available at the workshop.  Selected papers will be invited for
  submission to the Journal of Computer Security.
* Submission is open to anyone.  Workshop attendance is limited to
  about 40 participants.  
* Important Dates.
  Submission deadline:          February 1, 2001 
  Notification of acceptance:   March 16, 2001
  Camera-ready papers:          April 5, 2001
* Program Committee. Pierre Bieber, ONERA, France Ed Clarke, Carnegie
  Mellon University, USA Riccardo Focardi, University of Venice, Italy
  Dieter Gollmann, Microsoft Research, UK Li Gong, Sun Microsystems,
  USA Carl Gunter, University of Pennsylvania, USA Joshua Guttman,
  MITRE, USA Gavin Lowe, Oxford University, UK Teresa Lunt, Xerox
  PARC, USA Fabio Martinelli, IAT-CNR, Italy John McLean, Naval
  Research Laboratory, USA Ravi Sandhu, George Mason University, USA
  Andre Scedrov, University of Pennsylvania, USA Steve Schneider
  (chair), Royal Holloway, University of London, UK Rebecca Wright,
  AT&T Labs, USA


REWRITING TECHNIQUES AND APPLICATIONS (RTA 2001)
  Sea of Galilee, Israel
  May 22-24, 2001
  http://www.score.is.tsukuba.ac.jp/rta2001
  Call for Papers
* RTA 2001 solicits original papers on all aspects of rewriting,
  including applications, foundations, frameworks, implementations,
  semantics. There are four submission categories: 1. regular research
  papers describing new results, 2. papers describing the experience
  of applying rewriting techniques in other areas, 3. problem sets
  that provide realistic and interesting challenges in the field of
  rewriting, 4. system descriptions. Click the above URL for further
  information.
* Best Paper Award: A prize of 2001 NIS will be given to the best
  paper as judged by the program committee.
* Invited Speakers: Arvind (MIT), Henk Barendregt (University of Nijmegen)
* Important Dates:
  Submission:    December 4, 2000
  Notification:  February 2, 2001
  Final Version: March 1, 2001
* Program Committee: Zena Ariola, David Basin, Mariangiola Dezani,
  Philippe de Groote, Ian Mackie, Jose Meseguer, Aart Middeldorp (chair),
  Robert Nieuwenhuis, Enno Ohlebusch, Friedrich Otto, Christine Paulin,
  Sandor Vagvolgyi, Joe Wells


INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR 2001)
  Call for Papers / Tutorials / Workshops
  Siena, Italy, June 18 - 23, 2001
  http://www.dii.unisi.it/~ijcar/
* Theme. The International Joint Conference on Automated Reasoning
  (IJCAR) is the fusion of three major conferences in Automated
  Reasoning: CADE (The International Conference on Automated
  Deduction), TABLEAUX (The International Conference on Automated
  Reasoning with Analytic Tableaux and Related Methods) and FTP (The
  International Workshop on First-Order Theorem Proving). These three
  events will join for the first time at the IJCAR conference in Siena
  in June 2001.  IJCAR 2001 invites submissions related to all aspects
  of automated reasoning, including foundations, implementations, and
  applications. Original research papers and descriptions of working
  automated deduction systems are solicited.
* Submissions categories are 'Research papers and system
  descriptions', 'Short papers', 'Workshop Proposals' and 'Tutorial
  proposals'. Please visit the IJCAR web site for further information.
* Submission Deadlines (all in 2001): 
  January  1: Workshop proposals  
  January 14: Research papers and system descriptions
  January 15: Tutorial proposals 
    April  2: Short papers
* Organizers: 
  Conference Chair: Fabio Massacci (University Siena, Italy,  
     ijcar-cch@dii.unisi.it)
  Program Co-Chairs: Rajeev Gor'e (ARP-ANU, Australia),
     Alexander Leitsch (TU-Wien, Austria), Tobias Nipkow 
     (TU-M"unchen, Germany)                 
  Tutorial Chair: T. Walsh (York), 
  Workshop Chair: D. Hutter (Saarbr"ucken)
* Program committee: R. Alur (Philadelphia), F. Baader (Aachen),
  M. Baaz (Wien), B. Beckert (Karlsruhe), R. Caferra (Grenoble),
  R. Dyckhoff (St. Andrews), U. Furbach (Koblenz), D. Galmiche
  (Nancy), H. Ganzinger (MPI Saarbr"ucken), J. Goubault-Larrecq (INRIA
  Rocq.), R. H"ahnle (Chalmers), J. Harrison (Intel, Hillsboro),
  D. Kapur (New Mexico), H. Kautz (ATT, Florham Park), M. Kohlhase
  (Saarbr"ucken), Z. Manna (Stanford), P. Patel-Schneider (Bell Labs),
  F. Pfenning (Pittsburgh), A. Podelski (MPI Saarbr"ucken), W. Reif
  (Augsburg), G. Salzer (Wien), M. Vardi (Houston)


8TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND LAW
(ICAIL-2001)
  St. Louis, Missouri, USA, 21-25 May, 2001
  http://www.cs.wustl.edu/icail2001/
  Second Call for papers
* Submission deadline: January 12, 2001.
* Theme: The field of AI and law is concerned with:
  - the investigation of legal reasoning and argumentation using
    computational methods
  - applications of AI and advanced information technology to support
    tasks in regulated domains, especially for legal practice and 
    education.
  - the investigation of techniques from AI and advanced information
    technology using law as the example domain
* Invited Speakers: Kevin Ashley (Pittsburgh), Benjamin Grosof (MIT),
  Frederick Schauer (Harvard)
* Program chair: Henry Prakken (Utrecht University, The Netherlands)
* Program Committee: Vincent Aleven (Carnegie Mellon University, USA),
  Kevin D. Ashley (University of Pittsburgh, USA), Trevor J.M.
  Bench-Capon (University of Liverpool, UK), L. Karl Branting
  (University of Wyoming, USA), Rosaria Conte (CNR Rome, Italy), Anne
  Gardner (Stanford, USA), Thomas F. Gordon (GMD Bonn, Germany),
  Benjamin Grosof (MIT, USA), Carole D. Hafner (Northeastern
  University, USA), Jaap Hage (Maastricht University, The
  Netherlands), Peter Jackson (West Group, USA), Andrew J.I. Jones
  (University of Oslo, Norway), Steven Kimbrough (University of
  Pennsylvania, USA), Ronald P. Loui (Washington University, USA),
  L. Thorne McCarty (Rutgers University, USA), Anja Oskamp (Free
  Univ. Amsterdam, The Netherlands), Edwina L.  Rissland (University
  of Massachusetts, USA), Giovanni Sartor (Queen's Un. Belfast, UK /
  Bologna, Italy), Marek J. Sergot (Imperial College London, UK),
  Andrew Stranieri (La Trobe University, Australia), John Zeleznikow
  (La Trobe University, Australia)


BOOK ANNOUNCEMENT
  The Automation of Reasoning: 
  Collected papers on automated theorem proving
  (2 Volumes)
  J. Siekmann and G. Wrightson, editors
  Springer Verlag 1983
* Graham Wrightson offers several free copies of volume 2. If you
  would like one, then please email your full address to
  graham@cs.newcastle.edu.au, and he will send it by snail mail. It
  may take up to several weeks to arrive depending on your
  location. First in, first served!
 

LECTURER AT THE UNIVERSITY OF WALES AT SWANSEA
* Applications are invited for the vacancy of Lecturer in the
  Department of Computer Science.  The Department has a strong
  commitment to teaching and research in computing that is
  mathematically well founded.  It was awarded an Excellent in the
  1994 Teaching Quality Assessment and graded 4A in the 1996 Research
  Assessment Exercise.  Applicants should posses a PhD or equivalent
  in Computer Science or Mathematics and have an excellent personal
  research programme and research record with expertise in any field
  of Computer Science.  The post is permanent and available from the
  soonest date that can be arranged.  The salary will be on either the
  Grade A Scale, £18731 - £23256 per annum, or the Grade B Scale,
  £24227 to £30967 per annum.
* Informal enquiries may be directed to Professor J V Tucker, Head of
  Department on 01792 295649 email: j.v.tucker@swan.ac.uk
* Further particulars and application forms (2 copies) MUST be
  obtained from the Personnel Department, University of Wales Swansea,
  Singleton Park, Swansea, SA2 8PP to which department they should be
  returned by 27 October 2000.
* Email:  personnel.mailbox@swan.ac.uk
  URL: http://www.swan.ac.uk/personnel


CHAIR IN THEORETICAL COMPUTER SCIENCE AT EDINBURGH UNIVERSITY
* The University invites applications for a Chair in Theoretical
  Computer Science, to be held within the Division of Informatics. We
  seek a candidate who will further develop the strengths of the
  Division and its Laboratory for Foundations of Computer Science
  (LFCS). Example areas of interest are logic and proof, concurrency,
  programming languages and semantics, complexity and algorithms and
  formal development of programs and systems. Applicants from other
  theoretical areas and applicants whose interests connect the theory
  of computation with other parts of informatics are also invited to
  apply.
* In addition to outstanding strength in research and scholarship, the
  successful candidate should provide leadership and inspiration for
  fundamental research, encourage the integration of his/her own
  research with that of others and play an active role in teaching and
  administration.  
* See http://www.personnel.ed.ac.uk/FURPARTS/Acrel/306712.htm for
  further details.


RESEARCH ASSISTANT AT THE TECHNICAL UNIVERSITY MUNICH
  Theorem Proving for Java Card
  Research Assistant/PhD Vacancy
* The theorem proving group at the Technical University Munich is looking for
  a research assistant to join an EU-funded collaborative project focussing on
  the specification and verification of Java implementations for smart cards.
  The position offers exciting opportunities for scientifically challenging
  and industrially relevant research leading to a PhD.
* We seek a candidate with a strong background in one of the following areas:
  theorem proving, logic, semantics of programming languages,
  functional/logic programming
  who should like to work on the boundary between theory and practice.
  The appointment is initially for 33 months with a possible renewal.
  Starting date is negotiable within the next 6 months.
* Informal inquiries about the position may be addressed to
  nipkow@in.tum.de (www.in.tum.de/~nipkow). Formal applications should
  be sent by e-mail or to the following address: Prof. Tobias Nipkow,
  Institut fuer Informatik, Technische Universitaet Muenchen,
  Arcisstraße 21, D-80290 Muenchen, Germany






Back to the LICS web page.

Martin Grohe
Last modified: July 3, 2000