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: Symposium on Practical Aspects of Declarative Languages (PADL'09)


		 Eleventh International Symposium on
	   Practical Aspects of Declarative Languages 2009
			      (PADL '09)

			Savannah Georgia, USA
			 January 19-20, 2009

		     Co-located with ACM POPL'09

Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to vastly different real-world
situations, ranging from data base management to active networks to
software engineering to decision support systems.

New developments in theory and implementation have opened up new
application areas.  At the same time, applications of declarative
languages to novel problems raise numerous interesting research
issues. Well-known questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications drive the progress in the theory and
implementation of declarative systems, and benefit from this progress
as well.

PADL is a forum for researchers and practitioners to present original
work emphasizing novel applications and implementation techniques for
all forms of declarative concepts, including, functional, logic,
constraints, etc. Topics of interest include:

 * innovative applications of declarative languages;
 * declarative domain-specific languages and applications;
 * practical applications of theoretical results;
 * new language developments & their impact on applications;
 * evaluation of implementation techniques on practical applications;
 * novel uses of declarative languages in the classroom; and
 * practical experiences

PADL 09 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages.  PADL 09 will be
co-located with the ACM POPL.


      Paper Submission:	September 8, 2008
      Notification:	October 10, 2008
      Camera-ready:	November 5, 2008
      Symposium:	January 19-20, 2009

Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF, in the Springer LNCS format
(see ).

In addition to the technical papers of previous PADL conferences, PADL
09 will contain a stream for application papers.


Technical papers must describe original, previously unpublished
results, and must not be simultaneously submitted for publication
elsewhere.  Each submission must be written in English, and include
three to four keywords, which will be used to assist us in selecting
appropriate reviewers for the paper.  Submissions must not exceed 15
pages in Springer LNCS format.


Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or
in areas of research other than computer science.  Application
papers will be published in the Springer-Verlag conference
proceedings, and will be presented in a separate poster session.

Application papers, are expected to describe complex and/or real-world
applications that rely on an innovative use of declarative languages.
Application descriptions, engineering solutions and real-world
experiences (both positive and negative) are solicited.

The limit for application papers is 3 pages in Springer LNCS format.


The Most Practical Paper award will be given to the technical
submission that is judged by the program committee to be the best in
terms of practicality, originality, and clarity of presentation. The
program committee may choose not to make an award, or to make multiple


          Lennart Augustsson      Credit Suisse (UK)
          Hasan Davulcu		  Arizona State University (US)
          Ines Dutra	  	  Universidade do Porto (PT)
          John Gallagher	  Roskilde University (DK)
          Andy Gordon             Microsoft Research (UK)
          Jeff Gray               University of Alabama at Birmingham (US)
	  Kevin Hamlen		  University of Texas at Dallas (US)
          Fergus Henderson        Google (US)
          Gabriele Keller         University of New South Wales (Australia)
          Michael Kifer		  SUNY Stony Brook (US)
          Ilkka Niemela       	  Helsinki University of Technology (FI)
          Johan Nordlander        Lulea  University of Technology (Sweden)
          Luis Pereira	  	  Universidade Nova de Lisboa (PT)
          Tom Schrijvers	  Katholieke Universiteit Leuven (BE)
          Lindsey Spratt	  Onology Works (US)
          Don Stewart             Galois, Inc (US)
          Walter Wilson	          Systems Development and Analysis (US)

     For information about papers and submissions, please contact a Program Chair:

          Andy Gill
          PC co-Chair - PADL 2009
          Dept. of Electrical Engineering & Computer Science
          The University of Kansas
          2001 Eaton Hall
          1520 West 15th Street
          Lawrence, KS 66045-7621
          Email: andygill

          Terrance Swift
          PC co-Chair - PADL 2009
          Centre for Artificial Intelligence (CENTRIA)
          Departamento de Informática, FCT/UNL
          Quinta da Torre 2829-516 CAPARICA - Portugal
          Email: tswift

     For other information about the conference, please contact:

          Kevin Hamlen
          General Chair - PADL 2009
          Department of Computer Science
          University of Texas at Dallas
          Richardson, TX, USA
          Email: hamlen