The BOOM! workshop solicits presentations of ongoing or previously published
work to enable discussions on a broad range of topics, without formal
proceedings.
Selected abstracts will be invited for full submission as part of a special
issue of the Journal on Reliable Intelligent Environments.
====================================================================
Call for presentations (abstracts)
BOOM! 2018
Workshop on Big Data meets Formal Methods
September 08, 2018, Beijing, China.
Co-Located with CONFESTA 2018
http://wwwhome.ewi.utwente.nl/~marielle/boom.html
<http://wwwhome.ewi.utwente.nl/~marielle/boom.html>
====================================================================
Big data is booming. Advanced data analytic techniques, like deep learning,
predict the weather, buy and sell stocks, beat the humans in chess playing,
diagnose diseases from CT scans, and recommend us which books to buy.
Big data is gaining more and more importance in the area of formal methods:
quantitative analysis techniques largely depend on the values of the input
parameters, which could be learned from historic data.
Moreover, automatic learning formal models themselves, or model skeletons as
well as solutions have gained a lot of momentum with techniques like model
mining, and reinforcement learning.
In the other direction, formal methods have also a lot to offer for the
development of big data analytic techniques, such as the verification of deep
learning algorithms, model-based classification algorithms, methods and models
for data cleaning etc.
As there are no formal proceedings for the workshop, the main focus is on a
broad range of topics that trigger lively discussions.
==================
INVITED SPEAKERS
==================
Alessandro Abate, University of Oxford, United Kingdom
Luca Bortolussi, University of Trieste, Italy
==================
IMPORTANT DATES
==================
Abstract submission: June 10, 2018
Notification: June 30, 2018
Workshop: September 08, 2018
==================
SUBMISSIONS
==================
We encourage all interested authors to submit an abstract of their presentation
through Easychair under the following link:
https://easychair.org/conferences/?conf=boom2018
<https://easychair.org/conferences/?conf=boom2018>
We particularly invite work recently accepted to top conferences and ongoing
work.
The submission should be a pdf of at most two pages in the llncs style.
Accepted presentations will not be subject to proceedings publication, though
there will be invitations for selected abstracts for a special issue of the
Journal on Reliable Intelligent Environments.
==================
PC CHAIRS
==================
* Nils Jansen, Radboud University Nijmegen, The Netherlands
* Marielle Stoelinga, University of Twente, The Netherlands
Nils Jansen
Assistant Professor
Department of Software Science
Radboud University Nijmegen
http://nilsjansen.org
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
