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

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
24th International Conference on Autonomous Agents and Multiagent Systems, 19-23.05.2025, Detroit, Stany Zjednoczone, program committee: Ł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

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