Conferences

International Conferences

  1. International Workshop on Concurrency, Specification and Programming (CS&P 2014), Chemnitz, Germany, 29 wrzesnia  – 1 października, 2014 (tytuł referatu: XCCS Diagram to CCS Script Conversion Algorithm).
  2. International Conference Specification and Programming CS&P'2008, Gross Vaeter near Berlin, Germany, 29 wrzesnia – 1 października 2008 (referta pt: Formal Definition of XCCS Modelling Language).
  3. International Conference Specification and Programming CS&P'2004, Humboldt-Universitat zu Berlin, Caputh, Germany, 24-26 wrzesnia 2004 (referat pt: The Traffic Lights Control System Modelled with the Use of Coloured Petri Nets with Time).

 

International Conferences in Poland

  1. International Conference Specification and Programming CS&P’2009, Kraków-Przegorzały, Poland, 28-30 September 2009 (referat pt: Tag Abstraction for XCCS Modeling Language).
  2. Trzynasta Międzynarodowa Konferencja matematyczno-informatyczna Chełm-Rzeszów-Lublin, 1-4 lipca 2007 referat  (referat pt: XCCS - graficzne rozszerzenie algebry procesów CCS).

 

Conferences in Poland

  1. Dziesiąta Konferencja Środowiskowa Matematyczno-Informatyczna, Korytnica 2004 (referat pt: Modelowanie systemu sterowania światłami drogowymi za pomocą kolorowanych sieci z czasem).