[Agda] PEPM 2013: Deadline Extension

[Shin-Cheng Mu]

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

                         === P E P M  2013 ===

                        ACM SIGPLAN Workshop on 
             Partial Evaluation and Program Manipulation 
             http://www.program-transformation.org/PEPM13

                          January 20-21, 2013 
                              Rome, Italy
                      (Affiliated with POPL 2013)


====================================================================

DEADLINE EXTENSION

- Important Dates: 
    Abstract submission: October    2, 2012
    Paper submission:    October    7, 2012
    Notification:	 November   6, 2012

- Selected papers will be invited to a Special issue of Science of 
  Computer Programming (SCP) (5-Year Impact Factor of SCP: 1.304)
  
====================================================================

SCOPE

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.

The  2013 PEPM workshop  will be  based on  a broad  interpretation of
semantics-based   program  manipulation   and  continue  recent  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'13 include, but are not limited to:

* Program and model manipulation techniques such as: supercompilation,
  partial  evaluation, fusion,  on-the-fly program  adaptation, active
  libraries,   program   inversion,   slicing,   symbolic   execution,
  refactoring, decompilation, and obfuscation.

* Program  analysis techniques  that are  used to  drive program/model
  manipulation such as: abstract interpretation, termination checking,
  binding-time analysis,  constraint solving, type  systems, automated
  testing and test case generation.

* Techniques  that  treat programs/models  as  data objects  including
  metaprogramming,  generative  programming, embedded  domain-specific
  languages, program synthesis by sketching and inductive programming,
  staged   computation,  and   model-driven  program   generation  and
  transformation.

* Application  of  the  above  techniques including  case  studies  of
  program   manipulation  in   real-world   (industrial,  open-source)
  projects and software  development processes, descriptions of robust
  tools  capable  of   effectively  handling  realistic  applications,
  benchmarking. Examples of application domains include legacy program
  understanding   and  transformation,  DSL   implementations,  visual
  languages and end-user programming, scientific computing, middleware
  frameworks and  infrastructure needed for  distributed and web-based
  applications, resource-limited computation, and security.

To  maintain the  dynamic  and  interactive nature  of  PEPM, we  will
continue the  category of 'short  papers' for tool  demonstrations and
for presentations of  exciting if not fully polished  research, and of
interesting academic, industrial and open-source applications that are
new or unfamiliar.

Student attendants  with accepted papers  can apply for a  SIGPLAN PAC
grant to help  cover travel expenses.  PAC also  offers other support,
such as for child-care expenses during the meeting or for travel costs
for companions of SIGPLAN  members with physical disabilities, as well
as for travel from locations  outside of North America and Europe. For
details on the PAC programme, see its web page.

All  accepted papers,  short papers  included, will  appear  in formal
proceedings   published  by   ACM  Press.   In  addition   to  printed
proceedings,  accepted papers  will  be included  in  the ACM  Digital
Library.  Selected papers will be invited for a journal  special issue 
of Science of Computer Programming dedicated to PEPM'13.

PEPM has established a Best  Paper award. The winner will be announced
at the workshop.

Authors must transfer copyright to ACM upon acceptance (for government
work, to the extent  transferable), but retain various rights. Authors
are encouraged to publish  auxiliary material with their paper (source
code, test  data, etc.); they retain copyright  of auxiliary material.
The SIGPLAN  Republication Policy and  ACM's Policy and  Procedures on
Plagiarism apply.

IMPORTANT DATES

Abstract submission: October    2, 2012
Paper submission:    October    7, 2012
Notification:	     November   6, 2012
Camera ready:	     November  14, 2012

SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS

Regular Research  Papers must not  exceed 10 pages in  ACM Proceedings
style.    Tool demonstration papers and short 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 and tool demonstration papers
will be made  available  on the  PEPM'13  Web-site.   Papers should be 
submitted electronically via the workshop  web site.  

INVITED SPEAKERS

We are proud to present the following two invited talks:

  * Zhenjiang Hu (National Institute of Informatics, Japan): 
    Practical Aspects of Bidirectional Graph Transformations 

  * Peter Thiemann (Institut fur Informatik, Technische Fakultat, 
    Universitat Freiburg, Germany): 
    Partially Static Operations 

See the workshop web site homepage for abstracts.

PROGRAM CO-CHAIRS

  Elvira Albert (Complutense University of Madrid, Spain)
  Shin-Cheng Mu (Academia Sinica, Taiwan)

PEPM 2013 PROGRAM COMMITTEE
 
    * Maria Alpuente (Technical University of Valencia, Spain)
    * Kenichi Asai (Ochanomizu University, Japan)
    * Maria Garcia de la Banda (Monash University, Australia)
    * James R. Cordy (Queen's University, Canada)
    * R. Kent Dybvig (Cisco and Indiana University, USA)
    * Joao Fernandes (University of Minho, Portugal)
    * Samir Genaim (Complutense University of Madrid, Spain)
    * Roberto Giacobazzi (Verona University, Italy)
    * Andy Gill (University of Kansas, USA)
    * Jurriaan Hage (Utrecht University, Netherlands)
    * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany)
    * Julia Lawall (INRIA, France)
    * Yanhong Annie Liu (Stony Brook University, USA)
    * Kazutaka Matsuda (University of Tokyo, Japan)
    * Keisuke Nakano (University of Electro-Communications, Japan)
    * Klaus Ostermann (University of Marburg, Germany)
    * Sergei A. Romanenko (Russian Academy of Sciences, Russia)
    * Jeremy Siek (University of Colorado at Boulder, USA)
    * Walid Mohamed Taha (Halmstad University, Sweden)
    * Tarmo Uustalu (Tallinn University of Technology, Estonia)
    * Janis Voigtlaender (University of Bonn, Germany)
    * Dana N. Xu (INRIA, France)