[Hol-info] LOPSTR 2019: Fist Call for Papers

[Tong Liu]

[LOPSTR 2019: Our apologies for possible duplicates]

=
  LOPSTR 2019: Fist Call for Papers 
==

 29th International Symposium on
 Logic-Based Program Synthesis and Transformation
   LOPSTR 2019

  http://www.cs.unibo.it/projects/lopstr19/

Porto, Portugal, October 8-10, 2019
(co-located with the Symposium on Formal Methods, FM'19 
  and a part of the FM Week)


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 29th International Symposium on Logic-based Program Synthesis and 
Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous 
symposia were held in Namur, Edinburgh, 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, Manchester and Frankfurt. LOPSTR 2019 
will be co-located with the Symposium on Formal Methods, FM'19 
and a part of the FM Week. 

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. 
This year LOPSTR extends its traditional topics to include also logic-based 
program 
development based on integration of sub-symbolic and symbolic models,  on 
machine 
learning techniques and on differential semantics. Both full papers and 
extended 
abstracts describing applications in all 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 
* machine learning for program development
* integration of sub-symbolic and symbolic models
* differential semantics
* 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 17, 2019
Paper/Extended abstract submission: June 24, 2019
Notification: July 24, 2018
Camera-ready (for electronic pre-proceedings): August 7, 2019
Symposium: October 8-10, 2019


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


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 

[Hol-info] Second Dali Workshop: Second Call for Papers

[nevrenato]

Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt

Second Call for Papers

Porto, 9 October, 2019
(part of the 3rd World Congress on Formal Methods 2019)


OVERVIEW

Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's as a suitable logic to reason about, and
verify, classic imperative programs. Since then, the original
intuitions grew to an entire family of logics, which became
increasingly popular for assertional reasoning about a wide range of
computational systems. Simultaneously, their object (i.e. the very
notion of a program) evolved in unexpected ways. This lead to dynamic
logics tailored to specific programming paradigms and extended to new
computing domains, including probabilistic, continuous and quantum
computation. Both its theoretical relevance and practical potential
make dynamic logic a topic of interest in a number of scientific
venues, from wide-scope software engineering conferences to modal
logic specific events. However, no specific event is exclusively
dedicated to it. This workshop aims at filling fill such a gap,
joining an heterogeneous community of colleagues, from Academia to
Industry, from Mathematics to Computer Science.


Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692


TOPICS

Submissions are invited on the general field of dynamic logic, its
variants and applications, including, but not restricted to

 Dynamic logic, foundations and applications
 Logics with regular modalities
 Modal/temporal/epistemic logics
 Kleene and action algebras and their variants
 Quantum dynamic logic
 Coalgebraic modal/dynamic logics
 Graded and fuzzy dynamic logics
 Dynamic logics for cyber-physical systems
 Dynamic epistemic logic
 Complexity and decidability of variants of dynamic logics
  and temporal logics
 Model checking, model generation and theorem proving for
  dynamic logics

SUBMISSION AND PUBLICATION

Original papers (unpublished and not submitted for publication
elsewhere), up to 15 pages in LNCS style. As in the previous edition,
post-proceedings will be published by Springer in a Lecture Notes of
Computer Science volume. We will also have a special issue with
extended, revised contributions in the Journal of Logic and Algebraic
Methods in Programming, Elsevier.

Submit via the EasyChair link 
https://easychair.org/conferences/?conf=dali2019


INVITED SPEAKER

Dexter Kozen, Cornell University


IMPORTANT DATES

Paper Submission: June 14, 2019
Notification: July 19, 2019
Camera Ready: September 2, 2019
Workshop: October 9, 2019


PROGRAMME COMMITTEE

Guillaume Aucher (IRISA, FR)
Carlos Areces (U Cordoba, AR)
Alexandru Baltag, (UvA, NL) - PC co-chair
Luis S. Barbosa, (U Minho, PT) - PC co-chair
Mario Benevides (UFRJ, BR)
Johan van Benthem (U Stanford, USA)
Patrick Blackburn, (U Roskilde, DK)
Thomas Bolander (DTU, Denmark)
Zoe Christoff (U Bayreuth, Germany)
Fredrik Dahlqvist (UCL, UK)
Hans van Ditmarsch (LORIA, Nancy, FR)
Nina Gierasimczuk (DTU, Denmark)
Valentin Goranko (U Stockholm, SE)
Davide Grossi (U Groningen, NL)
Reiner Hahle (TU Darmstadt, DE)
Rolf Hennicker (LMU, Munchen, DE)
Andreas Herzig (U Toulouse, FR)
Dexter Kozen (Cornell, USA)
Clemens Kupke (U Strathclyde, UK)
Alexandre Madeira (U Aveiro, PT)
Manuel A. Martins (U Aveiro, PT)
Paulo Mateus (IST, PT)
Stefan Mitsch (CMU, USA)
Renato Neves (U Minho, PT)
Valeria de Paiva (Nuance Comms, USA)
Aybuke Ozgun (ILLC, NL)
Fernando Velazquez-Quesada (ILLC, NL)
Olivier Roy (U Bayreuth, DE)
Lutz Schroeder (FAU, Erlangen-Nurenberg, DE)
Alexandra Silva (UCL, UK)
Sonja Smets (UvA, NL)
Rui Soares Barbosa (U Oxford, UK)
Tinko Tinchev (Sofia U, BG)
Renata Wassermann (USP, BR)




___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track

[Fioretto, Ferdinando]

