CS&P 2019
Concurrency, Specification and Programming

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