Newsletter 86
June 30, 2003
*******************************************************************
* Past issues of the newsletter are available at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
FLOPS 2004 - Call for Papers
LPNMR-7 - Call for Papers
CAV 2003 - Call for Participation
* JOURNALS
TPLP Special Issue on Specification Analysis and Verification
of Reactive Systems
* VACANCIES
PhD studentship, University of Warwick UK
SEVENTH INT. SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2004)
Nara-Ken New Public Hall, Nara, Japan
April 7-9, 2004
http://logic.is.tsukuba.ac.jp/FLOPS2004/
Call for Papers
* The symposium is a forum for research on all issues concerning
functional programming and logic programming. In particular, it wants
to stimulate the cross-fertilization as well as integration of the two
paradigms. The symposium takes place about every 1.5 years in Japan.
Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village
(1996), Kyoto(1998), Tsukuba (1999), Tokyo (2001) and Aizu (2002).
* The following three distinguished researchers have accepted to give
invited talks at FLOPS 2004: Masami Hagiya (University of Tokyo);
Carsten Schuermann (Yale University); Peter Selinger (University of Ottawa).
* Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions
should fall into one of the following categories: (i) regular research
papers, these should describe new results and will be judged on
originality, correctness and significance; (ii) system descriptions;
these should contain a link to a working system and will be judged on
originality, usefulness and design.
All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use LaTeX2e
and the Springer llncs class file.
* Submission Deadline: October 1, 2003.
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING
(LPNMR-7)
Call for Papers
Ft. Lauderdale, USA, January 6 - 8, 2004
http://www.tcs.hut.fi/Conf/lpnmr-7/
* Theme. LPNMR is a forum for exchanging ideas on declarative logic
programming, nonmonotonic reasoning and knowledge representation. In the
1980s researchers working in the area of nonmonotonic reasoning discovered
that their formalisms could be used to describe the behavior of negation
as failure in Prolog, and the first LPNMR conference was convened in
1991 for the purpose of discussing this relationship. This work has led
to the creation of logic programming systems of a new kind - answer set
solvers, and to the emergence of a new approach to solving combinatorial
search problems, called answer set programming. The aim of the
conference is to facilitate interactions between researchers interested
in the design and implementation of such declarative logic programming
representation and nonmonotonic reasoning.
* Submission. Max. 13 pages in Springer LNCS style. Paper submission is
electronic via the conference home page
* Submission Deadline. July 22, 2003
* Program Co-Chairs. V. Lifschitz, I. Niemela
* Program Committee. J. Alferes, C. Baral, Y. Dimopoulos, J. Dix, P. M. Dung,
E. Erdem, M. Gelfond, T. Janhunen, J. Lobo, F. Lin, R. Otero, V. Marek,
G. Pfeifer, E. Pontelli, T. Przymusinski, C. Sakama, T. C. Son, H. Turner,
D. Warren, J.-H. You
COMPUTER-AIDED VERIFICATION (CAV 2003)
Boulder, Colorado, USA
July 8-12, 2003
http://www.cs.utexas.edu/users/trcenter/CAV/cav2003homepage.html
Call for Participation
* CAV 2003 is the 15th Computer-Aided Verification conference.
The conference will start with one day of tutorials, and
will be followed by five satellite events that relate to
computer-aided verification.
TPLP SPECIAL ISSUE ON SPECIFICATION ANALYSIS AND VERIFICATION OF
REACTIVE SYSTEMS
http://wwwhome.cs.utwente.nl/~etalle/specialissue.html
* This special issue is inspired to the homonymous ICLP workshops that
took place during iclp 2001 and iclp 2002. Nevertheless, submission is
open to everyone.
* Deadline for submission: November 15, 2003
* Editors: Giorgio Delzanno (University of Genova), Sandro Etalle
(University of Twente and CWI Amsterdam), Maurizio Gabbrielli (University
of Bologna).
PHD STUDENTSHIP
Scalable Software Model Checking Based on Game Semantics
Department of Computer Science, University of Warwick, UK
* A three-year PhD studentship funded by the Engineering and Physical
Sciences Research Council is available from October 2003. It covers
academic fees, and living expenses at the following rates: GBP 9,000
(2003/04), GBP 10,500 (2004/05), GBP 12,000 (2005/06).
* Project summary: Model checking has been a highly successful approach
to verification of hardware and protocols. Recently, model
checking of software has become an active and important
area of research and application. In contrast to hardware
and protocols, software is often highly structured, and contains
objects, higher-order computation, complex control mechanisms, pointers,
concurrency, and other features. Although impressive tools have been built,
a number of substantial challenges remain for software model checking.
One of the main breakthroughs in theoretical computer science in the past
decade has been the development of game semantics, which has produced
the first accurate models for a variety of programming languages and
logical systems. Founding software model checking on game semantics has
the potential to overcome most of the remaining challenges, because
the models are compositional in the style of denotational semantics,
yet have clear operational content.
We propose contributions to theory and practice of the novel research
direction of software model checking based on game semantics. Our main goal
is to enable compositional verification of programs and specifications which
contain large, polymorphic or infinite data types. This has not been
addressed so far, but is necessary for the approach to scale to industrial
software.
* The studentship will be supervised by Dr R Lazic, within the Theory and
Practice of Programming research group led by Prof D Peled.
* Collaboration is planned with the Foundations of Computation research group
at Oxford, and with Formal Systems (Europe) Ltd.
* Requirements and application:
You should have at least a II.1 degree in Computer Science or Mathematics,
or equivalent. You need to have experience of at least one of:
semantics of programming languages; automata theory; process algebra;
category theory.
* Further information is available at:
http://www.dcs.warwick.ac.uk/people/academic/Ranko.Lazic/res/phd.html
* Informal enquiries by e-mail are welcome: Ranko.Lazic@dcs.warwick.ac.uk
* You can apply on-line, stating the project title in Question 13:
http://www.warwick.ac.uk/study/postgraduate/
* Closing date: 11 July 2003.
Back to the LICS web page.