[Hol-info] WiL 2019: Women in Logic Workshop Final Call for Papers-Extended Deadline

[Amy Felty]

  Final Call for Talks and Papers
   WiL 2019: 3rd Women in Logic Workshop
 Vancouver, Canada
   23 June 2019
https://sites.google.com/site/womeninlogic2019/home


** New dates including extended submission deadline: 21 April 2019

Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in
Computer Science (LICS), 24-27 June 2019 (https://lics.siglog.org/lics19/).

We are holding the third Women in Logic Workshop (WiL 2019) as a LICS
associated workshop on 23 June 2019. The workshop follows the pattern
of meetings such as Women in Machine Learning (WiML,
wimlworkshop.org/) or Women in Engineering (WIE,
www.ieee-ras.org/membership/women-in-engineering) that have been
taking place for quite a few years.

Women are chronically underrepresented in the LiCS community. The
workshop will provide an opportunity for women in the field to
increase awareness of one another and one another’s work, to combat
the feeling of isolation. It will also provide an environment where
women can present to an audience comprising mostly women, replicating
the experience that most men have at most LiCS meetings, and lowering
the stress of the occasion; we hope that this will be particularly
attractive to early-career women.

Previous versions of Women in Logic (Reykjavik, Iceland 2017 and
Oxford, UK 2018) were very successful in showcasing women's work and
as catalysts for recognition of the need for change in the
community. Our extended program committee tries to cover most areas of
Logic in Computer Science.  These include but are not limited to the
usual Logic in Computer Science (LICS) topics. These are: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
games and logic, higher-order logic, lambda and combinatory calculi,
linear logic, logic in artificial intelligence, logic programming,
logical aspects of bioinformatics, logical aspects of computational
complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language
semantics, proof theory, real-time systems, reasoning about security
and privacy, rewriting, type systems and type theory, and
verification.

INVITED SPEAKERS
* Anne Condon (University of British Columbia, Canada)
* Zena Ariola (University of Oregon, USA)
  
IMPORTANT DATES
Paper submission deadline:  21 April 2019
Author notification:  7 May 2019
Contribution for Informal Proceedings:  23 May 2019

SUBMISSIONS
Contributions should be written in English and can be submitted in the
form of full papers (with a maximum of 10 pages), short papers (with a
maximum of 5 pages), or talk abstracts (1 page).

Formatting instructions: Papers and abstracts should be
prepared using the Easychair style
(https://easychair.org/publications/for_authors).

The submission should be in the form of a PDF file uploaded to the WiL
2019 Easychair page (https://easychair.org/conferences/?conf=wil2019)
before the submission deadline of 21 April 2019, anywhere on Earth.

PROCEEDINGS
We plan to publish an informal post conference volume at ENTCS or
other equally visible outlet.

ORGANIZING AND PROGRAM COMMITTEE
Since our workshop is especially keen on making sure that women get to
know the work of other women, we have a large program committee.
* Sandra Alves (Universidade do Porto, Portugal)
* Agata Ciabattoni (TU-Wien, Austria)
* Amy Felty (Co-Chair, University of Ottawa, Canada)
* Maribel Fernandez (King's College London, UK)
* Sara Kalvala (University of Warwick, UK)
* Delia Kesner (Université Paris Diderot, France)
* Ursula Martin (University of Oxford, UK)
* Valeria de Paiva (Co-Chair, Nuance, USA)
* Catuscia Palamidessi (École Polytechnique, France)
* Brigitte Pientka (Co-Chair, McGill University, Canada)
* Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil)
* Giselle Reis (Carnegie Mellon University, Qatar)
* Simona Ronchi Della Rocca (Università degli Studi di Torino, Italy)
* Alexandra Silva (University College London, UK)
* Perdita Stevens (University of Edinburgh, UK)
* Valeria Vignudelli (Ecole Normale Supérieure de Lyon, France)


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

[Hol-info] ASPOCP 2019 - call for papers (deadline extended)

[Jorge Fandino]

[Apologies for multiple postings]

Deadline extended. New dates:

IMPORTANT DATES
Abstract submission deadline:April 10, 2019 (extended)
Paper submission deadline:   April 15, 2019 (extended)
Notification: May 5, 2019 
(extended)
Camera-ready articles due:May 19, 2019 (extended)
Workshop: June 3 or 4, 2019

=== 
  CALL FOR 
PAPERS  
   ASPOCP 
2019   
12th Workshop on Answer Set Programming and Other Computing 
Paradigms   
  
https://sites.google.com/site/aspocp2019 
  June 3 or 4, 2019 (LPNMR 
Workshop)
 

Affiliated with 15th International Conference on Logic Programming and 
Nonmonotonic Reasoning,
 Saint Joseph’s University, 
Philadelphia, PA (USA)
  June 
4-7, 2019

=== 

AIMS AND SCOPE  

 Since its introduction in the late 1980s, Answer Set Programming (ASP) has 
been widely applied to 
 various knowledge-intensive tasks and combinatorial search problems. ASP was 
found to be
 closely related to SAT, which led to a new method of computing answer sets 
using SAT solvers and
 techniques adapted from SAT. This has been a much studied relationship, and is 
currently extended
 towards satisfiability modulo theories (SMT). The relationship of ASP to other 
computing paradigms,
 such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint 
Logic Programming
 (CLP), first-order logic (FOL), and FO(ID) is also the subject of active 
research. Consequently, new
 methods of computing answer sets are being developed based on relationships to 
these formalisms.

 Furthermore, the practical applications of ASP also foster work on 
multi-paradigm problem-solving, 
 and in particular language and solver integration. The most prominent examples 
in this area
 currently are the integration of ASP with description logics (in the realm of 
the Semantic Web) and
 constraint satisfaction (which recently led to the Constraint Answer Set 
Programming (CASP)
 research direction).

 A large body of general results regarding ASP is available and several 
efficient ASP solvers have
 been implemented. However, there are still significant challenges in applying 
ASP to real life
 applications, and more interest in relating ASP to other computing paradigms 
is emerging. This 
 workshop will provide opportunities for researchers to identify these 
challenges and to exchange
 ideas for overcoming them.   

TOPICS  
 Topics of interests include (but are not limited to):  
 - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). 
 - ASP and constraint programming.  
 - ASP and other logic programming paradigms, e.g., FO(ID). 
 - ASP and other nonmonotonic languages, e.g., action languages.
 - ASP and external means of computation.   
 - ASP and probabilistic reasoning. 
 - ASP and knowledge compilation.   
 - ASP and machine learning.
 - New methods of computing answer sets using algorithms or systems of  
   other paradigms. 
 - Language extensions to ASP.  
 - ASP and multi-agent systems. 
 - ASP and multi-context systems.   

[Hol-info] ICLP 2019 - Call For Workshop Proposals

[Fioretto, Ferdinando]

[apologies for cross-posting]

   *** CALL FOR WORKSHOP PROPOSALS ***

  ICLP 2019

 35th International Conference on Logic Programming

   September 21 - September 25, 2019
  Las Cruces, New Mexico, USA

 https://www.cs.nmsu.edu/ALP/iclp2019/

ICLP 2019, the 35th International Conference on Logic Programming,
will be held in Las Cruces, New Mexico, USA, from September 21 to
September 25, 2019.

The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide
and interested audience.

Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2019 can cover any areas related to logic programming (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.

The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.

Workshop Proposal:
==
Those interested in organizing a workshop at ICLP 2019 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:

 * The title of the workshop.
 * A brief technical description of the topics covered by the workshop.
 * A discussion of the timeliness and relevance of the workshop.
 * A list of some related workshops held in the last years.
 * The estimated length of the workshop and an estimate of the number
   of expected attendees.
 * The names, affiliation and contact details (email, web page,
   phone) of the workshop organizers together with a designated
   contact person.
 * Previous experience of the workshop organizers in
   workshop/conference organization.

Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by April 15, 2019.

Reviewing Process:
==
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 30, 2019.

The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible
proceedings for the workshops.

Workshop Organizers' Tasks:
===

 * Producing a "Call for Papers" for the workshop and posting it
   on the Internet and other means. A web page URL should be provided
   by May 31, 2019, and will be published on the ICLP 2019 home page.
 * Providing a brief description of the workshop for the conference
   program.
 * Reviewing/accepting submitted papers.
 * Scheduling workshop activities in collaboration with the local
   organizers and the Workshop Chair.
 * Providing a workshop program in a format specified by the
   conference organizers for posting by August 31, 2019.
 * Coordinating the preparation of the workshop proceedings according
   to the specifications provided by the Workshop Chair.

Location:
=
Workshops will be collocated with ICLP 2019, in Las Cruces, New Mexico,
USA. See the ICLP 2019 web site (https://www.cs.nmsu.edu/ALP/iclp2019/)
for location details.

Important Dates:

April 15, 2019: Proposal submission deadline
April 30, 2019: Notification
May 31, 2019: Deadline for receipt of CfP and workshop web page URL
August 31, 2019: Deadline for workshop program
TBA: ICLP workshops

Submissions:

Please submit your workshop proposals by email to the Workshop Chair.

Workshop Chair:
===
Martin Gebsermartin.geb...@aau.at



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

[Hol-info] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP

[geoff]

[My apologies if you receive this in duplicate]

Call for Papers, PxTP 2019

The Sixth International Workshop on
 Proof eXchange for Theorem Proving (PxTP)

   http://pxtp.gforge.inria.fr/2019/

   25-26 August 2019, Natal, Brazil

   associated with the CADE-27 conference


## Background

  The PxTP workshop brings together researchers working on various aspects of
  communication, integration, and cooperation between reasoning systems and
  formalisms.

  The progress in computer-aided reasoning, both automatic and interactive,
  during the past decades, has made it possible to build deduction tools that
  are increasingly more applicable to a wider range of problems and are able to
  tackle larger problems progressively faster. In recent years, cooperation of
  such tools in larger verification environments has demonstrated the potential
  to reduce the amount of manual intervention.  Examples include the
  Sledgehammer tool providing an interface between Isabelle and (untrusted)
  automated provers, and collaboration of the HOL Light and Isabelle systems in
  the formal proof of the Kepler conjecture.

  Cooperation between reasoning systems relies on availability of theoretical
  formalisms and practical tools for exchanging problems, proofs, and
  models. The PxTP workshop strives to encourage such cooperation by inviting
  contributions on suitable integration, translation, and communication methods,
  standards, protocols, and programming interfaces. The workshop welcomes
  developers of automated and interactive theorem proving tools, developers of
  combined systems, developers and users of translation tools and interfaces,
  and producers of standards and protocols.  We are interested both in success
  stories and descriptions of current bottlenecks and proposals for improvement.

## Topics

  Topics of interest for this workshop include all aspects of cooperation
  between reasoning tools, whether automatic or interactive. More specifically,
  some suggested topics are:

  * applications that integrate reasoning tools (ideally with certification of
the result);
  * interoperability of reasoning systems;
  * translations between logics, proof systems, models;
  * distribution of proof obligations among heterogeneous reasoning tools;
  * algorithms and tools for checking and importing (replaying, reconstructing)
proofs;
  * proposed formats for expressing problems and solutions for different classes
of logic solvers (SAT, SMT, QBF, first-order logic, higher-order logic,
typed logic, rewriting, etc.);
  * meta-languages, logical frameworks, communication methods, standards,
protocols, and APIs related to problems, proofs, and models;
  * comparison, refactoring, transformation, migration, compression and
optimization of proofs;
  * data structures and algorithms for improved proof production in
solvers (e.g., efficient proof representations);
  * (universal) libraries, corpora and benchmarks of proofs and theories;
  * alignment of diverse logics, concepts and theories across systems and
libraries;
  * engineering aspects of proofs
(e.g., granularity, flexiformality, persistence over time);
  * proof certificates;
  * proof checking;
  * mining of (mathematical) information from proofs
(e.g., quantifier instantiations, unsat cores, interpolants, ...);
  * reverse engineering and understanding of formal proofs;
  * universality of proofs
(i.e. interoperability of proofs between different proof calculi);
  * origins and kinds of proofs
(e.g., (in)formal, automatically generated, interactive, ...)
  * Hilbert's 24th Problem (i.e. what makes a proof better than another?);
  * social aspects (e.g., community-wide initiatives related to proofs,
cooperation between communities, the future of (formal) proofs);
  * applications relying on importing proofs from automatic theorem provers,
such as certified static analysis, proof-carrying code, or certified
compilation;
  * application-oriented proof theory;
  * practical experiences, case studies, feasibility studies.

## Submissions

  Researchers interested in participating are invited to submit either an
  extended abstract (up to 8 pages) or a regular paper (up to 15 pages).
  Submissions will be refereed by the program committee, which will select a
  balanced program of high-quality contributions. Short submissions that could
  stimulate fruitful discussion at the workshop are particularly welcome. We
  expect that one author of every accepted paper will present their work at the
  workshop.

  Submitted papers should describe previously unpublished work, and must
  be prepared using the LaTeX EPTCS class (http://style.eptcs.org/).
  Papers will be submitted via EasyChair, at the PxTP'2019 workshop page
  (https://easychair.org/conferences/?conf=pxtp2019).
  Accepted regular papers will appear in an EPTCS volume.

## Important Dates

  * Abstract submission: 

[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/overview.cgi?a=20693669). 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

[Hol-info] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

[Luca Pulina]

[apologies for any cross-posting]


Call for Papers
AIIA19 - The 18th International Conference of the Italian Association 
for Artificial Intelligence

UNICAL, Rende (CS), 19-22 November 2019


-
Topics of Interest
-

The conference covers broadly the many aspects of theoretical and 
applied Artificial Intelligence. A series of workshops dedicated to 
specific topics enhances the program. AIIA 2019 welcomes submissions 
covering all areas of AI, including (but not limited to) machine 
learning, search, planning, knowledge representation, reasoning, 
constraint satisfaction, natural language processing, robotics and 
perception, and multiagent systems. We encourage all types of 
high-quality contributions including theoretical, engineering and 
applied papers. We also encourage contributions on AI techniques in the 
context of novel application domains, such as security, sustainability, 
health care, transportation, and commerce.


Besides regular original papers, in this edition we also welcome 
discussion papers containing descriptions of results recently published 
or accepted for the presentation in international conferences. 
Discussion papers are expected to be more broadly accessible than 
regular papers, they are an opportunity for the authors to present their 
recent results to the AI community, and a valuable addition for the 
attendees of AIIA 2019.


At least one author of each accepted paper is required to register and 
attend the conference to present the work.


-
Proceedings of Regular Papers
-

The regular papers will be included in the proceedings of the 
conference, and will be published by Springer Verlag in the Lecture 
Notes in Artificial Intelligence series. Authors of selected regular 
papers accepted to the main track will be invited to submit an extended 
version for publication on "Intelligenza Artificiale", the International 
Journal of the Italian Association for Artificial Intelligence, edited 
by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation 
Index" and Scopus by Elsevier.


-
Proceedings of Discussion Papers
-

The discussion papers will not be included in the LNCS proceedings of 
the conference, and will be made available through the conference 
WEB-Site and possibly published on CEUR WS Proceedings upon request.



-
Best Papers
-

The Program Committee will select the Best Student Paper Award and the 
Best Paper Award from the accepted regular papers. In order to be 
eligible for the Best Student Paper award, at least one author must be a 
student.


-
Submission Instructions
-

The submitted papers should be written in English and formatted 
according to the Springer LNCS style.


Regular papers must be original papers which are not being submitted 
simultaneously for publication elsewhere. These papers should not exceed 
12 pages plus bibliography.


The discussion papers report results already published or accepted for 
the publication in international conferences, and should not exceed 8 
pages plus bibliography.


Paper submission is electronic via easychair at the address: 
https://easychair.org/conferences/?conf=aiia2019



-
Important Dates
-

Abstract submission by 28 May 2019
Paper submission by 4 June 2019
Notification to authors by 23 July 2019
Camera-ready copies due by 3 September 2019

-
Conference Web Site
-

For the most up to date information, please visit: 
https://aiia2019.mat.unical.it


-
Organizing Committee
-

Conference Chair:
Nicola Leone (UNICAL, Italy)

Program Chairs:
Mario Alviano (UNICAL, Italy)
Gianluigi Greco (UNICAL, Italy)
Francesco Scarcello (UNICAL, Italy)

Organization Chairs:
Francesco Ricca 

[Hol-info] [1st Call for Papers] ASYDE 2019 @ SEFM 2019

[alexander . perucci]

[Apologies for multiple postings]

--  First Call for Papers --

ASYDE 2019: 1st International Workshop on on Automated and verifiable Software 
sYstem DEvelopment, co-located with the 17th International Conference on 
Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 
16, 2019

During the last three decades, automation in software development has gone 
mainstream. Software development teams strive to automate as much of the 
software development activities as possible. Automation helps, in fact, to 
reduce development time and cost, as well as to concentrate knowledge by 
bringing quality into every step of the development process. Realizing 
high-quality software systems requires producing software that is efficient, 
errorfree, cost-effective, and that satisfies customer requirements. Thus, one 
of the most crucial factors impacting software quality concerns not only the 
automation of the development process but also the ability to verify the 
outcomes of each process activity and the goodness of the resulting software 
product as well.

ASYDE 2019 provides a forum for researchers and practitioners to propose and 
discuss on automated software development methods and techniques, compositional 
verification theories, integration architectures, flexible and dynamic 
composition, and automated planning mechanisms. ASYDE 2019 welcomes research 
papers, (industrial) experience papers and case-studies, tool demonstrations 
and visionary papers; nevertheless, papers describing novel research 
contributions and innovative applications are of particular interest. Details 
on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/

== IMPORTANT DATES ==

Abstract submission: June 3rd, 2019
Paper submission: June 10th, 2019
Notification: July 15th, 2019
Camera ready: July 22nd, 2019

== TOPICS OF INTEREST (although not limited to) ==

- Specification, architecture, and design of software and verification models
- Formal methods for automated software development
- Model-driven software development
- Correct-by-construction software development
- Automated synthesis of software integration code
- Automated software development and integration
- Automated and verifiable software development
- Automated planning methods
- Non-functional properties of software
- Software quality assurance for automated software development
- Compositional theories for software development and its (dynamic) verification
- Dynamic verification and testing
- Service-oriented and Component-based software development
- Machine learning techniques

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: 
https://sefm2019.inria.fr/cfp/
The submission Web page for ASYDE 2019 is 
https://easychair.org/conferences/?conf=asyde2019
Each submitted paper will undergo a process of formal peer review by at least 3 
PC members. Contributions can be:

- Regular papers (from 10 to 15 pages): In this category fall those 
contributions that propose novel research contributions, address challenging 
problems with innovative ideas, or offer practical contributions (e.g., 
industrial experiences and case-studies) in the application of FM and SE 
approaches for automated and verifiable software development. Regular papers 
must clearly describe the situation or problem tackled, the relevant state of 
the art, the proposed position or solution, and the potential benefits of the 
contribution. Authors of papers reporting industrial experiences are encouraged 
to make their experimental results available for use by reviewers.

- Short papers (from 6 to 8 pages): This category includes tool demonstrations, 
position papers, and visionary papers. Authors of tool demonstration papers 
should make their tool available for use by reviewers

== WORKSHOP CHAIRS ==

- Farhad Arbab, CWI, The Netherlands farhad.ar...@cwi.nl
- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it
- Federico Ciccozzi, Malardalen University, Sweden federico.cicco...@mdh.se
- Pascal Poizat, Sorbonne Université, France pascal.poi...@lip6.fr
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== PROGRAM COMMITTEE ==

[to be announced]

== WEB CHAIR ==

- Amleto Di Salle, University of L'Aquila, Italy

== PUBLICITY CHAIR ==

- Alexander Perucci, University of L'Aquila, Italy


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

[Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2019)

[Alexander Romanovsky]

International conference on reliability, safety and security of railway systems:
modelling, analysis, verification and certification - RSSRail 2019
June 4-6, 2019, Lille, France
https://conferences.ncl.ac.uk/rssrail2019/
Call for Participation

We would like to invite you to participate in the RSSRail 2019 conference aiming
to bring together researchers and engineers interested in building critical 
railway
applications and systems. This will be a working conference in which research
challenges and progress will be discussed and evaluated by both researchers and
engineers, focusing on their potential to be deployed in industrial settings.

Conference Chairs:
Simon Collart-Dutilleul, IFSTTAR, France
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK

The conference programme includes three invited talks, eighteen technical papers
and four mini-tutorials.

These are the invited talks:
-Airy Magnien (UIC, France) RailTopoModel - a cornerstone to foster the 
federation of railway digital models
-Alessandro Fantechi (University of Florence, Italy). Connected or autonomous 
trains?
-Cedric Blin (Ansaldo STS, France). Scientific and technological obstacles to 
achieve the autonomy

The tutorials will be delivered by RATP, SYSTRA/Newcastle U., Altran and 
AdaCore.

The conference proceedings are published by Springer in the LNCS series  
(LNCS-11495).

The conference programme -  https://conferences.ncl.ac.uk/rssrail2019/programme/
The registration site -  https://conferences.ncl.ac.uk/rssrail2019/registration/
Earlier registration - by April 18, 2019

In the afternoon of June 6, the conference will be followed by the workshop:
++
Railway Applications – Cybersecurity:  CENELEC TS 50701
CyberSecurity is a relatively new topic which has become very important, not 
only
for railways, but for all Critical Infrastructures. CENELEC has therefore 
decided
to work on a railway specific adaptation and interpretation of the emerging IACS
CyberSecurity Standard IEC 62443. The upcoming prTS 50701 will be released as
a draft in mid 2019, which will make available a CyberSecurity standard that 
covers
not just Signalling, Rolling Stock, or Fixed Installations, but the whole 
Railway System.
After release of the TS, a good tool for fulfilling the NIS directive, as well 
as the national
transpositions will be made available, due to the participation of ERA and 
ENISA in
the working group.
In the workshop, experts from the working group responsible for TS 50701 will 
present
and discuss various key aspects such as: life cycle, system definition, risk 
analysis and
security, operation and maintenance requirements.
++


We are looking forward to welcoming you and your colleagues in Lille,
The PC chairs


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