[Caml-list] PEPM 2018 Final Call for Papers

PEPM 2018 FINAL CALL FOR PAPERS
===============================

The submission site is now open: https://pepm18.hotcrp.com
Only one week until the paper submission deadline (6th October AoE)!


Highlights
----------

PEPM 2018 welcomes submissions on

* semantics based and machine-learning based program synthesis and program
optimisation, and

* modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types,
and contract specifications,

in addition to traditional PEPM topics.

Do submit a short paper if you want to get feedback for your work in progress!
If requested, short papers can be left out of the proceedings so that the
results can be published elsewhere.


New in this call
----------------

Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard.

Short papers should include the words "short paper" somewhere in their title,
and will be evaluated primarily on the basis of their ideas rather than
finished execution.


-- CALL FOR PAPERS --

ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018
===============================================================================

* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
which has a history going back to 1991 and has co-located with POPL every year
since 2006, originates in the discoveries of practically useful automated
techniques for evaluating programs with only partial input. Over the years,
the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box execution,
but also as data structures that can be generated, analysed, and transformed
while establishing or maintaining important semantic properties.


Scope
-----

In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:

* Semantics based and machine-learning based program synthesis and program
optimisation.

* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.

More generally, topics of interest for PEPM 2018 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.

* 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.

* 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.

* 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 new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko
(https://josh-hs-ko.github.io).


Submission categories and guidelines
------------------------------------

Two kinds of submissions will be accepted: Regular Research Papers and Short
Papers.

* 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 (excluding bibliography).

* 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; they will be
evaluated primarily on the basis of their ideas rather than finished
execution. Short papers must not exceed 6 pages (excluding bibliography),
and should include the words "short paper" somewhere in their title.

Both kinds of submissions should be typeset using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:

http://sigplan.org/Resources/Author/

and submitted electronically via HotCRP:

https://pepm18.hotcrp.com/

PEPM 2018 will employ lightweight double-blind reviewing according to the rules
of POPL 2018. Quoting from POPL 2018's call for papers:

"submitted papers must adhere to two rules:

1. author names and institutions must be omitted, and

2. references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on
the work of ...").

The purpose of this process is to help the PC and external reviewers come to
an initial judgment about the paper without bias, not to make it impossible
for them to discover the authors if they were to try. Nothing should be done
in the name of anonymity that weakens the submission or makes the job of
reviewing the paper more difficult. In particular, important background
references should not be omitted or anonymized. In addition, authors should
feel free to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas."

See POPL 2018's Submission and Reviewing FAQ page for more information:

http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ

Submissions are welcome from PC members (except the two co-chairs) provided
that there are non-PC co-authors.

Accepted papers will appear in formal proceedings published by ACM, and be
included in the ACM Digital Library. Authors of short papers, however, can ask
for their papers to be left out of the formal proceedings.

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.

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.


Important dates
---------------

* Paper submission deadline : Friday 6th October 2017 (AoE) (firm)
* Author notification : Saturday 4th November 2017
* Workshop : Monday 8th – Tuesday 9th January 2018

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.)


Best paper award
----------------

PEPM 2018 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.


Invited speakers
----------------

Alex Aiken (Stanford University)
Conal Elliott (Target)
Jan Midtgaard (University of Southern Denmark)


Programme committee
-------------------

