25th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2015
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
DEADLINES
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
============================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 25th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2015) will be held at the University of Siena,
Siena, Italy; previous symposia were held in Canterbury, Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2015 will be co-located with PPDP 2015 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
Notification: May 25, 2015
Camera-ready (for electronic pre-proceedings): June 15, 2015
Symposium: July 13-15, 2015
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English)
in PDF, formatted in the Lecture Notes in Computer Science style.
Each submission must include on its first page the paper title; authors
and their affiliations; contact author's email; abstract; and three to
four keywords which will be used to assist the PC in selecting
appropriate
reviewers for the paper. Page numbers should appear on the manuscript to
help the reviewers in writing their report. Submissions cannot exceed 15
pages including references but excluding well-marked appendices not
intended
for publication. Reviewers are not required to read the appendices, and
thus
papers should be intelligible without them.
Papers should be submitted via the Easychair submission website for
LOPSTR
2015, which you can access through the website of LOPSTR 2015.
Proceedings
The formal post-conference proceedings will be published by Springer in
the
Lecture Notes in Computer Science series (to be confirmed).
Full papers can be directly accepted for publication in the formal
proceedings,
or accepted only for presentation at the symposium and inclusion in
informal
proceedings. After the symposium, all authors of extended abstracts and
full
papers accepted only for presentation will be invited to revise and/or
extend
their submissions in the light of the feedback solicited at the
symposium.
Then, after another round of reviewing, these revised papers may also be
published in the formal proceedings.
Special journal issue
After the symposium, a selection of the best papers will be invited to
a special
issue of a primary computer science journal. The submissions to the
special issue
must be substantial extensions of the proceedings versions and will
undergo the
usual journal reviewing process.
Program Committee
Slim Abdennadher German University of Cairo, Egypt
Maria Alpuente Universitat Politecnica de Valencia, Spain
Demis Ballis University of Udine, Italy
Olaf Chitil University of Kent, UK
Michael Codish Ben-Gurion University, Israel
Moreno Falaschi University of Siena, Italy (Program Chair)
Jerome Feret INRIA and ENS, France
Maurizio Gabbrielli University of Bologna, Italy
Jurgen Giesl RWTH Aachen University, Germany
Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
Arnaud Gotlieb SIMULA Research Laboratory, Norway
Gopal Gupta University of Texas at Dallas, USA
Manuel Hermenegildo IMDEA, Spain
Viktor Kuncak EPFL Lausanne, Switzerland
Alexei Lisitsa University of Liverpool, UK
Narciso Marti-Oliet Universidad Complutense de Madrid, Spain
Jorge Navas NASA, USA
Kazuhiro Ogata JAIST, Japan
Carlos Olarte ECT, Universidade Federal do Rio Grande do Norte,
Brasil
Catuscia Palamidessi INRIA and Ecole Polytechnique, France
Maurizio Proietti IASI-CNR, Italy
Albert Rubio Universitat Politecnica de Catalunya, Barcelona,
Spain
Wim Vanhoof University of Namur, Belgium
Program and Symposium Chair:
Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ.
of Siena, Italy
(moreno.falaschi(a)unisi.it)
Organizing Committee
Monica Bianchini, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
Sara Brunetti, Dept. of Information Engineering and Mathematics, Univ.
of Siena, Italy
Simone Rinaldi, Dept. of Information Engineering and Mathematics, Univ.
of Siena, Italy
Elisa Tiezzi, Dept. of Information Engineering and Mathematics, Univ. of
Siena, Italy
ELS'15 - 8th European Lisp Symposium
Goldsmiths College, London, UK
April 20-21, 2015
http://www.european-lisp-symposium.org/
Sponsored by EPITA, Franz Inc. and Lispworks Ltd.
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp and Lisp-inspired
dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP,
Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We
encourage everyone interested in Lisp to participate.
The 8th European Lisp Symposium invites high quality papers about
novel research results, insights and lessons learned from practical
applications and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- Context-, aspect-, domain-oriented and generative programming
- Macro-, reflective-, meta- and/or rule-based development approaches
- Language design and implementation
- Language integration, inter-operation and deployment
- Development methodologies, support and environments
- Educational approaches and perspectives
- Experience reports and case studies
We invite submissions in the following forms:
Papers: Technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
Demonstrations: Abstracts of up to 2 pages for demonstrations of
tools, libraries, and applications.
Tutorials: Abstracts of up to 4 pages for in-depth presentations
about topics of special interest for at least 90 minutes and up to
180 minutes.
The symposium will also provide slots for lightning talks, to be
registered on-site every day.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM classification categories and terms. For more
information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templates and
http://www.acm.org/about/class/1998.
Important dates:
- 22 Feb 2015: Submission deadline
- 15 Mar 2015: Notification of acceptance
- 29 Mar 2015: Early registration deadline
- 05 Apr 2015: Final papers
- 20-21 Apr 2015: Symposium
Programme chair:
Julian Padget, University of Bath, UK
Local chair:
Christophe Rhodes, Goldsmiths, University of London, UK
Programme committee:
To be announced
Search Keywords:
#els2015, ELS 2015, ELS '15, European Lisp Symposium 2015,
European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium,
European Lisp Conference 2015, European Lisp Conference '15
--
Didier Verna <didier(a)elsaa.org>
ELSAA, President
Marc:
Have you ever managed to build Gambit configured with
./configure --enable-coverage
??? I killed my attempt when cc1 for lib/_io.c got up to 25GB RAM and
most of the rest of my system was swapped out. (This is on a Ubuntu
14.10 system with the built-in gcc-4.9.1.)
Also, please move gsc/_t-univ.c to the beginning of the list of source
files in gsc/makefile; it's by now the biggest (by far) source file in
the gsc directory.
Brad
Thanks for your hint.
I'll look at that and see what it looks like.
I am seriously considering the use of "external" documentation system, like
a static HTML generator (e.g. emacs org-mode, Pelican) or even simply
good'ol LaTeX. Formatting maths would be *so* much easier like that and
have a LaTeX to HTML converter in the process, along with PDFs.
Eric
2014-11-21 12:00 GMT-05:00 <gambit-list-request(a)iro.umontreal.ca>:
> Send Gambit-list mailing list submissions to
> gambit-list(a)iro.umontreal.ca
>
> To subscribe or unsubscribe via the World Wide Web, visit
> https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list
> or, via email, send a message with subject or body 'help' to
> gambit-list-request(a)iro.umontreal.ca
>
> You can reach the person managing the list at
> gambit-list-owner(a)iro.umontreal.ca
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Gambit-list digest..."
>
>
> Today's Topics:
>
> 1. Re: Documentation generator for Scheme ? (Hendrik Boom)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 21 Nov 2014 09:36:06 -0500
> From: Hendrik Boom <hendrik(a)topoi.pooq.com>
> Subject: Re: [gambit-list] Documentation generator for Scheme ?
> To: gambit-list(a)iro.umontreal.ca
> Message-ID: <20141121143606.GA21725(a)topoi.pooq.com>
> Content-Type: text/plain; charset=us-ascii
>
> On Wed, Nov 19, 2014 at 04:40:02PM -0500, Hendrik Boom wrote:
> > On Wed, Nov 19, 2014 at 03:20:41PM -0500, Eric Parent wrote:
> > > Hi all,
> > >
> > > I'm trying to get documentation being generated automatically based on
> our
> > > Scheme source code. I'm used to work with Doxygen and Sphinx (
> > > http://sphinx-doc.org/index.html) to generate documentation from C++,
> C,
> > > Python, ... source code files.
> > >
> > > Is there something equivalent for Scheme ?
> >
> > No idea. I'd be surprised if there isn't.
> >
> > But the best documentation I've everseen produced by a documentation
> > generator is the Trestle Reference Manual, accessible as
> > http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-68.pdf
> >
> > It kind of sets a standard to aim for.
>
> This isn't gambit, but...
>
> Racket (formerly PLT Scheme) has a text formatter called Scribble.
> It appears to be a different concrete syntax for Scheme -- the file is
> basically text to be laid out properly interrupted by @ signs that can
> be followed by arious codes, including complete Scheme expressions.
> In those expressions you can use Schee as an ordinary programming
> language, but you also have access to a slew of text-formatting
> functions.
>
> Their packaging system has, I believe, some conventions about how to
> embed Scribble code amongst the normal Scheme, so that some program
> they have can extract some documentation.
>
> I don't know the details, and I don't know if it will satisfy your
> needs, but it is worth a look. You might be able to use Racket to
> extract documentation from your Gambit code.
>
> It may be worth porting some of this stuff to Gambit.
>
> -- hendrik
>
>
> ------------------------------
>
> _______________________________________________
> Gambit-list mailing list
> Gambit-list(a)iro.umontreal.ca
> https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list
>
>
> End of Gambit-list Digest, Vol 122, Issue 4
> *******************************************
>
--
Eric
Hi all,
I'm trying to get documentation being generated automatically based on our
Scheme source code. I'm used to work with Doxygen and Sphinx (
http://sphinx-doc.org/index.html) to generate documentation from C++, C,
Python, ... source code files.
Is there something equivalent for Scheme ?
Any hint or ideas are welcome.
Regards,
Eric
Sorry guys for spamming, I put the wrong mailing list. Now is updated.
--------->8---------
Dear Lispers,
I'm pleased to announce, for the first time, Lisp Devroom @ FOSDEM,
the biggest FLOSS event in Europe, that will be held in Brussels on
January 31st to February 2nd, 2015.
This is a call to propose your talks for FOSDEM.
The topic of the devroom includes all Lisp-inspired dialects,
like Common Lisp, Scheme, Clojure, Emacs Lisp, newLISP, Racket,
GCC-Melt, LFE, Shen & more. Every talk is welcome: from real-world
examples, research projects, unusual ideas to small pet hacks.
FOSDEM is a hacker conference and we would be happy to see more
practical proposals, crazy ideas and open source projects
demonstrations than dry scientific papers (we will leave them for ILC
and ELS :-P).
Important dates
---------------
* Submission deadlines: 2014-12-14
* Acceptance notifications: 2014-12-28
* Lisp Devroom conference: 2015-01-31 (Saturday)
Submitting proposals
--------------------
Please use https://penta.fosdem.org/submission/FOSDEM15 to submit your
proposals; you will have to create Pentabarf account unless you
already have one.
When submitting your talk in Pentabarf, make sure to select the
'Lisp devroom' as the 'Track'.
Submission details
------------------
Your submission should include the following information:
* The title and subtitle of your talk, descriptive as possible
* A short abstract
* A longer description of the talk, if you would like so
* Links to related online material like pages, blogs, repositories
and etc.
Devroom mailing list
--------------------
Please join Lisp devroom mailing list; this will be official
communication channel for the devroom and all further announcements
will be sent there.
* lisp-devroom(a)lists.fosdem.org - mailing list address
* https://lists.fosdem.org/listinfo/lisp-devroom - mailing list
and subscription form
Planned schedule
----------------
Two types of sessions are considered:
* lighting talk - 30 minues including discussion
* full presentation - 60 minues including discussion
with 5 minutes for the setup between each talk. More details will be
announced on devroom mailing list.
Questions & volunteers
----------------------
Don't hesitate to mail me at 'sanelz [at] gmail [dot] com' in case you
have questions or would like to help with organization (put
'[Lisp-fosdem]' in subject). Also, feel free to use official devroom
mailing list for discussion.
Did I said that there will be video recordings? Yes, video volunteers
are welcome too :)
Please forward this announcement to the relevant lists.
'(Best Regards, Sanel)
Dear Lispers,
I'm pleased to announce, for the first time, Lisp Devroom @ FOSDEM,
the biggest FLOSS event in Europe, that will be held in Brussels on
January 31st to February 2nd, 2015.
This is a call to propose your talks for FOSDEM.
The topic of the devroom includes all Lisp-inspired dialects,
like Common Lisp, Scheme, Clojure, Emacs Lisp, newLISP, Racket,
GCC-Melt, LFE, Shen & more. Every talk is welcome: from real-world
examples, research projects, unusual ideas to small pet hacks.
FOSDEM is a hacker conference and we would be happy to see more
practical proposals, crazy ideas and open source projects
demonstrations than dry scientific papers (we will leave them for ILC
and ELS :-P).
Important dates
---------------
* Submission deadlines: 2014-12-14
* Acceptance notifications: 2014-12-28
* Lisp Devroom conference: 2015-01-31 (Saturday)
Submitting proposals
--------------------
Please use https://penta.fosdem.org/submission/FOSDEM15 to submit your
proposals; you will have to create Pentabarf account unless you
already have one.
When submitting your talk in Pentabarf, make sure to select the
'Lisp devroom' as the 'Track'.
Submission details
------------------
Your submission should include the following information:
* The title and subtitle of your talk, descriptive as possible
* A short abstract of one paragraph
* A longer description of the talk, if you would like so
* Links to related online material, like pages, blogs, repositories
and etc.
Devroom mailing list
--------------------
Please join Lisp devroom mailing list; this will be official
communication channel for the devroom and all further announcements
will be sent there.
* desktops-devroom(a)lists.fosdem.org
* https://lists.fosdem.org/listinfo/desktops-devroom - mailing list
and subscription form
Planned schedule
----------------
Two types of sessions are considered:
* lighting talk - 30 minues
* full presentation - 60 minues
with 5 minutes for the setup between each talk. More details will be
announced on devroom mailing list.
Questions & volunteers
----------------------
Don't hesitate to mail me at 'sanelz [at] gmail [dot] com' in case you
have questions or would like to help with organization (put
'[Lisp-fosdem]' in subject). Also, feel free to use official devroom
mailing list for discussion.
Did I said that there will be video recordings? Yes, video volunteers
are welcome too :)
Please forward this announcement to the relevant lists.
'(Best Regards, Sanel)
Dear list,
What do you see in the sources, does Gambit rebuild its file descriptors
list on *each* select/poll() call?
If you have the references to where they're added and wiped/deleated
respectively would be great,
Thanks. :)
=====================================================================
20th ACM SIGPLAN International Conference on Functional Programming
ICFP 2015
Vancouver, Canada, August 31 - September 2, 2015
http://www.icfpconference.org/icfp2015
=====================================================================
Important Dates
~~~~~~~~~~~~~~~
Submissions due: Friday, February 27 2015, 23:59 UTC-11
Author response: Tuesday, April 21, 2015
through Thursday, 23 April, 2015
Notification: Friday, May 1, 2015
Final copy due: Friday, June 12, 2015
Scope
~~~~~
ICFP 2015 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):
* Language Design: concurrency, parallelism, and distribution; modules;
components and composition; metaprogramming; type systems;
interoperability; domain-specific languages; and relations to
imperative, object-oriented, or logic programming.
* Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; garbage
collection and memory management; multi-threading; exploiting
parallel hardware; interfaces to foreign functions, services,
components, or low-level machine resources.
* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling.
* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types.
* Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation.
* Applications: symbolic computing; formal-methods tools; artificial
intelligence; systems programming; distributed-systems and web
programming; hardware design; databases; XML processing;
scientific and numerical computing; graphical user interfaces;
multimedia and 3D graphics programming; scripting; system
administration; security.
* Education: teaching introductory programming; parallel programming;
mathematical proof; algebra.
* Functional Pearls: elegant, instructive, and fun essays on
functional programming.
* Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working.
If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.
Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* By Friday, 27 February 2015, 23:59 UTC-11 (anywhere in the world),
submit a full paper of at most 12 pages (6 pages for an Experience
Report) in standard ACM conference format, including bibliography,
figures, and appendices.
The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.
* Authors have the option to attach supplementary material to a submission,
on the understanding that reviewers may choose not to look at it.
* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at
http://www.sigplan.org/Resources/Policies/Republication
* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.
Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should
explain its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.
Proceedings will be published by ACM Press. Authors of accepted
submissions will have a choice of one of three ways to manage their
publication rights. These choices are described at
http://authors.acm.org/main.html
Presentations will be videotaped and released online if the presenter
consents. 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.
Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available at
http://www.acm.org/sigs/sigplan/authorInformation.htm
Submission: Submissions will be accepted on the web using a link
that will be posted at
http://icfpconference.org/icfp2015/
Improved versions of a paper may be submitted at any point before
the submission deadline using the same web interface.
Author response: Authors will have a 72-hour period, starting at 0:00
UTC on Tuesday, 21 April 2015, to read reviews and respond to them.
ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit
http://www.acm.org/publications/acm-author-izer-service
to learn how to create your links for free downloads from the ACM DL.
Publication date: The official publication date of accepted papers
is the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day
of the conference. The official publication date affects the deadline
for any patent filings related to published work.
General Chair:
Kathleen Fisher Tufts University (USA)
Program Chair:
John Reppy University of Chicago (USA)
Program Committee:
Amal Ahmed Northeastern University (USA)
Jean-Philippe Bernardy Chalmers University of Technology (Sweden)
Matthias Blume Google (USA)
William Byrd University of Utah (USA)
Andy Gill University of Kansas (USA)
Neal Glew Google (USA)
Fritz Henglein University of Copenhagen (Denmark)
Gabriele Keller University of New South Wales and
NICTA (Australia)
Andrew Kennedy Microsoft Research Cambridge (UK)
Neelakantan Krishnaswami Birmingham University (UK)
Daan Leijen Microsoft Research Redmond (USA)
Keiko Nakata Institute of Cybernetics at Tallinn
University of Technology (Estonia)
Mike Rainey INRIA Rocquencourt (France)
Andreas Rossberg Google (Germany)
Manuel Serrano INRIA Sophia Antipolis (France)
Simon Thompson University of Kent (UK)
David Van Horn University of Maryland (USA)
Stephanie Weirich University of Pennsylvania (USA)