O mnie

Aktywność Naukowa

Dydaktyka

Dla studentów

Inne

Konferencje

Rok 2018

20-22 Czerwiec, 2018, Toledo, Hiszpania. XV Międzynarodowa Konferencja: Distributed Computing and Artificial Intelligence (DCAI'2018). Referat: Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems.

Rok 2017

25-27 wrzesień 2017, Warszawa, Polska. Międzynarodowe Warsztaty: The 26th International Workshop on Concurrency, Specification and Programming (CS&P'2017). Referat: Real-Time Conditional Commitment Logic over Duration Communication Interpreted Systems.
21-23 czerwiec 2017, Porto, Portuaglia. Międzynarodowa konferencja: the 14th International Conference on Distributed Computing and Artificial Intelligence (DCAI'2017). Referat: Modeling and checking robustness of communicating autonomous vehicles.
6-9 czerwiec 2017, Ružomberok, Słowacja. Międzynarodowa konferencja: The XXIV Czech-Polish-Slovak Mathematical Conference. Referat: Real-Time Commitment Logic interpreted over Duration Communication Interpreted System.

Rok 2016

9-12 Maj 2016, Kartagena, Hiszpania. Międzynarodowa konferencja: the 20th International Conference on Optical Network Design and Modeling (ONDM'2016). Referat: Adapted and Constrained Dijkstra for Elastic Optical Networks.
28-30 Wrzesień 2016, Rostock, Niemcy. Międzynarodowe Warsztaty: the 25th International Workshop on Concurrency, Specification and Programming (CS&P'2016). Referaty:
1. Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
2. A GPGPU--based Simulator for Prism: Statistical Verification of Results of PMC

Rok 2015

28-30 Wrzesień 2015, Rzesszów, Polska. Międzynarodowe Warsztaty: the 24th International Workshop on Concurrency, Specification and Programming (CS&P'2015). Referat: SMT-based searching for k-quasi-optimal runs in weighted timed automata (Extended Abstract).
4-8 Maj 2015, Stambuł, Turcja. Międzynarodowa konferencja: The 14th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2015). Plakat: SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL.

Rok 2014

1-5 Grudzień 2014, Gold Coast, Queensland, Australia. Międzynarodowa konferencja: the 17th International Conference on Principles and Practice of Multi-Agent Systems. Referat: Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.
29 Wrzesień - 01 Październik 2014, Chemnitz, Niemcy. Międzynarodowe Warsztaty: the 23th International Workshop on Concurrency, Specification and Programming (CS&P'2014). Referat: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract).
1-4 Lipiec 2014, Białystok, Polska. Międzynarodowa konferencja: the 6th Podlasie Conference on Mathematics (PCM 2014). Referat: On the SAT-based Verification of Communicative Commitments.
5-9 Maj, 2014, Paryż, Francja. Międzynarodowe Warsztaty: the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS'2014). Referat: Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking.
5-9 Maj, 2014, Paryż, Francja. Międzynarodowa konferencja: the 13th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2014), Plakat: "Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking".

Rok 2013

1-6 Grudzień, Dunedin, Nowa Zelandia - Międzynarodowa konferencja: 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013). Referat: "SAT-based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic".
25-27 Wrzesień 2013, Warszawa, Polska - Międzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'2013). Referat:"Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Extended Abstract)".
18-20 Wrzesień 2013, Szczecin, Polska - Krajowa konferencja: Systemy Czasu Rzeczywistego (SCR'2013). Referat: "SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems".
16-17 Wrzesień 2013, Wenecja, Włochy - Międzynarodowe Warsztaty: the 10th European Workshop on Performance Engineering (EPEW 2013). Referat: "SAT-based Bounded Model Checking for RTECTL and Simply-timed systems".
9-12 Wrzesień 2013, Wyspy Azorskie (Terceira), Portugalia - Międzynarodowa konferencja: the 16th Portuguese Conference on Artificial Intelligence (EPIA'2013). Referat: "SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems".

Rok 2012

25-27 Czerwiec 2012, Dubrownik, Chorwacja - Międzynarodowa konferencja: the 6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (KES AMSTA 2012). Referat: "SAT-‐based Bounded Model Checking for Deontic Interleaved Interpreted Systems".
4-8 Czerwiec 2012, Walencja, Hiszpania - Międzynarodowa konferencja: Autonomous Agents and Multi-Agent systems (AAMAS 2012) ; Plakat: "Bounded Model Checking for Knowledge and Linear Time". Międzynarodowe Warsztaty: Declarative Agent Languages and Technologies (DALT 2012) . Referat: "SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems".
27 lutego - 4 marca 2012r, Zakopane, Polska. Zastosowania Algebry XVI. Referat: "SAT-based BMC for RTECTLK and Deontic Interleaved Interpreted Systems".

Rok 2011

10-13 Październik 2011, Lizbona, Portugalia - XV międzynarodowa konferencja: Portuguese Conference on Artificial Intelligence (EPIA 2011) . Referat: "The BMC method for the existential part of RTCTLK and interleaved interpreted systems".
28-30 Wrzesień 2011, Pułtusk, Polska - Międzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'2011). Referat: "Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems".
31 maja - 3 czerwca 2011, Orle Gniazdo Hucisko koło Czestochowy, Polska. XVIII Czesko-Polsko-Słowacka Konferencja Matematyczna.
Marzec 2011, Zakopane, Polska. Zastosowania Algebry XV.

Rok 2010

Marzec 2010, Zakopane, Polska. Zastosowania Algebry XIV.

Rok 2009

12-14 Październik 2009, Kraków, Polska - Międzynarodowa konferencja: Central and East European Conference on Software Engineering Techniques (CEE-SET'09). Referat: "Bounded model checking for the existential part of Real-Time CTL and knowledge".
28-30 Wrzesien 2009, Kraków, Polska - Międzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'09). Referat: "SAT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata".
Czerwiec 17 - 20, 2009, Ruzomberok, Słowacja - XVI Słowacko-Czesko-Polska Szkoła Matematyczna. Referat: "Verification of Java programs using networks of finite automata with discrete data.".
Marzec 2009, Zakopane, Polska. Zastosowania Algebry XIII.

Rok 2008

29 Wrzesien - 1 październik 2008, Gross Vaeter, Niemcy - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'08). Referat: "A translator of Java programs to TADDs".
Czerwiec 4 - 7, 2008, Spisska Kapitula, Słowacja - XV Słowacko-Czesko-Polska Szkoła Matematyczna. Referat:"A SAT-based technique to analyse networks of finite automata".
Marzec 2008, Zakopane, Polska. Zastosowania Algebry XII.

Rok 2007

27-29 Wrzesien 2007, Lagow, Polska - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'07). Referat: "Towards verification of Java programs in VerICS".
14-18 Maja 2007, Honolulu, Hawai'i' - VI Miedzynarodowa konferencja: "Autonomus Agents & Multi Agent Systems (AAMAS'07)." Referat: "A Temporal Epistemic Logic with a Reset Operation".
Marzec 2007, Zakopane, Polska. Zastosowania Algebry XI. Referat: "A Temporal Epistemic Logic with a Reset Operation".

Rok 2006

27-29 Wrzesien 2006, Wandlitz (kolo Berlina), Niemcy - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'06). Referat: "Verification of the TESLA Protocol in MCMAS-X".
28 Sierpien - 1 Wrzesnia 2006, Riva del Garda, Wlochy - IV Miedzynarodowe Warsztaty "Model Checking and Artificial Intelligence" (MoChArt'06) organizowane przy XVII Europejskiej Konferencji o Sztucznej Inteligencji (ECAI'06). Referat: "Bounded model checking real-time multi-agent systems with clock differences: theory and implementation ".
12-14 Lipca 2006, Utrecht, Holandia - XIII Miedzynarodowe Warsztaty: Deontic Logic in Computer Science (DEON'06). Referat: "A complete and decidable axiomatisation for deontic interpreted systems. "
8-12 Maja 2006, Hakodate, Japonia - V Miedzynarodowa konferencja: "Autonomus Agents & Multi Agent Systems (AAMAS'06)." Referat: "A complete and decidable security-specialised logic and its application to the TESLA protocol".
Marzec 2006, Zakopane, Polska. Zastosowania Algebry X. Referat: "A complete and decidable security-specialised logic and its application to the TESLA protocol".

Rok 2005

28-30 Wrzesien 2005, Ruciane-Nida, Polska - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'04). Referaty: " Bounded Model Checking for the existential fragment of TCTL and Diagonal Timed Automata " i " A combination of explicit and deductive knowledge with branching time: completeness and decidability results".
25-29 Lipiec 2005, Utrecht, Holandia- IV Miedzynarodowa konferencja: "Autonomus Agents & Multi Agent Systems (AAMAS'05)." Referat: " Bounded model checking for knowledge and real time ".
Marzec 2005, Zakopane, Polska. Zastosowania Algebry IX. Referat: "A Logic for Explicit and Algorithmic Knowledge: Completeness and Decidability Results}".

Rok 2004

24-26 wrzesien 2004, Caputh (kolo Potsdamu), Niemcy - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'04). Referat pt. " " Bounded model checking for knowledge over real time ".
10 - 11 lipiec 2004, Liverpool, Wielka Brytania - Miedzynarodowe Warsztaty: Knowledge & Games.

Rok 2003

25 - 27 wrzesien 2003, Czarna (Bieszczady), Polska - Miedzynarodowe Warsztaty: Concurrency Specification and Programming(CS&P'2003). Referat pt. " Ograniczona Weryfikacja Modelowa dla ECTL*".
15 - 18 wrzesien 2003, Ustron, Polska - Ogólnopolska Konferencja: X Systemy Czasu Rzeczywistego (SCR'03). Referat pt. "VerICS: weryfikator dla automatów czasowych i specyfikacji zapisanych w jezyku Estelle".
6 - 7 wrzesien 2003, Marsylia, Francja - I Miedzynarodowe Warsztaty: Formal Analysis and Modeling of Timed Systems (FORMATS'03). Referat pt. "Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking".
7 - 11 kwiecien 2003, Warszawa, Polska - IX Miedzynarodowa Konferencja: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03).
Luty 2003, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry VII. Referat pt. "Reachability for Timed Systems based on SAT-Solvers".

Rok 2002

12 - 13 grudzien 2002, Karpacz, Polska - Ogólnopolska Konferencja: XVI Forum Informatyki Teoretycznej. Referat pt. "Reachability for Timed Systems based on SAT-Solvers".
6 - 9 pazdziernik 2002, Berlin, Niemcy - Miedzynarodowe Warsztaty: Concurrency Specification and Programming(CS&P'2002). Referat pt. "Reachability for Timed Systems based on SAT-Solvers".
9 - 12 wrzesien 2002, Oldenburg, Niemcy - VII Miedzynarodowe Sympozjum: Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02). Referat pt. "Towards Bounded Model Checking for the Universal Fragment of TCTL".
16 - 19 wrzesien 2002, Ustron, Polska - Ogólnopolska Konferencja: IX Systemy Czasu Rzeczywistego (SCR'02). Referat pt. "Symboliczne kodowanie sieci wspólbieznych automatów czasowych".
Luty 2002, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry VI. Referat pt. "Ograniczona Weryfikacja Modelowa dla Elementarnych Sieci Petriego".

Rok 2001

Grudzien 2001, Bialystok, Polska - Ogólnopolska Konferencja: XV Forum Informatyki Teoretycznej. Referat pt. "Ograniczona Weryfikacja Modelowa dla Elementarnych Sieci Petriego".
Pazdziernik 2001, Warszawa, Polska - Miedzynarodowe Warsztaty: Concurrency Specification and Programming (CS&P'2001).
24 - 27 wrzesien 2001, Krynica, Polska - Ogólnopolska Konferencja: VIII Systemy Czasu Rzeczywistego (SCR'01). Referat pt. "Ograniczona Weryfikacja Modelowa dla systemów z czasem".
Luty 2001, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry V. Referat pt. "Ograniczona Weryfikacja Modelowa dla ECTL".

Rok 2000

Grudzien 2000, Kraków, Polska - Ogólnopolska Konferencja: XIV Forum Informatyki Teoretycznej. Referat pt. "Ograniczona Weryfikacja Modelowa uzywajaca procedury SAT dla formul ECTL".
Luty 2000, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry IV. Referat pt."Logiki Temporalne a Automaty".

Rok 1999

10 - 13 czerwiec 1999, Litomierzyce, Czechy - VI Czech-Polish Mathematical School. Referat pt. "Kody Huffmana".
10 - 16 maj 1999, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry III. Referat pt. "Kody Huffmana".

Rok 1998

Czerwiec 1998, Zloty Potok, Polska - V Czech-Polish Mathematical School. Referat pt. "Algorytmy zachlanne".
Maj 1998, Zakopane, Polska - Ogólnopolska Konferencja: Zastosowania Algebry II. Referat pt. "Algorytmy zachlanne".

Zbiór Konferencji