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

CFP: Workshop on Logic-based methods in Programming Environments WLPE08

WLPE'08 -- Call for Papers

The 18th Workshop on Logic-based methods in  Programming Environments

                 December 9th-13th 2008, Udine, Italy

                  (Satellite Workshop of ICLP 2008)

The 18th  Workshop on Logic-based methods  in Programming Environments
will  take place in  Udine (Italy),  as a  satellite workshop  of ICLP
2008,  the 24th  International Conference  on Logic  Programming. This
workshop  will   continue  the  series   of  successful  international
workshops on logic programming  environments held in Ohio, USA (1989),
Eilat,  Israel  (1990), Paris,  France  (1991),  Washington D.C.,  USA
(1992),  Vancouver,  Canada  (1993),  Santa Margherita  Ligure,  Italy
(1994), Portland, USA (1995),  Leuven, Belgium (1997), Las Cruces, USA
(1999),  Paphos, Cyprus  (2001), Copenhagen,  Denmark  (2002), Mumbai,
India  (2003), Saint  Malo, France  (2004), Sitges  (Barcelona), Spain
(2005),  Seattle,  USA  (2006)   and  Porto,  Portugal  (2007).   More
information  about  the series  of  WLPE  workshops  can be  found  at

The  workshop aims at  providing an  informal meeting  for researchers
working  on  logic-based  methods  and  tools  which  support  program
development  and  analysis.   This  year,  we  plan  to  continue  and
consolidate  the shift  in focus  from environmental  tools  for logic
programming  to  logic-based environmental  tools  for programming  in
general, so that this workshop can be possibly interesting for a wider
scientific   community.   In  addition   to  papers   describing  more
conceptual  and theoretical  work, the  call for  papers  will solicit
papers describing the implementation of, and the experience with, such
tools.  Areas  particularly relevant to the workshop  include (but are
not limited to):

  -  static and dynamic analysis
  -  debugging and testing
  -  program verification and validation
  -  code generation from specifications
  -  termination and non-termination analysis
  -  reasoning on occurs-check freeness and determinacy
  -  profiling and performance analysis
  -  type- and mode analysis
  -  module systems
  -  optimization tools

Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact
the organizers and will be given suitable advice.

Workshop Organizers
    Puri Arenas
    Facultad de Informatica
    Universidad Complutense de Madrid
    28040-Madrid, Spain
    Phone: +34 91 394 76 33
    Fax: +34 91 336 50 18

    Damiano Zanardini
    Facultad de Informatica
    Universidad Politecnica de Madrid
    28660-Boadilla del Monte, Madrid, Spain
    Phone:  +34 91 336 74 48
    Fax: +34 91 394 75 29

Program Committee

 - Puri Arenas, Universidad Complutense de Madrid (ws co-chair)
 - Michael Codish, Ben-Gurion University of the Negev
 - Roberta Gori, Universita di Pisa
 - Arnaud Gotlieb, IRISA/CNRS UMR 6074
 - Patricia Hill, University of Leeds
 - Jacob Howe, City University, London
 - Sabina Rossi, Universita Ca' Foscari di Venezia
 - Tom Schrijvers, K.U.Leuven
 - Alexander Serebrenik, Technische Universiteit Eindhoven
 - Wim Vanhoof, University of Namur
 - German Vidal, Universidad Politecnica de Valencia
 - Damiano Zanardini, Universidad Politecnica de Madrid (ws co-chair)

Important Dates

  Submission:   September 15th, 2008 (23:59:59 Samoa time (GMT -11))
  Notification: October 8th, 2008
  Camera-ready: October 26th, 2008
  Workshop:     TBA (probably Dec 9th or Dec 13th, half-day)


Papers should be submitted to

The  length of papers  can range  from 2  to 15  pages in  LNCS style.
Informal proceedings  will be distributed at the  workshop.  After the
workshop,  proceedings  will be  available  on-line  in the  Computing
Research Repository (CoRR).

In  addition to  papers  describing conceptual  and theoretical  work,
papers describing the implementation  of and the experience with tools
are welcome.