Submission deadline extended to May 22
======================================================================
CALL FOR PAPERS
WGP 2015
11th ACM SIGPLAN Workshop on Generic Programming
Vancouver, Canada
Sunday, August 30, 2015
http://www.wgp-sigplan.org/2015
Co-located with the
International Conference on Functional Programming (ICFP 2015)
======================================================================
Goals of the workshop
---------------------
Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.
We welcome contributions on all aspects, theoretical as well as
practical, of
* generic programming,
* programming with (C++) concepts,
* meta-programming,
* programming with type classes,
* programming with modules,
* programming with dependent types,
* type systems for generic programming,
* polytypic programming,
* adaptive object-oriented programming,
* component-based programming,
* strategic programming,
* aspect-oriented programming,
* family polymorphism,
* object-oriented generic programming,
* implementation of generic programming languages,
* static and dynamic analyses of generic programs,
* and so on.
Program Committee
-----------------
* Patrick Bahr (co-chair), University of Copenhagen
* Sebastian Erdweg (co-chair), Technical University of Darmstadt
* Edwin Brady, University of St Andrews
* Edsko de Vries, Well-Typed LLP
* Mauro Jaskelioff, National University of Rosario
* Johan Jeuring, Utrecht University
* Pieter Koopman, Radboud University Nijmegen
* Bruno C. d. S. Oliveira, University of Hong Kong
* Nicolas Pouillard, IT University of Copenhagen
* Sukyoung Ryu, Korea Advanced Institute of Science and Technology
* Sibylle Schupp, Hamburg University of Technology
* Sam Tobin-Hochstadt, Indiana University
Proceedings and Copyright
-------------------------
We plan to have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must grant
ACM publication rights upon acceptance
(http://authors.acm.org/main.html), but may retain copyright if they
wish. Authors are encouraged to publish auxiliary material with their
paper (source code, test data, and so forth). The proceedings will be
freely available for download from the ACM Digital Library from one
week before the start of the conference until two weeks after the
conference.
Submission details
------------------
* Submission deadline: Fri, 22nd May 2015
* Author notification: Fri, 26th June 2015
* Final version due: Sun, 19th July 2015
* Workshop: Sun, 30th August 2015
Submitted papers should fall into one of two categories:
* Regular research papers (12 pages)
* Short papers: case studies, tool demos, generic pearls (6 pages)
Regular research papers are expected to present novel and interesting
research results. Short papers need not present novel or fully polished
results. Good candidates for short papers are those that report on
interesting case studies of generic programming in open source or
industry, present demos of generic programming tools or libraries,
or discuss elegant and illustrative uses of generic programming ('pearls').
All submissions should be in portable document format (PDF), formatted
using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular
research papers must not exceed 12 pages. Short papers must not exceed
6 pages. If applicable, papers should be marked with one of the labels
'case study, 'tool demo' or 'generic pearl' in the title at the time
of submission.
Papers should be submitted via HotCRP at
https://icfp-wgp15.hotcrp.com/
Travel Support
--------------
Student attendees 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 program, see its web page (http://www.sigplan.org/PAC.htm).
History of the Workshop on Generic Programming
----------------------------------------------
Earlier Workshops on Generic Programming have been held in
* Gothenburg, Sweden 2014 (affiliated with ICFP),
* Boston, Massachusetts, US 2013 (affiliated with ICFP),
* Copenhagen, Denmark 2012 (affiliated with ICFP),
* Tokyo, Japan 2011 (affiliated with ICFP),
* Baltimore, Maryland, US 2010 (affiliated with ICFP),
* Edinburgh, UK 2009 (affiliated with ICFP),
* Victoria, BC, Canada 2008 (affiliated with ICFP),
* Portland 2006 (affiliated with ICFP),
* Ponte de Lima 2000 (affiliated with MPC),
* Marstrand 1998 (affiliated with MPC).
Furthermore, there were a few informal workshops
* Utrecht 2005 (informal workshop),
* Dagstuhl 2002 (IFIP WG2.1 Working Conference),
* Nottingham 2001 (informal workshop).
There were also (closely related) DGP workshops in Oxford (June
3-4 2004), and a Spring School on DGP in Nottingham (April 24-27
2006, which had a half-day workshop attached).
WGP Steering Committee
----------------------
* Andres Löh
* Ronald Garcia
* Jacques Carette
* Jeremiah Willcock
* José Pedro Magalhães
* Tiark Rompf
* Tarmo Uustalo
* Stephanie Weirich
* Fritz Henglein
_______________________________________________
ecoop-info mailing list
ecoop-info(a)ecoop.org
http://web.satd.uma.es/mailman/listinfo/ecoop-info
Hallo,
I have been toying with gambit and afl[1]. It's really a remarkable
tool. It has found some code that is not well-behaved. For instance,
this hangs gsi:
( six.!x ( top ))
There are more hangs and a few crashes. It has only been running for
one day, I plan to check on it again on Monday.
[1] http://lcamtuf.coredump.cx/afl/
Cheers,
--
-alex
http://unendli.ch/
Hello,
Please, find below the first call for papers for IFL 2015.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.
Important dates
August 10: Submission deadline draft papers
August 12: Notification of acceptance for presentation
August 14: Early registration deadline
August 21: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
Topics
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel(a)acm.org. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
-----------------------------
L A S T C A L L F O R P A R T I C I P A T I O N
-----------------------------
======== TFP 2015 ===========
16th Symposium on Trends in Functional Programming
June 3-5, 2015
Inria Sophia Antipolis, France
http://tfp2015.inria.fr/
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.
TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== INVITED SPEAKERS ==
TFP is pleased to announce talks by the following two invited speakers:
* Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs. She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.
Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem. Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups. We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.
* Anil Madhavapeddy
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== SPONSORS ==
TFP is financially supported by Erlang Solutions.
== PROGRAM ==
Please find the program at:
http://tfp2015.inria.fr/program/
The program features two invited talks by Laurence Rideau and Anil
Madhavapeddy
and one comprehensive Dart tutorial by Florian Loitsch.
== IMPORTANT DATES ==
Registration: May 4, 2015
TFP Symposium: June 3-5, 2015
== PROGRAM COMMITTEE ==
Janis Voigtländer University of Bonn, DE
Scott Owens University of Kent, UK
Neil Sculthorpe Swansea University, UK
Colin Runciman University of York, UK
Manuel Serrano Inria (PC chair), FR
Rinus Plasmeijer University of Nijmegen, NL
Tomas Petricek University of Cambridge, UK
Marco T. Morazan Seton Hall University, USA
Wolfgang De Meuter Vrije Universiteit Brussel, BE
Michel Mauny Ensta ParisTech, FR
Sam Lindley The University of Edinburgh, UK
Daan Leijen Microsoft, USA
Jurriaan Hage Utrecht University, NL
Andy Gill University of Kansas, USA
Thomas Gazagnaire University of Cambrige, UK
Lars-Ake Fredlund Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre Université Paris Sud Orsay, FR
Marc Feeley Université de Montréal, CA
Olaf Chitil University of Kent, UK
Edwin Brady University of St Andrews, UK