<!DOCTYPE html>
<!-- CEURVERSION=2019-08-01 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-2571 - Concurrency, Specification and Programming CS&amp;P 2019</title>
</head>
<!--CEURLANG=eng -->
<body>


<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-2571</span> <br>
<span class="CEURURN">urn:nbn:de:0074-2571-7</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2019 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2019</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="http://csp2019.uwm.edu.pl/"><span class="CEURVOLACRONYM">CS&amp;P 2019</span></a><br>
<span class="CEURVOLTITLE">Concurrency, Specification and Programming</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 28th International Workshop on Concurrency, Specification and Programming</span><br>
</h3>
<h3><span class="CEURLOCTIME">Olsztyn, Poland, September 24-26th, 2019</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="http://wmii.uwm.edu.pl/kadra/ropiak-krzysztof"><span class="CEURVOLEDITOR">Krzysztof Ropiak</span></a><br>
   <span class="CEURVOLEDITOR">Lech Polkowski</span><br>
   <span class="CEURVOLEDITOR">Piotr Artiemjew</span><br>

</h3>

<a href="http://www.uwm.edu.pl">University of Warmia and Mazury, Olsztyn, Poland</a><br>
  Faculty of Mathematics and Computer Science, S&lstrok;oneczna 54, 10-710 Olsztyn, Poland<br>
  <br>
<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="xpreface">
<A href="xpreface.pdf">Preface</A><BR><BR>
</li>
</ul>

<h3><span class="CEURSESSION">Session 1: Rough Sets I</span></h3>

<ul>

<li id="CSP2019_paper_10"><a href="CSP2019_paper_10.pdf">
<span class="CEURTITLE">On logical and mereological renderings of the Bayes theorem (short paper)</span></a><br> 
<span class="CEURAUTHOR">Lech Polkowski</span>
</li>

<li id="CSP2019_paper_18"><a href="CSP2019_paper_18.pdf">
<span class="CEURTITLE"> Applications of Tolerance Rough Set Model Semantic Text Analysis</span></a><br> 
<span class="CEURAUTHOR">Hung Son Nguyen</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 2: Decision representations</span></h3>

<ul>

<li id="CSP2019_paper_8"><a href="CSP2019_paper_8.pdf">
<span class="CEURTITLE">Computing with Natural Numbers in Cause-Effect Structures</span></a><br> 
<span class="CEURAUTHOR">Ludwik Czaja</span>
</li>

<li id="CSP2019_paper_1"><a href="CSP2019_paper_1.pdf">
<span class="CEURTITLE">Decision Trees for Knowledge Representation (short paper)</span></a><br> 
<span class="CEURAUTHOR">Mohammad Azad</span>,
<span class="CEURAUTHOR">Igor Chikalov</span>,
<span class="CEURAUTHOR">Mikhail Moshkov</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 3: Software security</span></h3>

<ul>

<li id="CSP2019_paper_6"><a href="CSP2019_paper_6.pdf">
<span class="CEURTITLE">Observations, Testing and Security</span></a><br> 
<span class="CEURAUTHOR">Damas Gruska</span>,
<span class="CEURAUTHOR">M. Carmen Ruiz</span>
</li>

<li id="CSP2019_paper_7"><a href="CSP2019_paper_7.pdf">
<span class="CEURTITLE">Attack Protection Tree</span></a><br> 
<span class="CEURAUTHOR">Aliyu Tanko Ali</span>,
<span class="CEURAUTHOR">Damas Gruska</span>
</li>

</ul>

<h3><span class="CEURSESSION">Invited talk</span></h3>

<ul>

<li id="CSP2019_paper_3"><a href="CSP2019_paper_3.pdf">
<span class="CEURTITLE">Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper)</span></a><br> 
<span class="CEURAUTHOR">Soma Dutta</span>,
<span class="CEURAUTHOR">Andrzej Jankowski</span>,
<span class="CEURAUTHOR">Andrzej Skowron</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 4: Theory of automata</span></h3>

<ul>

<li id="CSP2019_paper_12"><a href="CSP2019_paper_12.pdf">
<span class="CEURTITLE"> Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)</span></a><br> 
<span class="CEURAUTHOR">Agnieszka M. Zbrzezny</span>,
<span class="CEURAUTHOR">Andrzej Zbrzezny</span>
</li>

