Informatyka, języki formalne i współbieżność

Wystąpienia konferencyjne:

• Marek Nowicki, 26th International European Conference on Parallel and Distributed Computing (Euro-Par 2020), 24-28/08/2020, Warsaw, Poland, referat pt. “Performance Evaluation of Java/PCJ Implementation of Parallel Algorithms on the Cloud”
• Kamila Barylska, „Kobiety IT 2020”, 19.11.2020, referat pt.: „Komputer doskonały”.
• dr Piotr Przymus, referat pt.: Deepfake – czyli fotorealistyczne obrazy generowane przez sztuczną inteligencję, COPERNICAN DIGITAL FORUM, 19-20 listopada 2020 r., UMK.
• Andrzej Mróz, The Workshop and International Conference on Representations of Algebras (ICRA), 9-25.11.2020, Universität Bielefeld, Niemcy (i inne), komunikat online (research snapshot) pt. “Efficient recognition of the Dynkin type of a quasi-Cartan matrix and applications”.

• Marek Nowicki, International Symposium on Grids & Clouds 2021 (ISGC 2021), 22-26/03/2021, Academia Sinica Computing Centre (ASGC), Taipei, Taiwan, referat pt. “PCJ – Java Library that integrates HPC, Big Data and AI workloads”
• Andrzej Mróz, Advances in Representation Theory of Algebras (VirtARTA 2021), Online Conference in Honor of Andrzej Skowroński, 17-28.05.2021,  Queen’s University & Université de Sherbrooke, Kanada, komunikat online pt. “Roiter’s integral quadratic forms revisited”.
• Mariusz Kaniecki, Advances in Representation Theory of Algebras (VirtARTA 2021), Online Conference in Honor of Andrzej Skowroński, 17-28.05.2021,  Queen’s University & Université de Sherbrooke, Kanada, komunikat online pt. “Degeneration order and box moves.”.
• Marcin Piątkowski, 32nd Annual Symposium on Combinatorial Pattern Matching, 5–7.07.2021, Wrocław, referat pt. “Constructing the Bijective BWT”
• Marek Nowicki, 23rd Future SOC Lab Day, 23/11/2021, Potsdam, Germany (online), referat pt. “Benchmarking Java on Ethernet Cluster”

• Marek Nowicki, 24th HPI Future SOC Lab Day – Spring 2022, 26.04.2022, Potsdam, Germany, poster pt. “Benchmarking Java on Ethernet Cluster / Running Monte Carlo Pi approximation using Java/APGAS”
• Łukasz Mikulski, International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 9-13.05.2022, Auckland, Nowa Zelandia (online), plakat “Towards Assume-Guarantee Verification of Strategic Ability”
• Marek Nowicki, XVIII Konferencja Informatyka w Edukacji (IwE), 28-30 czerwca 2022, Toruń, Scratch w przedszkolu (warsztaty)
• Damian Kurpiewski, XVIII Konferencja Informatyka w Edukacji (IwE), 28-30.06.2022, Toruń, Nauka programowania poprzez tworzenie gier (warsztaty)
• Anna Gogolińska, Reversible Computation (RC), 05-06.07.2022, Urbino, Italy, referat: “Formal Translation from Reversing Petri Nets to Coloured Petri Nets”
• Marek Nowicki, 4EU+ Against Cancer Summer School, 6/07/2022, Warsaw, Poland, wykład pt. “Processing and storage”
• Marek Nowicki, TSSP ExSci – Toruń Students Summer Program in Exact Sciences, 14/07/2022, Toruń, Poland, wykład pt. “Parallel Programming in Java in the PCJ Library”
• Damian Kurpiewski, Advances in Modal Logic (AiML 2022), 22-25.08.2022, Rennes, Francja, referat pt. “Verification of Multi-Agent Properties in Electronic Voting: A Case Study”
• Damian Kurpiewski, International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022), 25-26.08.2022, Rennes, Francja, referat pt. “How to Measure Usable Security: Natural Strategies in Voting Protocols”
• Jesús A. Jiménez González, Advances in Representation Theory of Algebras VIII, 19-23/09/2022, Toruń, Polska, referat pt. “Gentle algebras and bidirected graphs”.
• Andrzej Mróz, Advances in Representation Theory of Algebras VIII, 19-23/09/2022, Toruń, Polska, referat pt. “Bidirected graphs and integral quadratic forms in representation theory”.
• Piotr Przymus (referat wspólnie z K. Kaczmarski), The 9th IEEE International Conference on Data Science and Advanced Analytics, 13-16.10.2022, referat pt. “Fast JSON parser using metaprogramming on GPU”, A.
• Łukasz Mikulski, 24th International Conference on Principles and Practice of Multi-Agent Systems, 16-18.11.2022, Walencja, Hiszpania, referat ” Assume-Guarantee Verification of Strategic Ability”
• Damian Kurpiewski, 24th International Conference on Principles and Practice of Multi-Agent Systems, 16-18.11.2022, Walencja, Hiszpania, prezentacja narzędzia “STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning”
• Marek Nowicki, 25th HPI Future SOC Lab Day – Fall 2022, 22.11.2022, Potsdam, Germany, poster pt. “Benchmarking Java on Ethernet Cluster / Running PLM-APGAS applications on Ethernet Cluster”

