[Caml-list] LPAR-22 in Ethiopia - Call for Papers and Workshops

The 22nd International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-22


Awassa, Ethiopia, 16-21 November 2018
http://www.LPAR-22.info

CALL FOR PAPERS

The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 22nd LPAR
will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November
2018. The proceedings will be published by EasyChair Publications, in the EPiC
Series in Computing. The volume will be open access and the authors will retain
copyright.

==Important Dates

Abstract submission 6th August 2018
Paper submission 13th August 2018
Notification 24th September 2018
Final version 15th October 2018
Early registration 15th October 2018
Workshops 16th November 2018
Conference 17-21st November 2018

==Topics

New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.

Topics of interest include, but are not limited to:

+ Abduction and interpolation methods
+ Answer set programming
+ Automated reasoning
+ Constraint programming
+ Contextual reasoning
+ Decision procedures
+ Description logics
+ Foundations of security
+ Hardware verification
+ Implementations of logic
+ Inconsistency- and exception tolerant reasoning
+ Interactive theorem proving
+ Knowledge representation and reasoning
+ Logic and computational complexity
+ Logic and databases
+ Logic and games
+ Logic and machine learning
+ Logic and the web
+ Logic and types
+ Logic in artificial intelligence
+ Logic of distributed systems
+ Logic of knowledge and belief
+ Logic programming
+ Logical aspects of concurrency
+ Logical foundations of programming
+ Modal and temporal logics
+ Model checking
+ Non-monotonic reasoning
+ Ontologies and large knowledge bases
+ Paraconsistent logics
+ Probabilistic and fuzzy reasoning
+ Program analysis
+ Rewriting
+ Satisfiability checking
+ Satisfiability modulo theories
+ Software verification
+ Specification using logic
+ Unification theory

==Organization

Program Chairs:

Gilles Barthe (IMDEA Software Institute)
Margus Veanes (Microsoft Research)
Martin Hofmann (Ludwig-Maximilians-Universität München, in memoriam)

Conference Chair:

Geoff Sutcliffe (University of Miami, USA)

==Submission Details

Submissions of two kinds are welcome:

- Regular papers that describe solid new research results. They can be
up to 15 pages long in EasyChair style, including figures but excluding
references and appendices (that reviewers are not required to read).

- Experimental and tool papers that describe implementations of
systems, report experiments with implemented systems, or compare
implemented systems. They can be up to 8 pages long in the EasyChair
style.

Both types of papers must be electronically submitted in PDF via EasyChair:

https://easychair.org/conferences/?conf=lpar22

Authors must register a title and an abstract by the abstract submission
deadline.

==Participation

Authors of accepted papers are required to ensure that at least one of
them will be present at the conference.

==Workshop Proposals

Proposals for workshops to be held in conjunctionwith LPAR-22 are solicited.
Please email proposals to the program and conference chairs.


For more details about the venue and organization, see the conference
webpage http://www.LPAR-22.info

--
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] GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5,6 2018

--------------------------------------------------------------------------

CALL FOR PAPERS

17th International Conference on
Generative Programming: Concepts & Experiences (GPCE 2018)

November 5-6, 2018
Boston, MA, USA
(co-located with SPLASH 2018)
http://2018.splashcon.org/track/gpce-2018

http://twitter.com/GPCECONF
http://www.facebook.com/GPCEConference

IMPORTANT DATES

* Submission of abstracts: June 29, 2018
* Submission of papers:    July  6, 2018
* Paper notification:      August 24, 2018

Submission site: https://gpce18.hotcrp.com/

KEYNOTE SPEAKER

* Saman Amarasinghe, MIT, https://people.csail.mit.edu/saman/

Saman Amaraasinghe and his group at MIT have developed several
domain-specific languages, including Halide, TACO, Simit, StreamIt,
StreamJIT, PetaBricks, MILK, Cimple, and GraphIt, that target diverse
areas such as image processing, stream computations, and graph
analytics.  In each, the innovative language abstractions are
leveraged by sophisticated compilation techniques to generate
exceptionally high performance.  Dr. Amarasinghe has also pioneered
the application of techniques from machine learning to compiler
optimizations in systems such as Meta and the OpenTuner extensible
autotuner.

--------------------------------------------------------------------------

SCOPE

GPCE is a venue for researchers and practitioners interested in techniques
and tools for code generation, language implementation, and metaprogramming.
GPCE seeks conceptual, theoretical, empirical, and technical contributions
to its topics of interest, which include but are not limited to:

* program transformation, staging, macro systems, preprocessors, program
  synthesis, and code-recommendation systems,
* domain-specific languages, language embedding, language design, and
  language workbenches,
* feature-oriented programming, domain engineering, and feature
  interactions,
* applications and properties of code generation, language
  implementation, and product-line development.

