29th international Workshop on Concurrency, Specification and Programming (CS&P'21)

Berlin, Germany, 27. - 28. September 2021


Program


Monday, Sept. 27
      09:45-10:00    Holger Schlingloff and Thomas Vogel. Welcome and introduction
      10:00-11:00    Alexander Knapp. Specifying Event/Data-based Systems (Invited talk)
      11:00-11:30    Roman Milewski, Simon Heiden and Lars Grunske. Evaluating fault localization techniques with bug signatures and joined predicates
      11:30-12:00    Robin Gröpler, Viju Sudhi, Emilio José Calleja García and Andre Bergmann. NLP-based Requirements Formalization for Automatic Test Case Generation
          Lunch
      13:00-13:30    Ludwik Czaja. Cause-Effect Structures Behaving like Reaction Systems
      13:30-14:00    Irina Virbitskaite and Elena Bozhenkova. On Semantics for Testing in Time Petri Nets
          Coffee
      14:30-15:00    Roman Redziejowski. Left recursion by recursive ascent
      15:00-15:30    Damas Gruska and Carmen Ruiz. Process Opacity and Insertion Functions
      15:30-16:00    Aliyu Tanko Ali and Damas Gruska. Attack Trees with Time Constraints
          Coffee
      16:30-17:00    Volha Taliaronak, Heinrich Mellmann and Verena V. Hafner. Simulation of Interactions between Beehives
      17:00-17:30    Eugen Puzynin, Heinrich Mellmann and Verena Hafner. A Novel Mobile App for the Next Generation of Beekeepers
      17:30-18:00    Soma Dutta and Andrzej Skowron. Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example
      Dinner

Tuesday, Sept 28
      09:00-10:00    Hung Son Nguyen. Effcient Machine Learning Methods over Pairwise Space (Invited talk)
          Coffee
      10:30-11:00    Eyad Kannout and Hung Son Nguyen. Improving Recommendation Systems Using Association Rules
      11:00-11:30    Grzegorz Slowinski. Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance
      11:30-12:00    Mohammad Azad, Igor Chikalov, Shahid Hussain and Mikhail Moshkov. Sorting by Decision Trees with Hypotheses
      12:00-12:30    Pawel Gburzynski, Agnieszka Boruta and Ewa Kuznicka. On reliable wireless streaming of real-time sensor data
          Lunch
      13:30-14:00    Lukasz Skowronek, Pawel Gora, Marcin Mozejko and Arkadiusz Klemenko. Graph-based sparse neural networks for traffic signal optimization
      14:00-14:30    Roman Nestoruk and Grzegorz Slowinski. Prediction of football games results
      14:30-15:00    Grzegorz Slowinski. Dry Beans Classification Using Machine Learning
          Coffee