<li id="CSP2019_paper_4"><a href="CSP2019_paper_4.pdf">
<span class="CEURTITLE">A New Definition of Composition of LTIHA</span></a><br> 
<span class="CEURAUTHOR">Antonia Rei&szlig;ner</span>,
<span class="CEURAUTHOR">Matthias Werner</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 5: Fuzzy logic</span></h3>

<ul>

<li id="CSP2019_paper_5"><a href="CSP2019_paper_5.pdf">
<span class="CEURTITLE">Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem</span></a><br> 
<span class="CEURAUTHOR">Zbigniew Suraj</span>,
<span class="CEURAUTHOR">Oksana Olar</span>,
<span class="CEURAUTHOR">Yurii Bloshko</span>
</li>

<li id="CSP2019_paper_11"><a href="CSP2019_paper_11.pdf">
<span class="CEURTITLE">A Fuzzy Set Tool in the Classification and Prediction Software System (CLAPSS) (short paper)</span></a><br> 
<span class="CEURAUTHOR">Krzysztof Pancerz</span>,
<span class="CEURAUTHOR">Jaromir Sarzy&nacute;ski</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 6: Specification</span></h3>

<ul>

<li id="CSP2019_paper_19"><a href="CSP2019_paper_19.pdf">
<span class="CEURTITLE">Emplobot - Design of the System (short paper)</span></a><br> 
<span class="CEURAUTHOR">Pawe&lstrok; Drozda</span>,
<span class="CEURAUTHOR">Arkadiusz Talun</span>,
<span class="CEURAUTHOR">Leszek Bukowski</span>
</li>

<li id="CSP2019_paper_15"><a href="CSP2019_paper_15.pdf">
<span class="CEURTITLE">Unsupervised Graphical User Interface Learning (short paper)</span></a><br> 
<span class="CEURAUTHOR">Przemys&lstrok;aw Czaus</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 7:  Inclusion systems, reactive systems</span></h3>

<ul>

<li id="CSP2019_paper_14"><a href="CSP2019_paper_14.pdf">
<span class="CEURTITLE">RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)</span></a><br> 
<span class="CEURAUTHOR">Adam Grabowski</span>
</li>

<li id="CSP2019_paper_2"><a href="CSP2019_paper_2.pdf">
<span class="CEURTITLE"> Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems</span></a><br> 
<span class="CEURAUTHOR">Viorel Preoteasa</span>,
<span class="CEURAUTHOR">Timo Latvala</span>,
<span class="CEURAUTHOR">Kimmo Varpaaniemi</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 8: Rough sets II</span></h3>

<ul>

<li id="CSP2019_paper_16"><a href="CSP2019_paper_16.pdf">
<span class="CEURTITLE">Rules from granules vs. granulated rules (short paper)</span></a><br> 
<span class="CEURAUTHOR">Krzysztof Ropiak</span>
</li>

<li id="CSP2019_paper_13"><a href="CSP2019_paper_13.pdf">
<span class="CEURTITLE">Rough Mereology based CFill algorithm for robotic path planning (short paper)</span></a><br> 
<span class="CEURAUTHOR">&Lstrok;ukasz &Zdot;mudzi&nacute;ski</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session 9: Learning systems</span></h3>

<ul>

<li id="CSP2019_paper_20"><a href="CSP2019_paper_20.pdf">
<span class="CEURTITLE"> Application of meta-learning methods in recognition of drums on the basis of short soundsamples (short paper)</span></a><br> 
<span class="CEURAUTHOR">Tomasz Krzywicki</span>
</li>

<li id="CSP2019_paper_17"><a href="CSP2019_paper_17.pdf">
<span class="CEURTITLE">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</span></a><br> 
<span class="CEURAUTHOR">Piotr Artiemjew</span>
<span class="CEURAUTHOR">Pawe&lstrok; Idzikowski</span>
</li>

</ul>

<h3><span class="CEURSESSION">Additional resources</span></h3>

<ul>

<li id="committee"><a href="committee.pdf">
<span class="CEURTITLE">Program Committee</span></a><br>
</li>

</ul>


</div>


<hr>
<span class="unobtrusive">
2020-01-17: submitted by Krzysztof Ropiak, 
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2020-03-09</span>: published on CEUR-WS.org 
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-2571%2F">valid HTML5</A>|
</span>
</body></html>