Authors are welcome to check with the PC chair whether their planned
papers are in scope.

PAPER SELECTION

The GPCE program committee will evaluate each submission according to the
following selection criteria:

* Novelty. Papers must present new ideas or evidence and place them
  appropriately within the context established by previous research in
  the field.
* Significance. The results in the paper must have the potential to add
  to the state of the art or practice in significant ways.
* Evidence. The paper must present evidence supporting its claims.
  Examples of evidence include formalizations and proofs, implemented
  systems, experimental results, statistical analyses, and case studies.
* Clarity. The paper must present its contributions and results clearly.

PAPER CATEGORIES

GPCE solicits three kinds of submissions.

* Full Papers reporting original and unpublished results of research that
contribute to scientific knowledge in any GPCE topic listed above. Full
paper submissions must not exceed 12 pages excluding bibliography.

* Short Papers presenting unconventional ideas or visions about any GPCE
topic listed above. Short papers do not always require complete results
as in the case of a full paper. In this way, authors can introduce new
ideas to the community and get early feedback. Please note that short
papers are not intended to be position statements. Short papers are
included in the proceedings and will be presented at the conference.
Short paper submissions must not exceed 6 pages excluding bibliography.

* Tool Demonstrations presenting tools for any GPCE topic listed above.
Tools must be available for use and must not be purely commercial.
Submissions must provide a tool description not exceeding 6 pages
excluding bibliography and a separate demonstration outline including
screenshots also not exceeding 6 pages. Tool demonstrations must have
the keywords "Tool Demo" or "Tool Demonstration" in their title. If the
submission is accepted, the tool description will be published in the
proceedings. The demonstration outline will only be used by the program
committee for evaluating the submission.

PAPER SUBMISSION

All submissions must use the ACM SIGPLAN Conference Format "acmart",
using the "sigplan" sub-format, and 10 point font.  Additional details
and links to templates and the LaTeX class file can be found on the
conference web site: http://2018.splashcon.org/track/gpce-2018.

To increase fairness in reviewing, a double-blind review process has
become standard across SIGPLAN conferences. GPCE will follow a very
lightweight model, where author identities are revealed to reviewers
after submitting their initial reviews. Hence, the purpose is not to
conceal author identities at all cost, but merely to provide reviewers
with an unbiased first look at a submission. Author names and
institutions should be omitted from submitted papers, and references
to the authors' own related work should be in the third person.
No other changes are necessary, and authors will not be penalized
if reviewers are able to infer their identities in implicit ways.

To understand the motivation for using a double-blind review process
please see "Effectiveness of anonymization in double-blind review" by
C. Le Goues, Y. Brun, S. Apel, E. Berger, S. Khurshid, Y. Smaragdakis
at https://doi.org/10.1145/3208157.

Papers must be submitted using HotCRP: https://gpce18.hotcrp.com/

For additional information, clarification, or answers to questions
please contact the program chair.

ORGANIZATION

Chairs (chairs at gpce.org)

General Chair: Eric Van Wyk (University of Minnesota, USA)
Program Chair: Tiark Rompf (Purdue University, USA)

Program Committee

Vander Alves, University of Brasilia
Kenichi Asai, Ochanomizu University
Martin Berger, University of Sussex
Aggelos Biboudis, EPFL
Eugene Burmako, Twitter
Charisee Chiw, University of Chicago
Dana Drachsler Cohen, ETH Zürich
Sebastian Erdweg, TU Delft
Robert Glück, DIKU
Vinod Grover, NVIDIA
Shoaib Kamil, Adobe
Andrei Klimov, Keldysh Institute
Oleg Kiselyov, Tohoku University
Stefan Marr, University of Kent
Sarah Nadi, University of Alberta
Klaus Ostermann, University of Tübingen
Oleksandr Polozov, Microsoft Research
Ina Schaefer, TU Braunschweig
Ulrik Pagh Schultz, University of Southern Denmark
Chung-chieh Shan, Indiana University
Jeremy Siek, Indiana University
Alexander Slesarenko, Huawei
Anthony Sloane, Macquarie University
Tijs van der Storm, CWI
Walid Taha, Halmstad University
Kanae Tsushima, NII
Jeremy Yallopp, University of Cambridge

Re: [Caml-list] OCaml DocJam on May 18-20: call for participation

Just a reminder, the OCaml DocJam starts tomorrow! Some of us will be
on the IRC and Discord OCaml channels, you can join us there.


