BOOM! 2018: Big Data Meets Formal Methods Beijing, China, September 8, 2018 |
Conference website | http://wwwhome.ewi.utwente.nl/~marielle/boom.html |
Submission link | https://easychair.org/conferences/?conf=boom2018 |
Submission deadline | June 10, 2018 |
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.
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.
Submission Guidelines
We encourage all interested authors to submit an abstract of their presentation through Easychair under the following link:
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.
Program Chairs
- Nils Jansen, Radboud University Nijmegen, The Netherlands
- Marielle Stoelinga, University of Twente, The Netherlands
Invited Speakers
- Alessandro Abate, University of Oxford, United Kingdom
- Luca Bortolussi, University of Trieste, Italy
Contact
For any kind of question please contact Nils Jansen or Marielle Stoelinga.