[Please consider submitting! PEPM has a strong and ongoing tradition
of OCaml- and MetaOCaml-related research - Jeremy]
CALL FOR PAPERS
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)
http://conf.researchr.org/home/PEPM-2017
Paris, France, January 16th - 17th, 2017
(co-located with POPL 2017)
PEPM is the premier forum for discussion of semantics-based program
manipulation. The first ACM SIGPLAN PEPM symposium took place in
1991, and meetings have been held in affiliation with POPL every year
since 2006.
PEPM 2017 will be based on a broad interpretation of semantics-based
program manipulation, reflecting the expanded scope of PEPM in recent
years beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM 2017 will 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 maintain the dynamic and
interactive nature of PEPM and to encourage participation by
practitioners, we also solicit submissions of short papers, including
tool demonstrations, and of posters.
Scope
-----
Topics of interest for PEPM 2017 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, embedded and resource-limited computation,
and security.
This list of categories is not exhaustive, and we encourage
submissions describing applications of semantics-based program
manipulation techniques in new domains. If you have a question as to
whether a potential submission is within the scope of the workshop,
please contact the programme chairs.
Submission categories and guidelines
------------------------------------
Three kinds of submissions will be accepted: Regular Research Papers,
Short Papers and Posters.
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance and clarity.
Regular research papers must not exceed 12 pages in ACM Proceedings
style (including appendix).
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages in ACM Proceedings
style (including appendix).
* Posters should describe work relevant to the PEPM community, and
must not exceed 2 pages in ACM Proceedings style. We invite poster
submissions that present early work not yet ready for submission to
a conference or journal, identify new research problems, showcase
tools and technologies developed by the author(s), or describe
student research projects.
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
2017 web site.
Student participants with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses and other support. 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.
Publication and special issue
-----------------------------
All accepted papers, short papers and posters included, will appear in
formal proceedings published by ACM Press. Accepted papers will be
included in the ACM Digital Library. Authors of selected papers from
PEPM 2016 and PEPM 2017 will also be invited to expand their papers
for publication in a special issue of the journal Computer Languages,
Systems and Structures (COMLAN, Elsevier).
Best paper award
----------------
PEPM 2017 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Submission
----------
Papers should be submitted electronically via HotCRP.
https://pepm17.hotcrp.com/
Authors using LaTeX to prepare their submissions should use the new
improved SIGPLAN proceedings style, and specifically the
sigplanconf.cls 9pt template.
Important Dates
---------------
For Regular Research Papers and Short Papers:
* Abstract submission : Tuesday 13th September 2016
* Paper submission : Friday 16th September 2016
* Author notification : Monday 24th October 2016
* Camera ready : Monday 28th November 2016
For Posters:
* Poster submission : Sunday 30th October 2016
* Author notification : Friday 10th November 2016
* Camera ready : Monday 28th November 2016
PEPM workshop:
* Workshop : Monday 16th - Tuesday 17th January 2017
The proceedings will be published 2 weeks pre-conference.
AUTHORS TAKE NOTE: The official publication date 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 your conference. The
official publication date affects the deadline for any patent filings
related to published work. (For those rare conferences whose
proceedings are published in the ACM Digital Library after the
conference is over, the official publication date remains the first
day of the conference.).
PEPM'17 Programme Co-Chairs
-------------------
Ulrik Schultz (University of Southern Denmark), ups@mmmi.sdu.dk
Jeremy Yallop (University of Cambridge), jeremy.yallop@cl.cam.ac.uk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-06-13
[Caml-list] LOPSTR'16: Final Call for Papers and *Deadline Extension*
[ Please distribute, apologies for multiple postings. ]
======================================================================
LOPSTR 2016: Final Call for Papers / Deadline Extension
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
NEW DEADLINES:
Abstract submission (extended): June 20, 2016
Paper/Extended abstract submission (extended): June 27, 2016
======================================================================
INVITED SPEAKERS:
Francesco Logozzo (Facebook, USA) [jointly with PPDP]
Greg Morrisett (Cornell University, USA) [jointly with PPDP]
Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ]
======================================================================
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 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
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 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
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 (*extended*): Jun 20, 2016
Paper/Extended abstract submission (*extended*): Jun 27, 2016
Notification: Aug 3, 2016
Camera-ready (for electronic pre-proceedings): Aug 19, 2016
Symposium: Sep 6-8, 2016
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 (and, if
possible, line 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 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Best Paper Award and Prize
A best paper award will be granted, which will include a 500 EUR prize
provided by Springer. This award will be given to the best paper
submitted to the conference, based on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. 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.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jerome Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glueck, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Duesseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
In cooperation with:
The European Association for Theoretical Computer Science
The European Association for Programming Languages and Systems
The Association for Logic Programming
The IMDEA Software Institute
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
======================================================================
LOPSTR 2016: Final Call for Papers / Deadline Extension
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
NEW DEADLINES:
Abstract submission (extended): June 20, 2016
Paper/Extended abstract submission (extended): June 27, 2016
======================================================================
INVITED SPEAKERS:
Francesco Logozzo (Facebook, USA) [jointly with PPDP]
Greg Morrisett (Cornell University, USA) [jointly with PPDP]
Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ]
======================================================================
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 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
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 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
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 (*extended*): Jun 20, 2016
Paper/Extended abstract submission (*extended*): Jun 27, 2016
Notification: Aug 3, 2016
Camera-ready (for electronic pre-proceedings): Aug 19, 2016
Symposium: Sep 6-8, 2016
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 (and, if
possible, line 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 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Best Paper Award and Prize
A best paper award will be granted, which will include a 500 EUR prize
provided by Springer. This award will be given to the best paper
submitted to the conference, based on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. 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.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jerome Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glueck, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Duesseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
In cooperation with:
The European Association for Theoretical Computer Science
The European Association for Programming Languages and Systems
The Association for Logic Programming
The IMDEA Software Institute
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-06-07
[Caml-list] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016
----------------------------------------------------------------------------
CiE 2016: Call for Participation and Registration
----------------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal
Paris, France
June 27 - July 1st, 2016
http://lipn.univ-paris13.fr/CIE2016/
Details on the registration:
http://lipn.univ-paris13.fr/CIE2016/registration.php
Details on accommodation possibilities:
http://lipn.univ-paris13.fr/CIE2016/practical.php
CiE 2016's Motto is: "Pursuit of the Universal". This year's
conference will open with a special tribute session that CiE
society is dedicating to the former CiE president, Barry Cooper
who unexpectedly passed away on October 26th 2015. Barry was
originally scheduled as a plenary speaker at this year's
conference.
The year 2016 brings the eightieth anniversary of the publication
of Alan Turing's seminal paper featuring the Universal Turing
Machine. Just as the semantics of the machine gave rise to
Incomputability, and pointed to future directions in proof
theory, AI, generalized computability, the underlying role of
typed information and natural language, and the computability and
definability underpinning bioinformatics: so our conference
subtitle honors Turing's role in anticipating the quest for
universal computational frameworks across a wide spectrum of
scientific and humanist disciplines.
CiE 2016 is the twelfth conference organized by CiE
(Computability in Europe), a European association of
mathematicians, logicians, computer scientists, philosophers,
physicists and others interested in new developments in
computability and their underlying significance for the real
world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009),
Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan
(2013), Budapest (2014) and Bucharest (2015).
PROGRAM:
The papers accepted for CiE 2016 can be seen here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
The programme of the conference can be found here
http://lipn.univ-paris13.fr/CIE2016/program.php
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag, and there will be a best student paper award presented to
the best paper written solely by students, sponsored by Springer.
TUTORIAL SPEAKERS:
Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)
INVITED SPEAKERS:
Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)
SPECIAL SESSIONS on:
Computable and constructive analysis
(organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems
(organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory
(organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics
(organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics
(organizers: Lev Beklemishev, Stanislav Speranski)
INFORMAL PRESENTATIONS:
While computer science conferences usually host formal
presentations based on papers published in a proceedings volume,
mathematics conferences allow for informal presentations that are
prepared very shortly before the conference and inform the
participants about current research and work in progress. So,
continuing the tradition of past CiE conferences, CiE 2016 hosts
a series of informal presentations, in addition to the
presentations based on the papers in the LNCS proceedings volume.
The list of informal presentations can be found here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
___________________________________
CiE 2016 http://lipn.univ-paris13.fr/CIE2016/
ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CiE 2016: Call for Participation and Registration
----------------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal
Paris, France
June 27 - July 1st, 2016
http://lipn.univ-paris13.fr/CIE2016/
Details on the registration:
http://lipn.univ-paris13.fr/CIE2016/registration.php
Details on accommodation possibilities:
http://lipn.univ-paris13.fr/CIE2016/practical.php
CiE 2016's Motto is: "Pursuit of the Universal". This year's
conference will open with a special tribute session that CiE
society is dedicating to the former CiE president, Barry Cooper
who unexpectedly passed away on October 26th 2015. Barry was
originally scheduled as a plenary speaker at this year's
conference.
The year 2016 brings the eightieth anniversary of the publication
of Alan Turing's seminal paper featuring the Universal Turing
Machine. Just as the semantics of the machine gave rise to
Incomputability, and pointed to future directions in proof
theory, AI, generalized computability, the underlying role of
typed information and natural language, and the computability and
definability underpinning bioinformatics: so our conference
subtitle honors Turing's role in anticipating the quest for
universal computational frameworks across a wide spectrum of
scientific and humanist disciplines.
CiE 2016 is the twelfth conference organized by CiE
(Computability in Europe), a European association of
mathematicians, logicians, computer scientists, philosophers,
physicists and others interested in new developments in
computability and their underlying significance for the real
world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009),
Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan
(2013), Budapest (2014) and Bucharest (2015).
PROGRAM:
The papers accepted for CiE 2016 can be seen here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
The programme of the conference can be found here
http://lipn.univ-paris13.fr/CIE2016/program.php
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag, and there will be a best student paper award presented to
the best paper written solely by students, sponsored by Springer.
TUTORIAL SPEAKERS:
Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)
INVITED SPEAKERS:
Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)
SPECIAL SESSIONS on:
Computable and constructive analysis
(organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems
(organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory
(organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics
(organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics
(organizers: Lev Beklemishev, Stanislav Speranski)
INFORMAL PRESENTATIONS:
While computer science conferences usually host formal
presentations based on papers published in a proceedings volume,
mathematics conferences allow for informal presentations that are
prepared very shortly before the conference and inform the
participants about current research and work in progress. So,
continuing the tradition of past CiE conferences, CiE 2016 hosts
a series of informal presentations, in addition to the
presentations based on the papers in the LNCS proceedings volume.
The list of informal presentations can be found here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
___________________________________
CiE 2016 http://lipn.univ-paris13.fr/CIE2016/
ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-06-03
[Caml-list] FHPC 2016: Final Call for Papers
======================================================================
CALL FOR PAPERS
FHPC 2016
The 5th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Nara, Japan
September 22, 2016
https://sites.google.com/site/fhpcworkshops/
Co-located with the International Conference on Functional Programming
(ICFP 2016)
Submission Deadline: Friday, 10 June, 2016 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2016 seeks to encourage a range of submissions, focussing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
* Submissions due: Friday, 10 June, 2016 (anywhere on earth)
* Author notification: Friday, 8 July, 2016
* Final copy due: Sunday, 31 July, 2016
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2016 should be submitted via Easychair, at the
following URL:
* https://www.easychair.org/conferences/?conf=fhpc16
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
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 programme, see its web page (http://www.sigplan.org/PAC.htm).
Programme Committee:
====================
David Duke (co-chair) University of Leeds, UK
Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan
Baris Aktemur Özyeğin University, Turkey
Marco Aldinucci University of Torino, Italy
Jost Berthold Commonwealth Bank, Australia
Kei Davis Los Alamos National Laboratory, USA
Kento Emoto Kyushu Institute of Technology, Japan
Zhenjiang Hu National Institute of Informatics, Japan
Ben Lippmeier University of New South Wales, Australia
Rita Loogen University of Marburg, Germany
Geoffrey Mainland Drexel University, USA
Mike Rainey INRIA, France
Mary Sheeran Chalmers University of Technology, Sweden
Satnam Singh Facebook, UK
CALL FOR PAPERS
FHPC 2016
The 5th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Nara, Japan
September 22, 2016
https://sites.google.com/site/fhpcworkshops/
Co-located with the International Conference on Functional Programming
(ICFP 2016)
Submission Deadline: Friday, 10 June, 2016 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2016 seeks to encourage a range of submissions, focussing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
* Submissions due: Friday, 10 June, 2016 (anywhere on earth)
* Author notification: Friday, 8 July, 2016
* Final copy due: Sunday, 31 July, 2016
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2016 should be submitted via Easychair, at the
following URL:
* https://www.easychair.org/conferences/?conf=fhpc16
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
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 programme, see its web page (http://www.sigplan.org/PAC.htm).
Programme Committee:
====================
David Duke (co-chair) University of Leeds, UK
Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan
Baris Aktemur Özyeğin University, Turkey
Marco Aldinucci University of Torino, Italy
Jost Berthold Commonwealth Bank, Australia
Kei Davis Los Alamos National Laboratory, USA
Kento Emoto Kyushu Institute of Technology, Japan
Zhenjiang Hu National Institute of Informatics, Japan
Ben Lippmeier University of New South Wales, Australia
Rita Loogen University of Marburg, Germany
Geoffrey Mainland Drexel University, USA
Mike Rainey INRIA, France
Mary Sheeran Chalmers University of Technology, Sweden
Satnam Singh Facebook, UK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)
[NB. Apparently some people have trouble with viewing the symposium
web site. We have created a mirror site. -- Atsushi ]
*********************************************************************
APLAS 2016, Final Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~aplas2016/
(mirror: http://www.fos.kuis.kyoto-u.ac.jp/aplas2016/)
*********************************************************************
*IMPORTANT DATES*
Abstract deadline: June 12, 2016
Submission deadline: June 17, 2016
Author notification: August 15, 2016
Final version: August 31, 2016
Conference: November 21 - 23, 2016
*ABOUT*
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia,
but is an international forum that serves the worldwide programming
language community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS), founded by Asian researchers in cooperation with many
researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Pohang ('15), Singapore ('14), Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
*TOPICS*
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool demonstrations
category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
- describing original scientific research results, including system
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including bibliography
and figures. This category encompasses both theoretical and
implementation (also known as system descriptions) papers. In
either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged
on the basis of significance, relevance, correctness, originality,
and clarity. System descriptions papers should contain a link to a
working system and will be judged on originality, usefulness, and
design. In case of lack of space, proofs, experimental results, or
any information supporting the technical results of the paper could
be provided as an appendix or a link to a web page, but reviewers
are not obliged to read them.
b) System and tool demonstrations
- describing a demonstration of a tool or a system that support
theory, program construction, reasoning, or program execution
in the scope of APLAS. The main purpose of a tool paper is to
display a completed, robust and well-documented tool --
highlighting the overall functionality of the tool, the interfaces
of the tool, interesting examples and applications of the tool,
an assessment of the tool's strengths and weaknesses, and a
summary of documentation/support available with the tool.
Authors of tool demonstration proposals are expected to present a live
demonstration of the tool at the conference.
It is highly desirable that the tools are available on the web.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. They may
include an additional appendix of up to 6 extra pages giving
the outline, screenshots, examples, etc. to indicate the content of
the proposed live demo.
Papers should be submitted electronically via the submission web page
<https://easychair.org/conferences/?conf=aplas2016> using EasyChair.
Acceptable formats are PDF.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Co-Chairs:
Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam)
Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam)
Program Chair:
Atsushi Igarashi (Kyoto University, Japan)
Program Committee:
Andreas Abel (Gothenburg University, Sweden)
Walter Binder (University of Lugano, Switzerland)
Sandrine Blazy (University of Rennes 1 – IRISA, France)
Iliano Cervesato (CMU, Qatar)
Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
Kung Chen (National Chengchi University, Taipei, Taiwan)
Yuxi Fu (Shanghai Jiao Tong University, China)
Oleg Kiselyov (Tohoku University, Japan)
Anthony W. Lin (Yale-NUS College, Singapore)
David Yu Liu (SUNY Binghamton, USA)
Hidehiko Masuhara (Tokyo Institute of Techonology, Japan)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Nadia Polikarpova (MIT, USA)
Alex Potanin (Victoria University of Wellington, New Zealand)
G. Ramalingam (Microsoft Research, India)
Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam)
Tamara Rezk (INRIA, France)
Sukyoung Ryu (KAIST, Korea)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Éric Tanter (University of Chile, Chile)
Tachio Terauchi (JAIST, Japan)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
web site. We have created a mirror site. -- Atsushi ]
*********************************************************************
APLAS 2016, Final Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~aplas2016/
(mirror: http://www.fos.kuis.kyoto-u.ac.jp/aplas2016/)
*********************************************************************
*IMPORTANT DATES*
Abstract deadline: June 12, 2016
Submission deadline: June 17, 2016
Author notification: August 15, 2016
Final version: August 31, 2016
Conference: November 21 - 23, 2016
*ABOUT*
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia,
but is an international forum that serves the worldwide programming
language community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS), founded by Asian researchers in cooperation with many
researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Pohang ('15), Singapore ('14), Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
*TOPICS*
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool demonstrations
category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
- describing original scientific research results, including system
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including bibliography
and figures. This category encompasses both theoretical and
implementation (also known as system descriptions) papers. In
either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged
on the basis of significance, relevance, correctness, originality,
and clarity. System descriptions papers should contain a link to a
working system and will be judged on originality, usefulness, and
design. In case of lack of space, proofs, experimental results, or
any information supporting the technical results of the paper could
be provided as an appendix or a link to a web page, but reviewers
are not obliged to read them.
b) System and tool demonstrations
- describing a demonstration of a tool or a system that support
theory, program construction, reasoning, or program execution
in the scope of APLAS. The main purpose of a tool paper is to
display a completed, robust and well-documented tool --
highlighting the overall functionality of the tool, the interfaces
of the tool, interesting examples and applications of the tool,
an assessment of the tool's strengths and weaknesses, and a
summary of documentation/support available with the tool.
Authors of tool demonstration proposals are expected to present a live
demonstration of the tool at the conference.
It is highly desirable that the tools are available on the web.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. They may
include an additional appendix of up to 6 extra pages giving
the outline, screenshots, examples, etc. to indicate the content of
the proposed live demo.
Papers should be submitted electronically via the submission web page
<https://easychair.org/conferences/?conf=aplas2016> using EasyChair.
Acceptable formats are PDF.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Co-Chairs:
Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam)
Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam)
Program Chair:
Atsushi Igarashi (Kyoto University, Japan)
Program Committee:
Andreas Abel (Gothenburg University, Sweden)
Walter Binder (University of Lugano, Switzerland)
Sandrine Blazy (University of Rennes 1 – IRISA, France)
Iliano Cervesato (CMU, Qatar)
Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
Kung Chen (National Chengchi University, Taipei, Taiwan)
Yuxi Fu (Shanghai Jiao Tong University, China)
Oleg Kiselyov (Tohoku University, Japan)
Anthony W. Lin (Yale-NUS College, Singapore)
David Yu Liu (SUNY Binghamton, USA)
Hidehiko Masuhara (Tokyo Institute of Techonology, Japan)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Nadia Polikarpova (MIT, USA)
Alex Potanin (Victoria University of Wellington, New Zealand)
G. Ramalingam (Microsoft Research, India)
Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam)
Tamara Rezk (INRIA, France)
Sukyoung Ryu (KAIST, Korea)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Éric Tanter (University of Chile, Chile)
Tachio Terauchi (JAIST, Japan)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-06-01
[Caml-list] LOPSTR 2016: 2nd Call for Papers
[ Please distribute, apologies for multiple postings. ]
======================================================================
LOPSTR 2016: 2nd Call for Papers
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
DEADLINES:
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
======================================================================
INVITED SPEAKERS:
Francesco Logozzo (Facebook, USA) [jointly with PPDP]
Greg Morrisett (Cornell University, USA) [jointly with PPDP]
Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ]
======================================================================
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 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
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 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
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: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
Notification: August 3, 2016
Camera-ready (for electronic pre-proceedings): August 19, 2016
Symposium: September 6-8, 2016
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 (and, if
possible, line 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 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Best Paper Award and Prize
A best paper award will be granted, which will include a 500 EUR prize
provided by Springer. This award will be given to the best paper
submitted to the conference, based on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. 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.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jerome Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glueck, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Duesseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
In cooperation with:
The European Association for Theoretical Computer Science
The European Association for Programming Languages and Systems
The Association for Logic Programming
The IMDEA Software Institute
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
======================================================================
LOPSTR 2016: 2nd Call for Papers
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
DEADLINES:
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
======================================================================
INVITED SPEAKERS:
Francesco Logozzo (Facebook, USA) [jointly with PPDP]
Greg Morrisett (Cornell University, USA) [jointly with PPDP]
Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ]
======================================================================
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 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
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 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
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: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
Notification: August 3, 2016
Camera-ready (for electronic pre-proceedings): August 19, 2016
Symposium: September 6-8, 2016
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 (and, if
possible, line 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 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Best Paper Award and Prize
A best paper award will be granted, which will include a 500 EUR prize
provided by Springer. This award will be given to the best paper
submitted to the conference, based on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. 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.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jerome Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glueck, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Duesseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
In cooperation with:
The European Association for Theoretical Computer Science
The European Association for Programming Languages and Systems
The Association for Logic Programming
The IMDEA Software Institute
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)