Conferences

    1. 4th Central-European Workshop on Services and their Composition, ZEUS 2012;
      23-24.02.2012, Bamberg, Germany
      1. HarmonICS – a Tool for Composing Medical Services (A. Niewiadomski)

      slides

    2. 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012;
      4-8.06.2012, Valencia, Spain
      1. Group synthesis for parametric temporal-epistemic logic (W. Penczek)

      slides

    3. International Workshop on Petri Nets and Software Engineering, PNSE 2012;
      25-26.06.2012, Hamburg, Germany
      1. SMT-based parameter synthesis for L/U automata (W. Penczek)

      slides

    4. The Dagstuhl Seminar 13181 „VaToMAS – Verification and Testing of Multi-Agent Systems”: 28.04-3.05.2013, Dagstuhl, Germany
      1. Bounded model checking for LTLK (W. Penczek)
      2. Automated Abstract Planning using Multisets and Genetic Algorithms (W. Penczek)

      slides


    5. Genetic and Evolutionary Computation Conference, GECCO 2013;
      6-10.07.2013, Amsterdam, The Netherlands
      1. Automated abstract planning with use of genetic algorithms (J. Skaruz)

      slides

    6. Polish Conference on Software Engeneering, KKIO 2013; 18-20.09.2013, Szczecin, Poland
      1. PlanICS 2.0 – a web service composition system (M. Jarocki)

      slides

    7. The 5th International Conference on Knowledge Engineering and Ontology Development, KEOD 2013; 19-22.09.2013, Vilamoura, Portugal
      1. Towards SMT-based Abstract Planning in PlanICS Ontology (A. Niewiadomski)

      slides

    8. The 10thInternational Conference on parallel processing and applied mathematics, PPAM 2013; 08-11.09.2013, Warsaw, Poland
      1. Evolutionary Algorithms for Abstract Planning (J. Skaruz)

      slides

    9. Concurrency, Specification and Programming, CS&P2013; 25-27.09.2013, Warsaw, Poland
      1. SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework (A. Niewiadomski)

      slides

    10. Rostock University, 04.2014
      1. PlanICS Framework (A. Niewiadomski)

      slides

    11. The 6thInternational Conferences on Advanced Service Computing, SERVICE COMPUTATION 2014; 25-29.05.2014, Venice, Italy
      1. Genetic Algorithm to the Power of SMT: a Hybrid Approach to Web Service Composition Problem (A. Niewiadomski)

      slides

    12. International Workshop on Petri Nets and Software Engineering, PNSE 2014; 23-24.06.2014, Tunis, Tunisia
      1. SMT-based Abstract Temporal Planning (W. Penczek)
      2. PlanICS 2.0 – a Tool for Composing Services (A. Niewiadomski)
      3. Generating CA-Plans from Multisets of Services (A. Niewiadomski)

      slides



    13. The 11th International Conference on Mobile Web Information Systems , MobiWIS 2014;
      27-29.08.2014, Barcelona, Spain
      1. A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework (A. Niewiadomski)

      slides

    14. Software Engineering and Formal Methods – SEFM 2014, WS-FMDS; 1-2.09.2014, Grenoble, France
      1. On Generation of Context-Abstract Plans (Ł. Mikulski)

      slides

    15. IFIP WG2.2 Meeting; 15-18.09.2014, Monachium, Germany
      1. Parametric verification of protocols (W. Penczek)

      slides

    16. Eastern Europe-Luxembourg Workshop on Cloud Computing Communications, Security and Services, CLOUDCOMS 2014, 8-10.10.2014, Luxembourg
      1. Parametric verification of protocols (W. Penczek)

      slides

    17. The Seventh International Conferences on Advanced Service Computing, SERVICE COMPUTATION 2015, 22-27.03.2015, Nice, France
      1. Hybrid Approach to Abstract Planning of Web Services (A. Niewiadomski)

      slides