Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: PEPM 2009 Partial Evaluation and Program Manipulation

 P R E L I M I N A R Y

                     C A L L   F O R   P A P E R S

                         === P E P M  2009 ===

                        ACM SIGPLAN Workshop on 
             Partial Evaluation and Program Manipulation 


                          January 19-20, 2009 
                        Savannah, Georgia, USA 
                      (Affiliated with POPL 2009)


          Abstract due:  October 12, 2008
            Submission:  October 17, 2008
   Author Notification: November 17, 2008
    Camera-Ready Paper: December  1, 2008


The   PEPM  Symposium/Workshop  series   aims  at   bringing  together
researchers  and  practitioners  working   in  the  areas  of  program
manipulation, partial evaluation, and program generation. PEPM focuses
on  techniques,  theory,  tools,  and  applications  of  analysis  and
manipulation of programs. PEPM is classified as category A in the CORE
ranking of ICT conferences.

The  2009 PEPM workshop  will be  based on  a broad  interpretation of
semantics-based   program  manipulation   and  continue   last  years'
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered  areas of partial  evaluation and specialization
and include practical applications  of program transformations such as
refactoring  tools, and  practical implementation  techniques  such as
rule-based  transformation systems.   In addition,  the scope  of PEPM
covers  manipulation   and  transformations  of   program  and  system
representations such  as structural and semantic models  that occur in
the context  of model-driven  development.  In order  to reach  out to
practitioners, a  separate category of tool  demonstration papers will
be solicited.

Topics of interest for PEPM'09 include, but are not limited to:

* Program  and model manipulation  techniques such  as transformations
  driven  by   rules,  patterns,  or   analyses,  partial  evaluation,
  specialization,  program  inversion,  program composition,  slicing,
  symbolic execution, refactoring,  aspect weaving, decompilation, and

* Program  analysis techniques  that are  used to  drive program/model
  manipulation  such  as  abstract  interpretation,  static  analysis,
  binding-time  analysis, dynamic  analysis,  constraint solving,  and
  type systems.

* Analysis  and  transformation   for  programs/models  with  advanced
  features  such  as  objects,  generics,  ownership  types,  aspects,
  reflection, XML type systems, component frameworks, and middleware.

* Techniques  that  treat programs/models  as  data objects  including
  meta-programming,  generative programming,  staged  computation, and
  model-driven program generation and transformation.

* Application of the  above techniques including experimental studies,
  engineering  needed for scalability,  and benchmarking.  Examples of
  application  domains   include  legacy  program   understanding  and
  transformation, domain-specific language implementations, scientific
  computing,  middleware  frameworks  and  infrastructure  needed  for
  distributed    and    web-based    applications,    resource-limited
  computation, and security.

We  especially  encourage  papers  that  break  new  ground  including
descriptions of how program/model manipulation tools can be integrated
into realistic software  development processes, descriptions of robust
tools capable of effectively  handling realistic applications, and new
areas of application such as rapidly evolving systems, distributed and
webbased  programming including middleware  manipulation, model-driven
development, and  on-the-fly program adaptation driven  by run-time or
statistical analysis.


Regular Research  Papers must not  exceed 10 pages in  ACM Proceedings
style.   Tool demonstration  papers must  not  exceed 4  pages in  ACM
Proceedings style.  At least one author of  each accepted contribution
must attend  the workshop and  present the work.  In the case  of tool
demonstration papers,  a live demonstration  of the described  tool is
expected.    Suggested  topics,   evaluation  criteria,   and  writing
guidelines for  both research tool  demonstration papers will  be made
available  on  the  PEPM'09  Web-site.   Papers  should  be  submitted
electronically via  the workshop  web site.  The  workshop proceedings
will be published in the  ACM Digital Library. A journal special issue
dedicated to PEPM'09 including selected papers is under consideration.


  German Puebla, Technical University of Madrid,  Spain 
  German Vidal, Technical University of Valencia, Spain


  To be announced