Konferencje

    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)

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy


    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)

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy

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

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy



    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)

      pokaż slajdy

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

      pokaż slajdy

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

      pokaż slajdy

    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)

      pokaż slajdy

    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)

      pokaż slajdy