Nada Amin (EPFL)
Shigeru Chiba (University of Tokyo)
Ezgi Çiçek (Max Planck Institute for Software Systems)
Olivier Danvy (Yale-NUS College)
Ronald Garcia (University of British Columbia)
Simon Gay (University of Glasgow)
Andy Gill (X, the Moonshot Factory)
Fritz Henglein (co-chair) (University of Copenhagen)
Anastasia Izmaylova (IMC Financial Markets)
Johan Jeuring (Utrecht University)
Gabriele Keller (University of New South Wales)
Oleg Kiselyov (Tohoku University)
Hsiang-Shang Ko (co-chair) (National Institute of Informatics)
Ralf Lämmel (University of Koblenz-Landau)
Julia Lawall (Inria)
Simon Peyton Jones (Microsoft Research Cambridge)
Frank Pfenning (Carnegie Mellon University)
Sriram Rajamani (Microsoft Research India)
Norman Ramsey (Tufts University)
Thomas Reps (University of Wisconsin-Madison)
Sergei Romanenko (Keldysh Institute of Applied Mathematics)
Tiark Rompf (Purdue University)
Wolfram Schulte (Facebook)
Peter Sestoft (IT University of Copenhagen)
Harald Søndergaard (University of Melbourne)
Kohei Suenaga (Kyoto University)
Martin Vechev (ETH Zurich)
Marcos Viera (University of the Republic)
Nobuko Yoshida (Imperial College London)

--
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] Commonsense-2017 - Call for Participation

Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017):
Call for Participation

You are invited to participate in Commonsense-2017, to be held at the
University College London, November 6-8, 2017.

The biennial Commonsense Symposia series provides a forum for exploring
one of the long-term goals of Artificial Intelligence, endowing computers
with common sense. Commonsense knowledge and reasoning are relevant for
many applications of current interest, such as robot and human
collaboration, transparent machine-learning systems that can explain their
conclusions, social media and story understanding software, and dialogue
systems.

Dates

November 6-8, 2017.

Location

Commonsense-2017 will take place on the campus of University College
London:

Haldane Room
Wilkins Building, Gower Street, London WC1E 6BT
Map: https://www.ucl.ac.uk/maps/haldane-room

Registration

Registration costs for this symposium are 25.00, and must be made via the
UCL online store:
https://www.ucl.ac.uk/infostudies/commonsense-2017/registration/

Local accommodation

Numerous hotels are within walking distance of UCL. Please see the
following suggestions, and contact hotels directly for booking:
https://www.ucl.ac.uk/infostudies/commonsense-2017/hotels/

Invited speakers:

Sebastian Riedel, University College London
Murray Shanahan, Imperial College London

Conference Chairs

Andrew S. Gordon, University of Southern California
Rob Miller, University College London
Gyorgy Turan, University of Illinois at Chicago and University of Szeged

Program Committee

Eyal Amir, University of Illinois at Urbana-Champaign
Chitta Baral, Arizona State University
Vaishak Belle, University of Edinburgh
Brandon Bennett, University of Leeds
Gbor Berend, University of Szeged
Nicola Bicocchi, Unversity of New Brunswick
Antonis Bikakis, University College London
Bert Bredeweg, University of Amsterdam
Erik Cambria, Nanyang Technological University
Cungen Cao, Chinese Academy of Sciences
Nathanael Chambers, United States Naval Academy
William Cohen, Carnegie Mellon University
Tony Cohn, University of Leeds
Ernest Davis, New York University
Gerard de Melo, Rutgers University
Valeria De Paiva, University of Birmingham
Luke Dickens, University College London
Esra Erdem, Sabanci University
Nina Gierasimczuk, Technical University of Denmark
Jonathan Gordon, USC Information Sciences Institute
Catherine Havasi, Luminoso Technologies
Jose Hernandez-Orallo, Universitat Politecnica de Valencia
Jeff Horty, University of Maryland
Daniela Inclezan, Miami University
Naoya Inoue, Tohoku University
Benjamin Johnston, University of Technology Sydney
Antonis Kakas, University of Cyprus
Gerhard Lakemeyer, RWTH Aachen University
Henry Lieberman, Massachusetts Institute of Technology
Vladimir Lifschitz, University of Texas
Fangzhen Lin, Hong Kong University of Science and Technology
Quan Liu, University of Science and Technology of China
Loizos Michael, Open University of Cyprus
Niloofar Montazeri, University of California Riverside
Leora Morgenstern, Leidos
Charlie Ortiz, Nuance Communications
Sebastian Pado, Stuttgart University
Theodore Patkos, Institute of Computer Science, FORTH
Pavlos Peppas, University of Patras
Dimitris Plexousakis, Institute of Computer Science, FORTH
Alan Ritter, Ohio State University
Chiaki Sakama, Wakayama University
Steven Schockaert, Cardiff University
Bob Sloan, University of Illinois at Chicago
Mark Steedman, University of Edinburgh
Michael Thielscher, University of New South Wales
Richmond Thomason, University of Michigan
Lucy Vanderwende, Microsoft Research
Laure Vieu, Institut de Recherche en Informatique de Toulouse
Stefan Woltran, Technische Universitt Wien