Apologies for cross-posting - Please forward to anybody who might be interested

The 35th International Conference on Logic Programming (ICLP 2019)
Research Challenges in Logic Programming Track

September 20–25, 2019
Las Cruces, New Mexico (USA)
https://www.cs.nmsu.edu/ALP/iclp2019/
-

Objectives

Are you a researcher in logic programming working on a problem that appears to 
be particularly challenging? Perhaps you feel a little stuck? Or, are you 
facing a problem that needs some LP technology you are not familiar with? Would 
you like to open a discussion for collaboration? The goal of the Research 
Challenges Track is to help researchers overcome their challenges by providing 
a venue to invite input from the broader community. Contributors to this less 
formal track will be given an opportunity to exchange ideas with other 
researchers who may have come up against, or are currently working on, similar 
problems. We hope the track will foster discussion and possibly even new 
collaborations.


Expected contributions

The Research Challenges Track at ICLP 2019  invites submissions describing LP 
research challenges in a wide range of areas, including but not limited to:

  *   Industry-level application of logic programming
  *   applications of logic programming to other sciences and AI 
(bioinformatics, natural language processing, digital forensics, etc.)
  *   logic programming and big data
  *   machine learning and logic programming
  *   logic programming and other computational paradigms
  *   theoretical foundations of logic programming


Evaluation and Feedback

In this track, the selection process will be less formal. While authors will 
receive some feedback, the review process will not be typical. We do not expect 
contributions only from seasoned researchers. Ph.D. students and junior 
researchers are more than welcome to contribute. Also, contributors outside the 
LP community will be given special attention. Any contribution that clearly 
describes a research problem relevant to logic programming will be evaluated 
positively. The chance to interact with other researchers during the conference 
will provide additional feedback and hopefully lead to a longer-term 
discussion/collaboration.


Important Dates (Tentative)


  *   Abstract registration and paper submission: July 15, 2019
  *   Notification: July 31, 2019
  *   Camera-ready copy: September 1, 2017
  *   Conference: September 20-25, 2019


Submission Details

All submissions must be written in English. Submissions should be no more than 
4 pages in OASIcs format, including references, and should describe a research 
problem or challenge. Accepted papers will be presented during the conference. 
Authors of accepted papers are expected to register to ICLP and present their 
work.


Any additional questions can be directed towards the Research Challenges Track 
Chairs:

Alessandro Dal Palu', Universita' di Parma
alessandro.dalp...@unipr.it

Amelia Harrison, Google
amelia.j.harri...@gmail.com

Joohyung Lee, Arizona State University
joo...@asu.edu
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

[Fioretto, Ferdinando]

Apologies for cross-posting

ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

The program committee of the 35th International Conference on Logic Programming 
(ICLP) invites submissions of published journal papers and papers presented at 
related conferences for the Sister Conferences and Journal Presentation Track.
The track is designed to provide a forum to discuss important results related 
to logic programming that appeared since 2017 in selective journals or were 
presented recently at related conferences but, but that have not been 
previously presented at ICLP.
The goal of this track is twofold:

  *   To provide authors an opportunity to present at the conference important 
results published in journals that might otherwise not be submitted to the 
conference due to their length and complexity. Papers that differ from 
traditional ICLP format and topics are welcome.
  *   To broaden the program with lines of work at the intersection between 
logic programming and related fields such as for example constraint 
programming, operations research, control, knowledge representation and 
reasoning, machine learning, multi-agent systems, robotics, computer games, and 
cognitive science. Papers that use logic programming in some innovative way are 
welcome.

Paper Presentation
All accepted submissions will be presented orally during the conference - at 
least one author is expected to register to ICLP 2019 and to present the paper 
in person. Complete citations and URLs of the original papers (if available 
from the publisher) will be published on the ICLP 2019 web site as a permanent 
reference. A 2-page extended abstract summarizing the line of research leading 
to the presented results can optionally be submitted for presentation in the 
technical communications of ICLP.

Submission Requirements
Submissions must meet the following criteria:

  *   Candidate papers must be published in a journal such as (but not limited 
to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of 
related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, 
ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA.
  *   Candidate papers must have appeared since 2017.
  *   Papers that are in press may be submitted as long as the final 
camera-ready version is available.
  *   Extensions of papers that have been previously presented at ICLP are not 
eligible for this track.

Submission Process
All submissions will be done via EasyChair ( 
https://easychair.org/conferences/?conf=iclp2019).  

Please select the "New submission"  and then the track "Sister Conferences and 
Journal Presentation"
-
The submission will be in the following format:

  *   Title of the original journal paper (to be published on the Web);
  *   Complete reference of the original paper (to be published on the Web);
  *   URL where the paper can be downloaded from the publisher (if available) 
(to be published on the Web);
  *   An accompanying letter containing an explanation of why this paper is 
interesting to the logic programming community (in PDF);
  *   A copy of the paper with its final camera-ready contents (in PDF).
  *   A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: 
only if the authors wish to publish such an extended abstract in the technical 
communications of ICLP).

Submissions will go through a selection process. Selection criteria include 
significance of the results and relevance to the logic programming community.

Important Dates

  *   Submission deadline: June 27th, 2019
  *   Notification of acceptance: July 15, 2019
  *   Conference: September 20-25, 2019

Journal Presentation Track Chairs

  *   Bart Bogaerts, Vrije Universiteit Brussel, 
bart.bogae...@vub.be
  *   Giovambattista Ianni, University of Calabria, 
ia...@unical.it
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info