On Wed, 9 May 2018 09:48:10 +0200 Gabriel Scherer
<gabriel.scherer@gmail.com> wrote:
> Dear list,
>
> From Friday 18 to Sunday 20 of this month, we are organizing a
> DocJam, a remote event where people are invited to contribute to
> the documentation of OCaml projects. This is open to all skill
> levels and should not require more than one or two hours at a time.
> Anyone is warmly welcome to participate.
>
> For more information, see the announce webpage
>
>
> http://gallium.inria.fr/~scherer/events/ocaml-docjam-may-2018/announce.html
>
> which links, in particular, to a Discuss thread (
> https://discuss.ocaml.org/t/may-2018-ocaml-docjam-thread-may-18-19-20/1957
> ) where you can ask any question (also feel free to send me an
> email), and group communication channels to chat with
> co-participants during the event.
>
> Happy documenting

--
Perry E. Metzger perry@piermont.com

--
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] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)

=============================================================================
        Workshop on Formal Verification of Physical Systems (FVPS 2018)
                                             
                         August 17, 2018
                      RISC, Hagenberg, Austria

                       Co-located with CICM 2018
                  
                   https://easychair.org/cfp/FVPS-2018
               https://cicm-conference.org/2018/cicm.php
=============================================================================



Theme
=====
One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. For example, control and communication protocols are usually modeled using automata theory, and thus analyzed using model checking techniques, while the modeling of physical aspects often requires multivariate calculus foundations, which are in turn analyzed using paper-and-pencil based analytical proofs, simulation or theorem proving. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-healthcare, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems.  For example, we are moving towards Quantum Computers to meet the high-performance needs. Similarly, phonic components are increasingly being advocated and used in aerospace applications due to their lightweight and temperature independency compared to traditional electronics-based components.  Finally, the impact of physical components is relevant to both safety and security of the overall system.  For example, malfunction in sensor measurement may lead to safety issues whereas sophisticated physics-based side-channel (e.g., power and acoustic measurements) attacks lead to the security violation of the underlying system.

The focus of the workshop will be on formal verification techniques for the modeling, analysis and verification of safety and security critical physical systems. We encourage submissions on interdisciplinary approaches that bring together formal methods and techniques from other knowledge areas such as quantum computing, control theory, biology, optimization theory and artificial intelligence.

Topics of Interest
==================
Topics of interest include (but are not limited to):

General Topics
--------------------
- Formalization of mathematics and physics theories
- Interactive and automated theorem proving for physical systems
- Model Checking algorithms and tools for physical systems
- Formalization of security and safety of physical systems
- Runtime verification of safety and security properties
- Combination of formal, semiformal and infromal approaches
- Formal verification of numerical algorithms
- Refinement based verification of physical systems
- Formalization of probability, reliability and statistical metrics
- Hybrid systems
- Benchmarks for physical systems
- Formal requirement specification and validation

Application Domain
--------------------------
- Aerospace and avionic systems
- Automotive cyber physical systems
- Robotics
- Smartgrids
- Smart transportation
- Human factor modeling and analysis
- Biolgical and healthcare systems

Submission
==========
Authors should prepare their papers in one column  style of CEUR-WS. There are two categories of submissions:

- Regular papers describing developed work with theoretical results (up to 15 pages)
- Short papers on experience reports, tools or work in progress with preliminary results (up to 6 pages)

Electronic submission is done through EasyChair. The submissions will be reviewed by at least three PC members.  At least one author of each accepted paper is expected to attend FVPS and presents her/his paper.

The authors of the best papers will be invited to submit extended versions to a special issue of a Formal Methods/CPS Journal.

Important Dates
===============

- Full Paper Submission: June 8, 2018
- Notification: July 6, 2018
- Camera Ready: July 13, 2018
- Workshop: August 17, 2018

Program Chairs
==============
- Sofiene Tahar , Concordia University, Montreal, QC, Canada
- Osman Hasan, National University of Sciences and Technology (NUST), Pakistan
- Umair Siddique, Waterloo Technical Center (WTC), BorgWarner, Canada

Program Committee (TBC)
======================
- Aaron Dutle, NASA Langley Research Center, U.S.A.
- Jacques Fleuriot, University of Edinburgh, U.K.
- Hubert Garavel, INRIA Grenoble, France
- Atif Mashkoor, SCCH and JKU, Austria
- Sergio Mover, University of Colorado Boulder, U.S.A.
- Julien Narboux, University of Strasbourg, France
- Peter Csaba Ölveczky, University of Oslo, Norway
- Shinichi Shiraishi, Toyota InfoTechnology Center, U.S.A.

[Caml-list] OCaml DocJam on May 18-20: call for participation

Dear list,

From Friday 18 to Sunday 20 of this month, we are organizing a DocJam, a remote event where people are invited to contribute to the documentation of OCaml projects. This is open to all skill levels and should not require more than one or two hours at a time. Anyone is warmly welcome to participate.

For more information, see the announce webpage

  http://gallium.inria.fr/~scherer/events/ocaml-docjam-may-2018/announce.html