• Piotr Przymus, Krzysztof Rykaczewski – “Zobacz działanie ChatGPT na własne oczy – warsztaty popularnonaukowe”, Dzień liczby Pi 15.03.2023, Dzień Pi UMK 22.03.2023
• Łukasz Mikulski,  Verifiable Voting Workshop, 21-22.03.2023, Esch-sur-Alzette, Luksemburg, referat ”Verification of Multu-Agent Properties in Electronic Voting: A case Study”
• Piotr Przymus, Krzysztof Rykaczewski – „Zobacz działanie ChatGPT na własne oczy”, Toruński Festiwal Nauki i Sztuki, 22-24.04.2023
• The Secret Life of CVEs, Przymus Piotr, IEEE/ACM 20th International Conference on Mining Software Repositories MSR 2023, Melbourne, Australia, 15-16.05.2023
• Andrzej Mróz, Advances in Representation Theory of Algebras IX, 12-16.06.2023, Kingston, Kanada, wykład plenarny rozszerzony, na zaproszenie, pt. “A graph theoretic model for the derived categories of gentle algebras”.
• Piotr Przymus i Jakub Narębski, “The Secret Life of CVEs” (autorzy: P. Przymus, M. Fejzer, J. Narębski i K. Stencel), Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej, Zakładu Systemów Przetwarzania Informacji, 28.06.2023
• Andrzej Mróz, Toruń Students Summer Program in Exact Sciences, 28.07.2023, Toruń, Polska, referat na zaproszenie pt. “Computational number theory: from Diophantus to Dynkin diagrams”
• Łukasz Mikulski, Advanced Course on Petri Nets, 3-8.09.2023, Toruń, Polska, wykład zaproszony “Analysis of Concurrent Systems: Traces and Causal Structures”
• Kamila Barylska “Analysis and Synthesis of Some Subclasses of Petri Nets”, invited lecture, Advanced Course on Petri Nets, 3-8.09.2023, Toruń, Poland
• Łukasz Mikulski, Warsztaty projektu NCBiR/FNR SpaceVote, 21-22.09.2023, Gdańsk, Polska, referat “Assume-Guarantee Verification of Strategic Ability”
• Damian Kurpiewski, Warsztaty projektu NCBiR/FNR SpaceVote, 21-22.09.2023, Gdańsk, Polska, referat “Towards Modelling and Verification of Social Explainable AI”
• Marek Nowicki, XIX Konferencja Informatyka w Edukacji (IwE), 22-24.09.2023, Toruń, Czy jesteśmy gotowi na naukę programowania równoległego w szkole? (referat)
• Damian Kurpiewski, XIX Konferencja Informatyka w Edukacji (IwE), 22-24.09.2023, Toruń, Programowanie razem z AI (warsztaty)
• Damian Kurpiewski, XIX Konferencja Informatyka w Edukacji (IwE), 22-24.09.2023, Toruń, Niecodzienny Python i obserwacja danych (warsztaty)
• Kamila Barylska “Komputer doskonały”, Dzień Innowacji na Wydziale Matematyki i Informatyki UMK, 20.10.2023
• Piotr Przymus, Krzysztof Rykaczewski – “ChatGPT w Dialogu: Mocne i Słabe Strony Sztucznej Inteligencji”, Noc innowacji, 20.10.2023

