| Vol-2571 urn:nbn:de:0074-2571-7 Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# CS&P 2019
Concurrency, Specification and Programming

### Proceedings of the 28th International Workshop on Concurrency, Specification and Programming

### Olsztyn, Poland, September 24-26th, 2019.

Edited by

### Krzysztof Ropiak
Lech Polkowski
Piotr Artiemjew

University of Warmia and Mazury, Olsztyn, Poland
Faculty of Mathematics and Computer Science, Słoneczna 54, 10-710 Olsztyn, Poland

## Table of Contents

- Preface

### Session 1: Rough Sets I

- On logical and mereological renderings of the Bayes theorem (short paper)
  Lech Polkowski
- Applications of Tolerance Rough Set Model Semantic Text Analysis
  Hung Son Nguyen

### Session 2: Decision representations

- Computing with Natural Numbers in Cause-Effect Structures
  Ludwik Czaja
- Decision Trees for Knowledge Representation (short paper)
  Mohammad Azad, Igor Chikalov, Mikhail Moshkov

### Session 3: Software security

- Observations, Testing and Security
  Damas Gruska, M. Carmen Ruiz
- Attack Protection Tree
  Aliyu Tanko Ali, Damas Gruska

### Invited talk

- Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper)
  Soma Dutta, Andrzej Jankowski, Andrzej Skowron

### Session 4: Theory of automata

- Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)
  Agnieszka M. Zbrzezny, Andrzej Zbrzezny
- A New Definition of Composition of LTIHA
  Antonia Reißner, Matthias Werner

### Session 5: Fuzzy logic

- Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem
  Zbigniew Suraj, Oksana Olar, Yurii Bloshko
- A Fuzzy Set Tool in the Classification and Prediction Software System (CLAPSS) (short paper)
  Krzysztof Pancerz, Jaromir Sarzyński

### Session 6: Specification

- Emplobot - Design of the System (short paper)
  Paweł Drozda, Arkadiusz Talun, Leszek Bukowski
- Unsupervised Graphical User Interface Learning (short paper)
  Przemysław Czaus

### Session 7: Inclusion systems, reactive systems

- RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)
  Adam Grabowski
- Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems
  Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi

### Session 8: Rough sets II

- Rules from granules vs. granulated rules (short paper)
  Krzysztof Ropiak
- Rough Mereology based CFill algorithm for robotic path planning (short paper)
  Łukasz Żmudziński

### Session 9: Learning systems

- Application of meta-learning methods in recognition of drums on the basis of short soundsamples (short paper)
  Tomasz Krzywicki
- Building an Ensemble of Naive Bayes Classifiers using committee of bootstraps and monte carlo splits for a various percentage of random objects from training set
  Piotr Artiemjew Paweł Idzikowski

### Additional resources

- Program Committee

2020-01-17: submitted by Krzysztof Ropiak, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-09: published on CEUR-WS.org |valid HTML5|