which links, in particular, to a Discuss thread ( https://discuss.ocaml.org/t/may-2018-ocaml-docjam-thread-may-18-19-20/1957 ) where you can ask any question (also feel free to send me an email), and group communication channels to chat with co-participants during the event.

Happy documenting

[Caml-list] ICTCS 2018 @ Urbino - last call for papers

====================================================================
ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science

18-20 September 2018, Urbino, Italy

http://www.sti.uniurb.it/events/ictcs2018/

CALL FOR PAPERS
====================================================================

===============
IMPORTANT DATES
===============

Abstract submission: 17 May 2018
Paper submission: 24 May 2018
Notification: 30 June 2018
Final version: 20 July 2018

================
SCOPE AND TOPICS
================

The Italian Conference on Theoretical Computer Science (ICTCS)
is the conference of the Italian Chapter of the European Association
for Theoretical Computer Science.

The purpose of ICTCS is to foster the cross-fertilization of ideas
stemming from different areas of theoretical computer science.
In particular, ICTCS provides an ideal environment where
junior researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly
invited from researchers of all nationalities.

The topics of interest include, but are not limited to, the following:
agents, algorithms, argumentation, automata theory, complexity theory,
computational logic, computational social choice, concurrency theory,
cryptography, discrete mathematics, distributed computing, dynamical systems,
formal methods, game theory, graph theory, knowledge representation,
languages, model checking, process algebras, quantum computing,
rewriting systems, security and trust, semantics, specification and
verification, systems biology, theorem proving, type theory.

================
PAPER SUBMISSION
================

Two types of contributions, written in English and formatted according
to Springer LNCS style, are solicited.

Regular papers: up to 12 pages, presenting original results not appeared
or submitted elsewhere. To ease the reviewing process, the authors of
regular papers may add an appendix, although reviewers are not required
to consider it in their evaluation.

Communications: up to 5 pages, suitable for extended abstracts of papers
already appeared/submitted or to be submitted elsewhere, as well as papers
reporting ongoing research on which the authors wish to get feedback and
overviews of PhD theses or research projects.

Authors are invited to submit their manuscripts in PDF format via EasyChair.

All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.

For each accepted contribution, at least one of the authors is required
to attend the conference and present the paper.

As in previous years, we plan to publish a selection of the best papers
in a special issue of an international journal.

==========
COMMITTEES
==========

Program Chairs:

Alessandro Aldini (Università di Urbino "Carlo Bo", Italy)
Marco Bernardo (Università di Urbino "Carlo Bo", Italy)

Program Committee:

Marco Antoniotti (Università di Milano "Bicocca", Italy)
Franco Barbanera (Università di Catania, Italy)
Anna Bernasconi (Università di Pisa, Italy)
Davide Bilò (Università di Sassari, Italy)
Stefano Bistarelli (Università di Perugia, Italy)
Luca Bortolussi (Università di Trieste, Italy)
Tiziana Calamoneri (Università di Roma "Sapienza", Italy)
Antonio Caruso (Università del Salento, Italy)
Silvia Crafa (Università di Padova, Italy)
Ugo Dal Lago (Università di Bologna, Italy)
Gianlorenzo D'Angelo (Gran Sasso Science Institute, Italy)
Moreno Falaschi (Università di Siena, Italy)
Gabriele Fici (Università di Palermo, Italy)
Michele Flammini (Università dell'Aquila & GSSI, Italy)
Dora Giammarresi (Università di Roma "Tor Vergata", Italy)
Paola Giannini (Università del Piemonte Orientale, Italy)
Flaminia Luccio (Università di Venezia "Ca' Foscari", Italy)
Isabella Mastroeni (Università di Verona, Italy)
Maria Chiara Meo (Università di Chieti e Pescara "G. d'Annunzio", Italy)
Emanuela Merelli (Università di Camerino, Italy)
Manuela Montangero (Università di Modena e Reggio Emilia, Italy)
Aniello Murano (Università di Napoli "Federico II", Italy)
Luca Padovani (Università di Torino, Italy)
Domenico Parente (Università di Salerno, Italy)
Simona Perri (Università della Calabria, Italy)
Carla Piazza (Università di Udine, Italy)
Giovanni Pighizzini (Università di Milano, Italy)
Giovanni Michele Pinna (Università di Cagliari, Italy)
Rosario Pugliese (Università di Firenze, Italy)
Paola Quaglia (Università di Trento, Italy)
Gianfranco Rossi (Università di Parma, Italy)
Pierluigi San Pietro (Politecnico di Milano, Italy)
Simone Tini (Università dell'Insubria, Italy)
Mirco Tribastone (IMT Lucca, Italy)
Paola Vocca (Università della Tuscia, Italy)
Elena Zucca (Università di Genova, Italy)

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