Wednesday, April 10, 2019

[DMANET] FoMLAS 2019: Call for Papers

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

The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems

New York City, USA, 14th July 2019

https://fomlas2019.wixsite.com/fomlas2019

Abstracts deadline: April 22, 2019

Full papers deadline: April 27, 2019


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

The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems
will be co-located with CAV this year (July 14, New York City).

Some topics of interest:

* Formal specifications for systems with ML components
* SAT-based and SMT-based methods for analyzing systems with ML components
* Mixed-integer Linear Programming and optimization-based methods for
the verification of systems with ML components
* Testing approaches to ML components
* Statistical approaches to the verification of systems with ML components
* Approaches for enhancing the explainability of ML-based systems
* Techniques for analyzing hybrid systems with ML components

For additional details, visit the website below

https://fomlas2019.wixsite.com/fomlas2019
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************