Newsletter 114
March 14, 2008

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  LICS 2008 - List of accepted papers
  SECRET 2008 - Call for Papers
  AiML-2008 - Third Call for papers
  SPIN 2008 - Final Call for Papers
  IMLA 2008 - Call for Papers
  COMPULOG/ALP Summer School
  VERIFY 2008 - Call for Papers
  ICLP 2008 - Call for Papers
  LASH 2008 - Call for Papers
  POSTDOC AND PROGRAMMER POSITIONS - University of New South Wales, Australia

  List of Accepted Papers
  - Klaus Aehlig and Arnold Beckmann.
    On the Computational Complexity of Cut-Reduction
  - Christian Urban, James Cheney and Stefan Berghofer.
    Mechanising the Metatheory of LF
  - Matthew Hague, Andrzej Murawski, Luke Ong and Olivier Serre.
    Collapsible Pushdown Automata and Recursion Schemes
  - Francois Pottier.
    Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
  - Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Marcus Groesser.
    Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata
  - Taolue Chen and Wan Fokkink.
    On the Axiomatizability of Impossible Futures: Preorder versus Equivalence
  - Ivan Lanese, Jorge A. Perez, Davide Sangiorgi and Alan Schmitt.
    On the Expressiveness and Decidability of Higher-Order Process Calculi
  - Mikolaj Bojanczyk, Luc Segoufin and Howard Straubing.
    Piecewise Testable Tree Languages
  - Barnaby Martin, Florent Madelaine and Hubie Chen.
    Quantified Constraints and Containment Problems
  - Marc de Falco.
    The Geometry of Interaction of Differential Interaction Nets
  - Soren B. Lassen and Paul Blain Levy.
    Typed Normal Form Bisimulation for Parametric Polymorphism
  - Arnaud Carayol, Matthew Hague, Antoine Meyer, Luke Ong and Olivier Serre.
    Winning Regions of Higher-Order Pushdown Games
  - James F. Lynch.
    A Logical Characterization of Individual-Based Models
  - Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalb\'an and Andre Nies.
    From Automatic Structures to Borel Structures
  - David Duris.
    Hypergraph Acyclicity and Extension Preservation Theorems
  - Pierre Chambart and Philippe Schnoebelen.
    The Ordinal Recursive Complexity of Lossy Channel Systems
  - Soren Riis.
    On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
  - Vineet Kahlon.
    Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
  - Roberto Maieli and Olivier Laurent.
    Local Cut Elimination for Monomial MALL Proof Nets
  - Adrià Gascón, Guillem Godoy and Manfred Schmidt-Schauss.
    Context  Matching for  Compressed Terms
  - Andrzej Murawski.
    Reachability Games and Game Semantics: On Comparing Nondeterministic Programs
  - Emmanuel Beffara.
    An Algebraic Process Calculus
  - Makoto Tatsuta.
    Types for Hereditary Permutators
  - Martin Grohe.
    Definable Tree Decompositions
  - Catarina Carvalho, Victor Dalmau and Andrei Krokhin.
    Caterpillar Duality for Constraint Satisfaction Problems
  - Olivier Delande and Dale Miller.
    A Neutral Approach to Proof and Refutation in MALL
  - Virgile Mogbil and Paulin Jacobé de Naurois.
    Correctness of Multiplicative Additive Proof Structures is NL-Complete
  - Guillaume Burel.
    A First-Order Representation of Pure Type Systems using Superdeduction
  - Tomas Brazdil, Jan Kretinsky, Antonin Kucera and Vojtech Forejt.
    The Satisfiability Problem for Probabilistic CTL
  - Abbas Edalat.
    Weak Topology and Differentiable Operator for Lipschitz Maps
  - Gordon Plotkin and Matija Pretnar.
    A Logic for Algebraic Effects
  - Agata Ciabattoni, Nikolaos Galatos and Kazushige Terui.
    From Axioms to Analytic Rules in Nonclassical Logics
  - Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan.
    On the Expressiveness and Complexity of Randomization in Finite State Monitors
  - Victor Dalmau and Benoit Larose.
    Maltsev + Datalog -> Symmetric Datalog
  - Sam Staton.
    General Structural Operational Semantics through Categorical Logic
  - Carsten Schürmann and Jeffrey Sarnat.
    Structural Logical Relations
  - Andrew Gacek, Dale Miller and Gopalan Nadathur.
    Combining Generic Judgments with Recursive Definitions
  - Marcelo Fiore.
    Second-Order and Dependently-Sorted Abstract Syntax
  - Daniel R Licata, Noam Zeilberger and Robert Harper.
    Focusing on Binding and Computation

   Sunday, June 22, 2008,
   Pittsburgh, USA
  Affiliated workshop of the
  21st IEEE Computer Security Foundations Symposium (CSF) and the
  23rd IEEE Symposium on Logic In Computer Science (LICS)
  Abstract Submission      March 31, 2008
  Full Paper Submission    April  6, 2008
  Acceptance Notification  May   12, 2008
  Camera Ready             May   26, 2008
  Workshop                 June  22, 2008
  The aim of this workshop is to bring together rewriting researchers
  and  security  experts, in order to  foster  their  interaction and
  develop future collaborations in this area,  provide  a  forum  for
  presenting  new  ideas and work in progress,  and  enable newcomers
  to learn about current activities in this area.
  The workshop focuses on the use of rewriting techniques in all aspects
  of security. Specific topics include: authentication, encryption,
  access control and authorization, protocol verification, specification
  of policies, intrusion detection, integrity of information, control of
  information leakage, control of distributed and mobile code, etc.