• Piotr Przymus, “How I Learned to Stop Worrying and Love ChatGPT” na konferencji “21st International Conference on Mining Software Repositories (MSR) 2024”, Lisbon, Portugal, 15.04.2024.
• Anna Gogolińska, “Petri nets in modeling glucose regulating processes in the liver”, International Workshop on Petri Nets and Software Engineering PNSE’24, Geneva, Switzerland, 24-25.06.2024
• Anna Gogolińska, “Blood Glucose Levels Regulation in a Healthy and in a Diabetic Person Modelled with Petri Nets”, Petri Net games, examples and quizzes for education, contest and fun, PeNGE 2024, Geneva, Switzerland, 25.06.2024
• Marek Nowicki, XX Konferencja Informatyka w Edukacji (IwE), Toruń, Scratch: podstawy na przykładzie gry Wąż (warsztaty), 25-27.06.2024
• Łukasz Mikulski, “Relational Structures for Interval Order Semantics of Concurrent Systems”, 45th International Conference on Application and Theory of Petri Nets and Concurrency, Genewa, Szwajcaria, 24-28.06.2024
• Łukasz Mikulski, “Modelling with Distributed Reaction Systems”, 4th Workshop on Reaction Systems, Piza, Włochy, 18.09.2024
• Mariusz Kaniecki, “On categorical approach to reaction systems”, 4th Workshop on Reaction Systems, Piza, Włochy, 18.09.2024
• Marek Nowicki: HPV-KITE for high-performance metagenomics data analysis, EHEN Scientific Meeting, Brussels, Belgium, 26-27.11.2024

• Marek Nowicki, Bioinformatics in Toruń 2025, Toruń, 25-28.06.2025 “HPV-KITE for high-performance metagenomics data analysis” (talk, poster)
• Kamila Barylska, Anna Gogolińska, “Glucagon and Insulin Production in Pancreatic Cells modeled using Petri Nets and Boolean Networks”, International Workshop on Petri Nets and Software Engineering PNSE’25, Paris, France, 23.06.2025 (talk)
• Kamila Barylska, Anna Gogolińska, “A new Approach to Generalized Stochastic Petri Nets – Probabilistic Selection Petri Nets”, International Workshop on Petri Nets and Software Engineering PNSE’25, Paris, France, 23.06.2025 (poster)
• Kamila Barylska, Anna Gogolińska, “Petri net model of basic glucose regulation processes”, 20th conference on Computational Intelligence methods for Bioinformatics and Biostatistics CiBB2025, 10-12.09.2025, Milano, Italy (talk)
• Kamila Barylska, Anna Gogolińska, “Petri nets models of basic blood glucose levels regulation in a healthy and in a diabetic person”, 20th conference on Computational Intelligence methods for Bioinformatics and Biostatistics CiBB2025, 10-12.09.2025, Milano, Italy (poster)
• Łukasz Mikulski, coauthor of the talk “Co robi twój pracownik? Odpowiedź kryje się w logach” and chairman of the discussion “Droga AI z nauki do biznesu”, 17th Copernican Digital Forum, Toruń, 27-28.05.2025 (talk)
• Łukasz Mikulski, coauthor of the talk “Interval Order Synthesis of EN-Systems with Read and Mutex Arcs”, session chairman and participant of SC meeting, 46th International Conference on Application and Theory of Petri Nets and Concurrency, Paryż, Francja, 22-27.06.2025 (talk)
• Mariusz Kaniecki, Marcin Piątkowski, “A Modular Petri Net Model for the Interlocking Post Control System”, 46th International Conference on Application and Theory of Petri Nets and Concurrency, Paryż, Francja, 22-27.06.2025 (talk)
• Mariusz Kaniecki, „O nauczaniu algorytmów w XXI wieku – studium przypadku”, 21st Conference “Informatyka w Edukacji”, Toruń, 1-3.07.2025 (talk)
• Marek Nowicki, Marcin Piątkowski, coathor of the talk „Słownikowe struktury danych i ich zastosowania”, 21st Conference “Informatyka w Edukacji”, Toruń, 1-3.07.2025 (talk)
• Damian Kurpiewski, „Materiały edukacyjne z informatyki – jak uczyć złożonych zagadnień w jak najprostszy sposób” and „Refleksje młodego informatyka i dziadersa na temat polskiej oświaty: propozycja metody wyjścia z permanentnego kryzysu oświaty w Polsce” 21st Conference “Informatyka w Edukacji”, Toruń, 1-3.07.2025 (talk)
• Łukasz Mikulski, “Encoding reaction systems in Petri nets” and session chair, 5th International Workshop on Reaction Systems, Nicea, Francja, 2.09.2025 (talk)
• Marcin Piątkowski, “ReactICS: a model checking tool for distributed reaction systems”, 5th International Workshop on Reaction Systems, Nicea, Francja, 2.09.2025 (talk)
• Łukasz Mikulski, “Causal Semantics of Concurrent Systems”, session chairman and chairman of the discussion “Logic in the Development of Artificial Intelligence”, 1st Polish Congress of Logic, Toruń, 22-26.09.2025 (talk)
• Damian Kurpiewski, “STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow”, 1st Polish Congress of Logic, Toruń, 22-26.09.2025 (talk)
• Piotr Przymus, MSR 2025, referat “Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack”
• Piotr Przymus, ISSTA 2025, referat “PatchScope-A Modular Tool for Annotating and Analyzing Contributions”
• Andrzej Mróz, “Discrete derived invariants for Gorenstein algebras” (plenary invited talk), Advances in Representation Theory of Algebras X, Cologne, Germany, 1-5.09.2025 (talk)
• Damian Kurpiewski, “Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models”, 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), Montreal, Canada, 16-22.08.2025  (talk)
• Mateusz Kamiński, “NatSTV: Towards Verification of Natural Strategic Ability”, 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), Montreal, Canada, 16-22.08.2025 (talk)