Website: http://commonsensereasoning.org

--
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

Re: [Caml-list] ETAPS 2018 joint call for papers

Dear Tarmo (and lists),

I am worried by the choice of Springer Gold OA proceedings. Does this mean that authors will have to pay author fees (Author Processing Charge, APC)? I would not submit to conference(s) with mandatory APC, as I believe that they make the situation of scientific publishing in our field worse than its current state (currently, for many papers that are made available on author webpages or on arXiv, no one needs to pay).

Cheers

On Wed, Aug 23, 2017 at 10:47 PM, Tarmo Uustalu <tarmo@cs.ioc.ee> wrote:

NEW! The proceedings of ETAPS 2018 will appear in *gold open access*.

As an exception for this year only, the important dates of POST differ
from the other member conferences!


******************************************************************

                    JOINT CALL FOR PAPERS

21st European Joint Conferences on Theory And Practice of Software
                         ETAPS 2018

             Thessaloniki, Greece, 14-21 April 2018

                   http://www.etaps.org/2018

******************************************************************

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.


-- MAIN CONFERENCES (16-20 April) --

   * ESOP: European Symposium on Programming
       (PC chair Amal Ahmed, Northeastern University, USA)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Alessandra Russo, Imperial College London, UK,
       and Andy Schürr, Technische Universität Darmstadt, Germany)
   * FoSSaCS: Foundations of Software Science
       and Computation Structures
       (PC chairs Christel Baier, Technische Univ. Dresden, Germany,
       and Ugo Dal Lago, Università di Bologna, Italy)
   * POST: Principles of Security and Trust
       (PC chairs Lujo Bauer, Carnegie Mellon University, USA,
       Ralf Küsters, University of Stuttgart, Germany)
   * TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
       and Marieke Huisman, Universiteit Twente, The Netherlands)

TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speaker:
     Martin Abadi (Google Research &
       University of California at Santa Cruz, USA)
   * FASE invited speaker:
     Pamela Zave (AT&T Labs, USA)
   * ESOP invited speaker:
     Derek Dreyer (MPI-SWS, Germany)
   * POST invited speaker:
     Benjamin C. Pierce (University of Pennsylvania, USA)


-- IMPORTANT DATES (all member conferences except POST)

   * Abstracts due: 13 October 2017
   * Papers due: 20 October 2017
   * Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
   * Notification: 22 December 2017
   * Camera-ready versions due: 23 February 2018


   IMPORTANT DATES for POST

   * Abstracts due: 22 November 2017
   * Papers due: 24 November 2017
   * Rebuttal: 12-16 January 2018
   * Notification: 25 January 2018
   * Camera-ready versions due: 23 February 2018


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.

Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE and POST will use a double-blind review process.

The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. It
is most likely that the proceedings will be published in the Advanced
Research in Computing and Software Science (ARCoSS) subline of
Springer's Lecture Notes in Computer Science series.


- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also *case study
papers* (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 6 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   proceedings, but will be evaluated.

ESOP and FoSSaCS do not accept tool demonstration papers.


-- SATELLITE EVENTS (14-15 April, 21 April) --

A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FAEPAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.


-- HOST INSTITUTION --

ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.


-- ORGANIZERS

Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.



--
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] FSCD 2018 First Call for Papers

(Apologies for multiple copies of this announcement. Please circulate.)

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

