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: Partial Evaluation and Program Manipulation PEPM09

  F I N A L

                    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 10, 2008
   Camera-Ready Paper: November 17, 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.


Two submission categories will  be considered. Regular Research papers
must not exceed 10 pages in ACM Proceedings style.  Tool Demonstration
papers  must not  exceed 4  pages in  ACM Proceedings  style  and they
should  include an  appendix of  up to  6 additional  pages  giving an
outline, screenshots,  examples, etc. to  indicate the content  of the
proposed  live demo  at the  workshop.  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 is
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 and  hardcopies will be
distributed  at the  workshop. 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


 David Binkley, Loyola College, USA
 Radhia Cousot, CNRS, France
 Silvia Crafa, University of Padova, Italy
 Stephen A. Edwards, Columbia University, USA
 Lidia Fuentes, University of Malaga, Spain
 John P. Gallagher, Roskilde University, Denmark
 Thomas Jensen,IRISA, France
 Yukiyoshi Kameyama, University of Tsukuba, Japan
 Siau Cheng Khoo, National University of Singapore
 Julia Lawall, University of Copenhagen (DIKU), Denmark
 Shin-Cheng Mu, Academia Sinica, Taiwan
 Naoki Nishida, Nagoya University, Japan
 Maurizio Proietti, CNR, Italy
 Armin Rigo, Switzerland
 Simon Thompson, Kent University, UK
 Tarmo Uustalu, Tallinn University of Technology, Estonia
 Wim Vanhoof, Namur University, Belgium
 Joost Visser, Software Improvement Group, The Netherlands
 Janis Voigtlander, TU Dresden, Germany