Organizacja konferencji:

• International Conferences on Application and Theory of Petri Nets and Concurrence, członek komitetu sterującego: Łukasz Mikulski
• Conferences on Reversible Computation, członek komitetu sterującego: Łukasz Mikulski
• 6th Advanced Petri Nets Course (wrzesień 2023, oryginalna data wrzesień 2020), przewodniczący komitetu organizacyjnego: dr Marcin Piątkowski, członkowie komitetu organizacyjnego: dr Kamila Barylska, dr Anna Gogolińska, Łukasz Mikulski
•  12th Conference on Reversible Computation, 9-10.07.2020, zdalnie, komitet programowy: Łukasz Mikulski
• 41st International Conference on Application and Theory of Petri Nets and Concurrency, 24-25.06.2020, zdalnie, komitet programowy: Łukasz Mikulski
• 42nd International Conference on Application and Theory of Petri Nets and Concurrency, 24.06.2021, zdalnie, komitet programowy: Łukasz Mikulski
• Copernican Digital Forum, 19-20.11.2020, zdalnie, komitet naukowy: Łukasz Mikulski
• 43rd International Conference on Application and Theory of Petri Nets and Concurrency, 19-26.06.2022, Bergen, Norwegia, komitet programowy: Łukasz Mikulski
• 44th International Conference on Application and Theory of Petri Nets and Concurrency, 25-30.06.2023, Lizbona, Portugalia, komitet programowy: Łukasz Mikulski
• 14th International Conference on Reversible Computation (RC), 5-6.07.2022 – Kamila Barylska – komitet programowy
• 16th Conference on Reversible Computation, 4-5.07.2024: Kamila Barylska – przewodnicząca komitetu organizacyjnego, Łukasz Mikulski – współprzewodniczący komitetu programowego, Anna Gogolińska, Marcin Piątkowski
• 23th International Conference on Autonomous Agents and Multiagent Systems, 6-10.05.2024, Auckland, Nowa Zelandia, komitet programowy: Łukasz Mikulski
• 45th International Conference on Application and Theory of Petri Nets and Concurrency, 24-28.06.2024, Genewa, Szwajcaria, komitet programowy: Łukasz Mikulski
• 46th International Conference on Application and Theory of Petri Nets and Concurrency, 24-28.06.2025, Paryż, Francja, Łukasz Mikulski – współprzewodniczący komitetu programowego i członek Steering Committee.
• 24th International Conference on Autonomous Agents and Multiagent Systems, 19-23.05.2025, Detroit, United States of America, Łukasz Mikulski członek Program Committee.
• 25th International Conference on Autonomous Agents and Multiagent Systems, 25-29.05.2025, Paphos, Cyprus, Łukasz Mikulski  członek Program Committee
• 17th Conference on Reversible Computation, 3-4.07.2025, Odense, Dania, Łukasz Mikulski członek Program Committee i Steering Committee
• Piotr Przymus, Mining Software Repositories 2026, Program Committee for Technical Papers (main track)
• Piotr Przymus, Mining Software Repositories 2026, Program Committee for Data and Tool Showcase Track