Third International Conference on Formal Structures for Computation and Deduction (FSCD'18)
         Oxford, UK, July 9 - 12th, 2018. 
http://fscd-conference.org/editions/fscd-2018

Part of The Federated Logic Conference, FLoC 2018,
          Oxford, UK, July 6 - 19th, 2018.  
http://www.floc2018.org

TOPICS:  FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications.  
Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications),
FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of
computation such as quantum computing or homotopy type theory.

Suggested, but not exclusive, list of topics for submission are:
1. Calculi:  Lambda calculus - Concurrent calculi - Logics -  Rewriting systems -  Proof theory - Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems - Induction and coinduction - Matching, unification, completion, and orderings - Strategies - Tree automata - Model checking - Proof search and theorem proving - Constraint solving and decision procedures 
3. Semantics: Operational semantics  - Abstract machines - Game Semantics - Domain theory and categorical models - Quantitative models 
4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking - Abstract Interpretation - Complexity analysis and implicit computational complexity - Checking termination, confluence, derivational complexity and related properties - Symbolic computation 
5. Tools and Applications: Programming and proof environments - Verification tools - Libraries for proof assistants and interactive theorem provers - Case studies in proof assistants and interactive theorem provers - Certification - Applications to security, planning, data bases,…

PUBLICATION : The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs)  of Schloss Dagstuhl. 
http://www.dagstuhl.de/publikationen/lipics/
All LIPIcs proceedings are open access.

SUBMISSION GUIDELINES : Submissions can be made in two categories.
- Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. 
- System descriptions are limited to 10 pages and must describe a working system which has not been published or submitted elsewhere.  
Submissions must be formatted using the LIPIcs style files and submitted via EasyChair.


IMPORTANT DATES: 
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. 
Abstract Deadline:  January  15th, 2018 
Submission Deadline: January  22nd, 2018
Rebuttal:  March  22 - 25th, 2018
Notification: April 2nd, 2018 
Camera-Ready: May  2nd, 2018 

FSCD Conference: July 9 - 12th, 2018 
FLoC Conference: July 6 - 19th, 2018 


PROGRAM COMMITTEE CHAIR
Hélène Kirchner,  Inria 

PROGRAM COMMITTEE
S. Akshay, IIT Bombay
T. Aoto, Niigata U.
P. Arrighi, Marseille U.
L. Birkedal, Aarhus U.
E. Bonelli, Quilmes U. 
A. Bouhoula, Carthage U.
C. Castro, F. Santa Maria Tech. U.
U. Dal Lago, Bologna U. 
S. Escobar, U.P. Valencia 
M. Fernández, King's College London 
V. Ganesh, Waterloo U. 
H. Geuvers, Nijmegen U. 
M. Hasegawa, Kyoto U.
P.B. Levy, U. of Birmingham
C. Loeding, Aachen U.
A. Miquel, UdelaR, Montevideo
G. Moser, Innsbruck U. 
C. Nalon, Brasilia U. 
V. Nigam, Paraiba U. & fortiss
P.C. Ölveczky, Oslo U.
G. Rosu, Illinois U.
P. Severi, Leicester U.
V. Sofronie-Stokkermans, Koblenz-Landau U.
N. Tabareau, Inria 
R. Thiemann, Innsbruck U.
A. Tiu, NTU Singapore 
F. van Raamsdonk, VU Amsterdam 
L. Zhi, CAS Beijing 

CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U. 
PUBLICITY CHAIR: Sandra Alves, Porto U.

FSCD STEERING COMMITTEE
T. Altenkirch (Nottingham U.),
S. Alves (Porto U.),
M. Fern\'andez (King's College London),
C. Fuhs (Birkbeck, London U.),
D. Kesner (Paris U.), 
N. Kobayashi (Tokyo U.),
D. Miller (Inria),
L. Ong (Chair, Oxford U.), 
B. Pientka (McGill U.),
S. Staton (Oxford U.),
R. Thiemann  (Innsbruck U.).