* Previous instances of SecRet were held in 2006 (S. Servolo, Venice,
  Italy), and 2007 (Paris, France).
  SecReT'08 will be held at Carnegie Mellon University in Pittsburgh,
  Pennsylvania, USA. The  workshop is associated with the 21st IEEE
  Computer Security Foundations Symposium (CSF'08) and the  23rd IEEE
  Symposium on Logic in Computer Science (LICS'08).
  Submission is web-based via a link available in  the main web page.
  Submissions must be received by April 6, 2008. In addition, a title
  and abstract must be submitted by March 31, 2008. Submitted papers
  should be at most 15 pages in the ENTCS style, and should include
  an abstract and the author's information. See the author's
  instructions of ENTCS style at
  Accepted papers will be published in a preliminary volume available
  during the workshop.  After the workshop, a final version of the
  proceedings will be published in the Elsevier series Electronic
  Notes in Theoretical Computer Science (ENTCS).
  Hubert Comon         Cachan, France
  Jonathan Millen      MITRE, USA
  Daniel Dougherty     Worcester Polytechnic Institute, USA
  Santiago Escobar     Technical University of Valencia, Spain
  Pierpaolo Degano     Pisa, Italy
  Daniel Dougherty     Worcester, USA
  Santiago Escobar     Valencia, Spain
  Maribel Fernandez    King's College London, UK
  Thomas Genet         IRISA Rennes, France
  Joshua Guttman       MITRE, USA
  Catherine Meadows    NRL, USA
  Monica Nesi          L'Aquila, Italy
  Michael Rusinowitch  Lorraine, France
  Ralf Treinen         Paris-7, France

     9-12 September 2008, LORIA, Nancy, France
  Advances in Modal Logic is an initiative aimed at presenting
  an up-to-date picture of the state of the art in modal logic
  and its many applications. The initiative consists of a
  conference series together with volumes based on the conferences.
* AiML-2008 is the seventh conference in the series.
  We invite submission on all aspects of modal logics, including
  the following:
  - history of modal logic
  - philosophy of modal logic
  - applications of modal logic
  - computational aspects of modal logic
     + complexity and decidability of modal and temporal logics
     + modal and temporal logic programming
     + model checking
     + theorem proving for modal logics
  - theoretical aspects of modal logic
     + algebraic  and categorical perspectives on modal logic
     + coalgebraic modal logic
     + completeness and canonicity
     + correspondence and duality theory
     + many-dimensional modal logics
     + modal fixed point logics
     + model theory of modal logic
     + proof theory of modal logic
  - specific instances and variations of modal logic
     + description logics
     + dynamic logics and other process logics
     + epistemic and deontic logics
     + modal logics for agent-based systems
     + modal logic and game theory
     + modal logic and grammar formalisms
     + provability and interpretability logics
     + spatial and temporal logics
     + hybrid logic
     + intuitionistic logic
     + monotonic modal logic
     + substructural logic
  Papers on related subjects will also be considered.
  Invited speakers at AiML-2008 will include the following:
  - Mai Gehrke, Radboud Universiteit Nijmegen
  - Guido Governatori, The University of Queensland
  - Agi Kurucz, King's College London
  - Lawrence Moss, Indiana University
  - Michael Zakharyaschev, Birkbeck College
  In a change from previous AiML's, there will be two types of paper:
  (1)  Full papers for publication and presentation at the conference.
  (2)  Abstracts for short presentation only.
  Both types of  paper should be submitted electronically using the
  submission page at
  The online submission system is now open. The submission deadline
  is 31 March 2008.
  Alessandro Artale     (Free University of Bolzano, Italy)
  Philippe Balbiani     (IRIT, Toulouse, France)
  Alexandru Baltag      (University of Oxford, UK)
  Guram Bezhanishvili   (New Mexico State University, USA)
  Patrick Blackburn     (LORIA, France)
  Stephane Demri        (CNRS, Cachan, France)
  Melvin Fitting        (City University of New York, USA)
  Guido Governatori     (University of Queensland, Australia)
  Silvio Ghilardi       (University of Milano, Italy)
  Valentin Goranko      (University of the Witwatersrand, South Africa)
  Rajeev Gore           (The Australian National University, Australia)
  Andreas Herzig        (IRIT, Toulouse, France)
  Ian Hodkinson         (Imperial College London, UK)
  Ramon Jansana         (University of Barcelona, Spain)
  Alexander Kurz        (University of Leicester, UK)
  Carsten Lutz          (Dresden University of Technology, Germany)
  Edwin Mares           (Victoria University of Wellington)
  Larry Moss            (Indiana University, USA)
  Dirk Pattinson        (Imperial College London, UK)
  Mark Reynolds         (University of Western Australia, Australia)
  Ildiko Sain           (Hungarian Academy of Sciences)
  Ulrike Sattler        (University of Manchester, UK)
  Renate Schmidt        (University of Manchester, UK)
  Jerry Seligman        (University of Auckland, New Zealand)
  Valentin Shehtman     (Moscow State University, Russia)
  Nobu-Yuki Suzuki      (Shizuoka University, Japan)
  Yde Venema            (ILLC, University of Amsterdam, The Netherlands)
  Heinrich Wansing      (Dresden University of Technology, Germany)
  Frank Wolter          (University of Liverpool, UK)
  Michael Zakharyaschev (Birkbeck College, London, UK)
  Submission deadline: 31 March 2008
  Acceptance notification: 31 May 2008
  Final version of full papers due: 30 June 2008
  Conference: 9-12 September 2008
  Advances in Modal Logic 2008 will be held at LORIA (Laboratoire
  Lorrain de Recherche en Informatique et ses Applications) in Nancy,
  in the Lorraine, in the east of France.
  Information about AiML-2008 will be available at the conference

   Final Call for Papers
   August 10-12, 2008
   University of California
   Los Angeles, USA
* Aim and Scope:
  The SPIN workshop is a forum for practitioners and researchers
  interested in state space-based techniques for the validation and
  analysis of software systems. Theoretical techniques and empirical
  evaluations based on explicit representations of state spaces, as
  implemented in the SPIN model checker or other tools, or techniques
  based on combination of explicit representations with other
  representations, are the focus of this workshop.
  We particularly welcome papers describing the development and
  application of state space exploration techniques in testing and
  verifying security-critical software, enterprise and web applications,
  embedded software, and other interesting software platforms. The
  workshop aims to encourage interactions and exchanges of ideas with all
  related areas in software engineering.
* Invited speakers:
  - Matthew Dwyer (University of Nebraska)
  - Daniel Jackson (MIT)
  - Shaz Qadeer (Microsoft Research)
  - Wolfram Schulte (Microsoft Research)
  - Yannis Smaragdakis (University of Oregon)
* Important Dates and Deadlines:
  Deadline for submission of full papers: April 2, 2008
  Notification of acceptance/rejection: May 10, 2008.
  Deadline for final version of accepted papers: May 28, 2008.
  Workshop: August 10-12, 2008.
* Important Dates and Deadlines:
  Deadline for submission of full papers: April 2, 2008
  Notification of acceptance/rejection: May 10, 2008.
  Deadline for final version of accepted papers: May 28, 2008.
  Workshop: August 10-12, 2008.
* Topics of Interest:
  - Algorithms and storage methods for explicit state model checking
  - Directed model checking using heuristics
  - Parallel or distributed model checking using multi-core or
    multiple computers
  - Techniques for dealing with infinite state spaces
  - Model checking of timed and probabilistic systems
  - Abstraction and the use of static analysis to reduce state spaces
  - Combinations of enumerative and symbolic techniques
  - Analysis for modeling languages, including SE languages (UML,...)
  - New property specification languages, including new forms of temporal
  - Model checking of programming languages and code analysis
  - Automated testing using model checking techniques
  - Derivation of invariants, test cases, or other useful information
    from state spaces
  - Combination of model-checking techniques with other analysis techniques
  - Modularity and compositionality
  - Comparative studies, including to other model checking techniques
  - Case studies of interesting systems or with interesting results
  - Theoretical and algorithmic foundations of model-checking based analysis
  - Engineering and implementation of model-checking tools and platforms
  - Insightful surveys or historical accounts on topics of relevance to
    SPIN workshops
* Organization:
  General Chair: Jens Palsberg (UC Los Angeles, USA)
  Programme Chairs:
  - Klaus Havelund (NASA JPL/Caltech., USA)
  - Rupak Majumdar (UC Los Angeles, USA)
* Programme Committee:
  Christel Baier  (Bonn, Germany)
  Dragan Bosnacki (Eindhoven, Netherlands)
  Lubos Brim (Brno, Czech)
  Stefan Edelkamp (Dortmund, Germany)
  Dawson Engler (Stanford, USA)
  Kousha Etessami (Edinburgh, UK)
  Susanne Graf (Verimag, France)
  John Hatcliff (Kansas State Univ., USA)
  Gerard Holzmann (NASA JPL, USA)
  Franjo Ivancic (NEC, USA)
  Sarfraz Khurshid (UT Austin, USA)
  Kim Larsen (Aalborg, Denmark)
  Madan Musuvathi (Microsoft, USA)
  Joel Ouaknine (Oxford, UK)
  Corina Pasareanu (NASA Ames, USA)
  Doron Peled (Warwick, UK)
  Paul Pettersson (Malardalen, Sweden)
  Koushik Sen (Berkeley, USA)
  Natasha Sharygina (Lugano, Switzerland)
  Eran Yahav (IBM, USA)

  A LICS'08 affiliated workshop
  Pittsburgh, Pennsylvania, June 23, 2008
* Constructive modal logics and type theories are of increasing foundational
  and practical relevance in computer science. Applications are in type
  disciplines for programming languages, and meta-logics for reasoning about
  a variety of computational phenomena.
  Theoretical and methodological issues center around the question of
  how the proof-theoretic strengths of constructive logics can best be
  combined with the model-theoretic strengths of modal
  logics. Practical issues center around the question which modal
  connectives with associated laws or proof rules capture
  computational phenomena accurately and at the right level of
  This workshop will bring together designers, implementers, and users
  to discuss all aspects of intuitionistic modal logics and type
* Topics include, but are not limited to:
  - applications of intuitionistic necessity and possibility
  - monads and strong monads
  - constructive belief logics and type theories
  - applications of constructive modal logic and modal type theory to
    formal verification, foundations of security, abstract
    interpretation, and program analysis and optimization
  - modal types for integration of inductive and co-inductive types, higher\
  - order abstract syntax, strong functional programming
  - models of constructive modal logics such as algebraic,
    categorical, Kripke, topological, and realizability
  - notions of proof for constructive modal logics
  - extraction of constraints or programs from modal proofs
  - proof search methods for constructive modal logics and their
* The workshop continues a series of previous LICS-affiliated
  workshops, which were held as part of FLoC'99, Trento, Italy and of
  FLoC'02, Copenhagen, Denmark.
  Submission: April 25, 2008
  Notification: May 23, 2008
  Final papers due: June 7, 2008
  Workshop Date: June 23, 2008
  Gavin Bierman (Microsoft, UK)
  Valeria de Paiva (PARC, USA)
  Michael Mendler (Bamberg, DE)
  Aleks Nanevski (Microsoft, UK)
  Brigitte Pientka (McGill, CA)
  Eike Ritter (Birmingham, UK)
  Frank Pfenning (CMU, USA)
  Torben Brauner (Roskilde, RK)
  Valeria de Paiva                 Aleks Nanevski
  PARC, Palo Alto Research Center  Microsoft Research   

  Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU
  New Mexico State University
  Las Cruces, NM, USA
  July 24-27, 2008
* The third international summer school in Logic Programming and
  Computation Logic will be held on the campus of New Mexico
  State University in beautiful Las Cruces, New Mexico.
  The summer school is intended  for graduate students,
  post-doctoral students, young researchers, and programmers
  interested in constraints, logic programming, computational logic
  and their applications. The lectures will be given by internationally
  renowned researchers who have made significant contributions to the
  advancement of these disciplines.
  The summer school is a good opportunity for quickly acquiring background
  knowledge on important areas of computational logic. The summer school
  is especially directed to Ph.D. students who are just about to start
  research. Exceptional undergraduate students in their senior year
  are also encouraged to attend.
* The summer school will consist of six 1/2 day tutorials on the following
  - Theoretical Foundations of Logic Programming
    [Miroslaw Truszczynski, U. of Kentucky]
  - Answer Set Programming
    [Torsten Schaub, U. of Potsdam]
  - Implementation and Execution Models for Logic Programming
    [Manuel Hermenegildo, Polytechnic Univ. of Madrid]
  - Logic Programming and Multi-agent Systems
    [Francesca Toni, Imperial College]
  - Foundations of Constraint and Constraint Logic Programming
  - Foundations of Semantic Web and Computational Logic
    [Sheila McIlraith, University of Toronto]
* Registration
  Due to the limit on the number of slots available, we invite
  interested student to submit an application for admission to
  the summer school composed of the following items:
  1. a one page statement of interest, explaining your
   research background and what you expect to gain from
   the summer school
  2. a short (2-page) vitae
* Applications should be submitted in electronic form to: and
* All submissions will be acknowledged with an email.
  If you do not receive acknowledgement within 3 working days,
  please email Enrico Pontelli (
* Important dates
  Requests for student grants: April 15, 2008;
  Application for Admission:   April 25, 2008;
  Notification of Admission and grants: May 1st, 2008;
  Summer School: July 24-27, 2008
* Organizers
  Enrico Pontelli, New Mexico State University, USA
  Inna Pivkina, New Mexico State University, USA
  Karen Villaverde, New Mexico State University, USA
  Son Cao Tran, New Mexico State University, USA

VERIFY'08 - 5th International Verification Workshop
  Call for Papers
  August 10-11, 2008, Sydney, Australia
* The VERIFY workshop series aims at bringing together people who are interested
  in the development of safety and security critical systems, in formal methods,
  in the development of automated theorem proving techniques, and in the
  development of tool support. Practical experiences gained in realistic
  verifications are of interest to the automated theorem proving community and
  new theorem proving techniques should be transferred into practice. The
  overall objective of the VERIFY workshops is to identify open problems and to
  discuss possible solutions under the theme
  What are the verification problems? What are the deduction techniques?
* The scope of VERIFY includes topics such as:
  + ATP techniques in verification            + Information flow control
  + Case studies (specif. & verific.)         + Refinement & Decomposition
  + Combination of verification tools         + Reliability of mobile computing
  + Integration of ATPs and CASE-tools        + Reuse of specifications & proofs
  + Compositional & modular reasoning         + Management of change
  + Experience reports on using verification  + Safety-critical systems
  + Gaps between problems and techniques      + Security models
  + Formal methods for fault tolerance        + Tool support for formal methods
* Important dates:
  Extended Abstract Submission Deadline:   May 15, 2008
  Extended Paper Submission Deadline:      May 22, 2008
  Notification of acceptance:              June 25, 2008
  Final version due:                       July 10, 2008
  Workshop:                                August 10-11, 2008

  First call for papers
  Udine, Italy,
  December 9th-13th, 2008
  Since  the  first  conference  held  in  Marseilles  in 1982, ICLP has been the
  premier  international conference for presenting research in logic programming.
  Contributions (papers, position papers, and posters) are sought in all areas of
  logic programming including but not restricted to:
  - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
    Knowledge Representation.
  - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.
  - Environments:  Program  Analysis,  Program  Transformation,  Validation  and
    Verification, Debugging, Profiling, Integration.
  - Language  Issues:  Extensions, Integration with Other Paradigms, Concurrency,
    Modularity,  Objects,  Coordination,  Mobility,  Higher Order, Types, Modes,
    Programming Techniques.
  - Related Paradigms:  Abductive Logic Programming, Inductive Logic Programming,
    Constraint Logic Programming, Answer-Set Programming.
  - Applications:   Databases,    Data   Integration  and   Federation,  Software
    Engineering,  Natural  Language  Processing,  Web  and Semantic Web, Agents,
    Artificial Intelligence, Bioinformatics
* The three broad categories for submissions are:
   (1) Technical papers,  providing  novel research  contributions,  innovative
       perspectives  on the field,  and/or novel integrations  across different
   (2) Application  papers,  describing  innovative uses  of  logic programming
       technology in real-world application domains;
   (3) Posters, ideal for presenting and discussing current work, not yet ready
       for publication, for PhD thesis summaries and research project overviews.
  The  ICLP'08  program will include several workshops. They are perhaps the best
  place  for  the  presentation  of  preliminary  work, novel ideas, and new open
  problems  to  a more focused and specialized audience. Workshops also provide a
  venue  for  presenting  specialised  topics  and  opportunities  for  intensive
  discussions   and   project   collaboration  in  any  areas  related  to  logic
  programming, including cross-disciplinary areas.
                                  Papers          Posters
  Abstract submission deadline    June 2nd        n/a
  Submission deadline             June 9th        August 15th
  Notification of authors         August 1st      September 1st
  Camera-ready copy due           September 15th  September 15th
  20 Years of Stable Models       TBA
  Doctoral Consortium             TBA
  Workshop Proposals              June 2nd
  Early-bird Registration         TBA
  Conference                      December 9-13, 2008
* Program Committee:
     Salvador Abreu           Sergio Antoy
     Pedro Barahona           Chitta Baral
     Gerhard Brewka           Manuel Carro
     Michael Codish           Alessandro Dal Palu'
     Bart Demoen              Agostino Dovier
     John Gallagher           Michael Gelfond
     Carmen Gervet            Gopal Gupta
     Manuel Hermenegildo      Andy King
     Michael Maher            Juan Moreno Navarro
     Alberto Pettorossi       Brigitte Pientka
     Gianfranco Rossi         Fariba Sadri
     Vitor Santos Costa       Tran Cao Son
     Paolo Torroni            Frank Valencia
     Mark Wallace

  Computation of structures from declarative descriptions
  Call For Papers
  Leuven, Belgium, November 6-7, 2008
  Submission: August 15, 2008
  Notification: September 15, 2008
  Workshop: November 6-7, 2008
  In many real-life problems, we search for objects of complex nature --
  plans, schedules, assignments. Such objects are often represented as
  (finite) structures, which are implicitly specified by means of
  theories in some logic. Thus, languages are needed to describe
  structures, and algorithms to extract them from these implicit
  descriptions. Propositional Satisfiability (SAT), Constraint
  Programming (CP), and Answer Set Programming (ASP) are arguably the
  three most prominent areas that develop such languages and techniques.

* The positions are associated to an Australian Research Council Linkage
  Grant funded project "Model Checking Logics of Knowledge and
  Probability in Pursuit-Evasion Games".  The research will involve the
  development of model checking techniques for the logic of knowledge,
  probability and time, and their evaluation in the partner's
  application: pursuit-evasion games motivated from search and rescue
  mission planning problems.
* For details, see

Back to the LICS web page.