Wyjazdy naukowe:

• Łukasz Mikulski, 14.09.2022 – 16.09.2022 – Luksemburg – spotkania projektu “STV – Socio-Technical Verification of Information Security and Trust in Voting Systems”
• Marek Nowicki , 22-25.11.2022 – Stockholm (Sweden), HEAP BYOD#3, collaborative workshop of the project Human Exposome Assessment Platform
• Łukasz Mikulski, 01.02.2023 – 11.02.2023 – Newcastle upon Tyne – spotkania projektu “Folding groups, monoids and complexes with applications to step traces”
• Piotr Przymus, 08.03.2023-13.03.2023 – Budapeszt spotkanie grup roboczych programu ”Cost Action CA18131 – Statistical and machine learning techniques in human microbiome studies”.
• Piotr Przymus, 7.06.2023-9.06.2023 – Cork spotkanie grup roboczych programu “Cost Action CA18131 – Statistical and machine learning techniques in human microbiome studies”.
• Piotr Przymus, 21.09.2023-23.09.2023 – Bruksela spotkanie komitetu zarządzającego oraz grup roboczych programu ”COST Action CA22104, Behavioral Next Generation in Wireless Networks for Cyber Security (BEiNG-WISE)”.
• Łukasz Mikulski, 22.02.2024 – 03.03.2024 – Oksford – spotkania projektu “Folding groups, monoids and complexes with applications to step traces”
• Piotr Przymus – 24.03.2024 – 26.03.2024 Spotkanie komitetu org. i grup roboczych projektu “CA22104 – Behavioral Next Generation in Wireless Networks for Cyber Security (BEiNG-WISE)”, Lille, France.
• Łukasz Mikulski, 19.05.2024 – 25.05.2024 – Mediolan – wyjazd stażowy, grupa “Models of Concurrency, Communication and Computation (MC3)”
• Marek Nowicki, 27-29.05.2024 – Lyon (France), HEAP Symposium and HEAP Annual meeting
• Piotr Przymus – 02-29.06.2024, staż naukowy TU Delft, w ramach stażu realizowany był projekt “Guiding Large Language Models Models to Integrate and Obscure Vulnerable Code Fragments”, z Thomas Durieux.
• Łukasz Mikulski, 28.09.2024 – 06.10.2024 – Oksford – spotkania projektu “Folding groups, monoids and complexes with applications to step traces”
• Marek Nowicki, 20-22.11.2024 – Helsinki (Finland) – HEAP BYOD#4 collaborative workshop of the project Human Exposome Assessment Platform
• Piotr Przymus, TU Wien, host Jurgen Cito, Security of agentic AI in SE, 02-03.2025 (1 month), ended with a paper currently in review.
• Kamila Barylska, 1-9.03.2025 IBISC Laboratory at Université d’Évry Paris-Saclay (France); współpraca naukowa
• Łukasz Mikulski, 9.03.2025 – 19.03.2025 – Oxford (UK) – spotkanie projektu “Folding groups, monoids and complexes with applications to step traces”
• Marek Nowicki, 23-25.06.2025 – Graz/Ehrenhausen (Austria) – HEAP BYOD#5 collaborative workshop of the project Human Exposome Assessment Platform
• Kamila Barylska, Anna Gogolińska, Mariusz Kaniecki, Łukasz Mikulski, Marcin Piątkowski, 21-28.06.2025 IBISC Laboratory at Université d’Évry Paris-Saclay (France); współpraca naukowa, budowanie zespołu naukowego i plany współpracy
• Kamila Barylska, Łukasz Mikulski 12-18.10.2025 IBISC Laboratory at Université d’Évry Paris-Saclay (France); współpraca naukowa, wspólna praca nad wnioskiem o grant europejski