computer science: FOrmal Languages and COncurrency
Conference participation:
- Marek Nowicki, 26th International European Conference on Parallel and Distributed Computing (Euro-Par 2020), 24-28/08/2020, Warsaw, Poland, lecture: “Performance Evaluation of Java/PCJ Implementation of Parallel Algorithms on the Cloud”
- Kamila Barylska, „Kobiety IT 2020”, 19.11.2020, lecture: „Komputer doskonały”.
- dr Piotr Przymus, lecture: Deepfake – czyli fotorealistyczne obrazy generowane przez sztuczną inteligencję, COPERNICAN DIGITAL FORUM, 19-20.11.2020 r., UMK.
- Andrzej Mróz, The Workshop and International Conference on Representations of Algebras (ICRA), 9-25.11.2020, Universität Bielefeld, Germany (and others), research snapshot (poster): “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, lecture: “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, Canada, research snapshot (poster): “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.06.2022, Toruń, Scratch w przedszkolu (workshop)
- Damian Kurpiewski, XVIII Konferencja Informatyka w Edukacji (IwE), 28-30.06.2022, Toruń, Nauka programowania poprzez tworzenie gier (workshop)
- 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”
- 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, Advanced Course on Petri Nets, 3-8.09.2023, Toruń, Polska, wykład zaproszony “Analysis of Concurrent Systems: Traces and Causal Structures”
- Ł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? (lecture)
- Damian Kurpiewski, XIX Konferencja Informatyka w Edukacji (IwE), 22-24.09.2023, Toruń, Programowanie razem z AI (workshop)
- Damian Kurpiewski, XIX Konferencja Informatyka w Edukacji (IwE), 22-24.09.2023, Toruń, Niecodzienny Python i obserwacja danych (workshop)
- 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ąż (workshop), 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, Italy, 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, talk: “Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack”
- Piotr Przymus, ISSTA 2025, talk: “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)
Conference organization:
- International Conferences on Application and Theory of Petri Nets and Concurrence, member of the steering committee: Łukasz Mikulski
-
Conferences on Reversible Computation, member of the steering committee: Łukasz Mikulski
- 6th Advanced Petri Nets Course (09.2023, original date 09.2020), chairman of the organizing committee: dr Marcin Piątkowski, members of the organizing committee: dr Kamila Barylska, dr Anna Gogolińska, dr Łukasz Mikulski
- 12th Conference on Reversible Computation, 9-10.07.2020, online, program committee: dr Łukasz Mikulski
- 41st International Conference on Application and Theory of Petri Nets and Concurrency, 24-25.06.2020, online, program committee: dr Łukasz Mikulski
- 42nd International Conference on Application and Theory of Petri Nets and Concurrency, 24.06.2021, online, program committee: dr Łukasz Mikulski
- Copernican Digital Forum, 19-20.11.2020, online, program committee: dr Ł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 – organizing committee
- 16th Conference on Reversible Computation, 4-5/07/2024: Kamila Barylska – chairwoman of the organizing committee, Łukasz Mikulski – co-chairman of the program committee, 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 – Co-Chair of the Program Committee and member of Steering Committee
- 24th International Conference on Autonomous Agents and Multiagent Systems, 19-23.05.2025, Detroit, United States of America, Łukasz Mikulski member of Program Committee.
- 25th International Conference on Autonomous Agents and Multiagent Systems, 25-29.05.2025, Paphos, Cyprus, Łukasz Mikulski member of Program Committee
- 17th Conference on Reversible Computation, 3-4.07.2025, Odense, Dania, Łukasz Mikulski member of Program Committee and 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
Scientific travels:
- Ł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 – project meetings: “Folding groups, monoids and complexes with applications to step traces”
- Piotr Przymus – 24.03.2024 – 26.03.2024 Meeting of the project’s organizing committee and working groups: “CA22104 – Behavioral Next Generation in Wireless Networks for Cyber Security (BEiNG-WISE)”, Lille, France.
- Łukasz Mikulski, 19.05.2024 – 25.05.2024 – Mediolan – internship travel, group: “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, internship travel TU Delft, as part of the internship, a project was realized: “Guiding Large Language Models Models to Integrate and Obscure Vulnerable Code Fragments”, with Thomas Durieux.
- Łukasz Mikulski, 28.09.2024 – 06.10.2024 – Oksford – project meetings: “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); scientific collaboration
- Łukasz Mikulski, 9.03.2025 – 19.03.2025 – Oxford (UK) – project meeting: “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); scientific collaboration, group creation, future work planning
- Kamila Barylska, Łukasz Mikulski 12-18.10.2025 IBISC Laboratory at Université d’Évry Paris-Saclay (France); scientific collaboration, European grant proposal