CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CF Participation: Principles and Practice of Declarative Programming PPDP '08

ACM PPDP 2008 -  Call For Participation

            10th ACM-SIGPLAN International Symposium on
        Principles and Practice of Declarative Programming

               Valencia, Spain, July 15-17, 2008

         ****  EARLY REGISTRATION: June 10 2008  ****


SCOPE:  PPDP   2008  is  a  forum  for   the  declarative  programming
communities,  gathering researchers working  on logic,  constraint and
functional  programming,  but   also  on  other  programming  language
paradigms like visual programming, executable specification languages,
database languages, AI and  knowledge representation languages for the
"semantic web".

RELATED  EVENTS:   PPDP  2008  will   be  co-located  with   the  15th
International   Static  Analysis  Symposium   (SAS  2008),   the  18th
International   Symposium  on   Logic-Based   Program  Synthesis   and
Transformation  (LOPSTR 2008)  and the  4th International  Workshop on
Programming Language Interference and Dependence (PLID 2008).


Invited Speaker:

Michael Leuschel. Declarative Programming for Verification: Lessons
and Outlook

Accepted Papers:

Veronique Benzaken, Giuseppe Castagna, Dario Colazzo and Cedric
Miachon. Pattern by Example: type-driven visual programming of XML

Lunjin Lu. Inferring Precise Polymorphic Type Dependencies in Logic
Programs Olaf Chitil and Thomas Davie. Comprehending Finite Maps for
Algorithmic Debugging of Higher-Order Functional Programs

Christian Schulte and Peter Stuckey. Dynamic Variable Elimination
during Propagation Solving

Thibaut Feydy, Andreas Schutt and Peter Stuckey. Global Difference
Constraint Propagation for Finite Domain Solvers

Romain Pchoux and Jean-Yves Marion. Characterizations of polynomial
complexity with a better intensionality

rinus plasmeijer, Jan Martin Jansen, Pieter Koopman and Peter
Achten. Declarative Ajax and Client Side Evaluation of Workflows using

Peter Thiemann and Matthias Neubauer. Macros for Context-Free Grammars

Yves Bertot and Vladimir Komendantsky. Fixed point semantics and
partial recursion in Coq

Martin Sulzmann and Edmund Lam. Parallel Execution of Multi-Set
Constraint Rewrite Rules

Raphael Chenouard, Laurent Granvilliers and Ricardo Soto. Model-Driven
Constraint Programming

Manuel Montenegro, Ricardo Pena and Clara Segura. A Type System for
Safe Memory Management and its Proof of Correctness

Hendrik Decker and Davide Martinenghi. Classifying Integrity Checking
Methods with regard to Inconsistency Tolerance

Mauro Piccolo and Luca Paolini. Semantically Linear Programming

Salvador Lucas and Jose Meseguer. Order-Sorted Dependency Pairs

Edison Mera, Pedro Lopez-Garcia, Manuel Carro and Manuel
Hermenegildo. Towards Execution Time Estimation in Abstract
Machine-Based (Logic) Languages

Clara Bertolissi and Maribel Fernandez. A rewriting framework for the
composition of access control policies

Michael Hanus. Call Pattern Analysis for Functional Logic Programs

Sonia Estévez, Antonio J. Fernández, Teresa Hortalá
González, Mario Rodríguez Artalejo, Fernando Saenz-Perez and
Rafael del Vado Vírseda. Cooperation of Constraint Domains in the
TOY System

Brigitte Pientka and Joshua Dunfield. Programming with proofs and
explicit contexts

Rafael Caballero, Mario Rodrí­guez Artalejo and Carlos
A. Romero-Díaz. Similarity-based Reasoning in Qualified Logic

Paulo F. Silva and Jose Oliveira. 'Galculator': Functional prototype
of a Galois-connection based proof assistant

Carlos Olarte and Frank D. Valencia. On the Expressivity of Universal
Timed CCP: Undecidability of Monadic FLTL and Closure Operators for

José Morales, Manuel Carro and Manuel Hermenegildo. Comparing Tag
Scheme Variations Using an Abstract Machine Generator


PROGRAM CHAIR:   Sergio Antoy, Portland State University
SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid
LOCAL CHAIR:	 Christophe Joubert, Technical University of Valencia


Elvira Albert        Complutense University of Madrid, Spain
Sergio Antoy         Portland State University, USA
Maribel Fernandez    King's College London, UK
Maurizio Gabbrielli  University of Bologna, Italy
Neil Ghani           University of Nottingham, UK
Masami Hagiya        University of Tokyo, Japan
Joxan Jaffar         National University, Singapore
Claude Kirchner      INRIA Bordeaux, France
Herbert Kuchen       University of Muenster, Germany
Michael Maher        NICTA and University of New South Wales, Australia
Dale Miller          INRIA Saclay, France
Eugenio Moggi        University of Genova, Italy
Kostis Sagonas       Uppsala University, Sweden
Carsten Schurmann,   IT University of Copenhagen, Denmark
Peter Sestoft        IT University of Copenhagen, Denmark