[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