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
Organizacja konferencji:
- 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
Wyjazdy naukowe:
- Piotr Przymus, 21.09.2023-23.03.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)”.
- 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”.