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

Seminarium Informatyczne zespołu Języki Formalne i Współbieżność (FoLCo)

• 3 listopada 2020, dr Marek Nowicki: Implementacje algorytmu TeraSort w PCJ i jego porównanie z Hadoop
• 24 listopada 2020, dr Anna Gogolińska, dr Marcin Piątkowski, dr Kamila Barylska: Obliczenia odwracalne w Sieciach Petriego, część I
• 1 grudnia 2020, dr Anna Gogolińska, dr Marcin Piątkowski, dr Kamila Barylska: Obliczenia odwracalne w Sieciach Petriego, część II
• 15 grudnia 2020, dr Michał Knapik (IPI PAN): Tree-like automata synchronisation topologies and their reductions
• 22 grudnia 2020, dr hab. Andrzej Mróz, prof. UMK: “W kierunku dowodu równoważności pomiędzy pewnymi klasami VAS’ów”.
• 18 stycznia 2021, mgr Mariusz Kaniecki: Częściowe porządki a LR-tablice, tablice Klein, diagramy łukowe
• 23 marca 2021, dr Marek Nowicki: PCJ Java Library as a solution to integrate HPC, Big Data and Artificial Intelligence workloads
• 27 kwietnia 2021, dr Piotr Przymus: Deapfake
• 18 maja 2021, prof. Maciej Koutny (Newcastle University): Asynchrony and Persistence in Reaction Systems
• 22 marzec 2022, dr Anna Gogolińska: Acykliczne i cykliczne obliczenia odwracalne w sieciach Petriego.
• 21 września 2022, dr Łukasz Mikulski: Możliwości współpracy z Newcastle University w zakresie algebraicznych metod analizy systemów współbieżnych – seminarium robocze
• 18 października 2022, dr Łukasz Mikulski: Obserwacje, zachowania i systemy, czyli o związkach procesów sieci Petriego ze śladami Mazurkiewicza
• 8.11.2022, dr Łukasz Mikulski: Obserwacje, zachowania i systemy, czyli o związkach procesów sieci Petriego ze śladami Mazurkiewicza cz.2
• 13.12.2022, dr Mariusz Kaniecki: Sieci Petriego z punktu widzenia teorii kategorii (podejście G. Winskela)
• 28.02.2023, dr Federica Adobbati: Formal analysis of information flow and control properties in Petri nets
• 14.03.2023, mgr Yan Kim: Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
• 21.11.2023, mgr Damian Kurpiewski: Trust Topologies in Verification of Social Explainable AI
• 29.10.2024, dr hab. Łukasz Mikulski: Modelling with Distributed Reaction Systems

Seminarium Informatyczne

• 2 marca 2021, dr Piotr Przymus: Eksploracja danych w procesach biznesowych
• 17 marca 2021, mgr Mikołaj Fejzer: Mining Software Repositories for Code Quality
• 09.11.2021, dr Marcin Piątkowski: String Inference from Longest-Common-Prefix Array
• 31.05.2022, dr Jesús A. Jiménez González: Incidence matrices, Laplacians and some applications
• 23.05.2023, dr Łukasz Mikulski: Analysing Multi-agent Systems Using 1-safe Petri Nets (work in progress)
• 31.05.2023, dr Piotr Przymus: The Secret Life of CVEs
• 17.10.2023, dr Marta Koutny: Synthesising Elementary Net Systems with Interval Order Semantics
• 12.12.2023, Andrzej Mróz, Równania diofantyczne. Wokół X Problemu Hilberta
• 16.01.2024, dr Łukasz Górski: O wyjaśnialności sztucznej inteligencji w prawie
• 20.02.2024, dr Łukasz Mikulski: Uogólnienia częściowych porządków na bogatsze struktury
  relacyjne w semantykach współbieżnych, cz. 1.
• 05.03.2024, dr Łukasz Mikulski: Uogólnienia częściowych porządków na bogatsze struktury
  relacyjne w semantykach współbieżnych, cz. 2.
• 19.03.2024, dr Łukasz Mikulski: Uogólnienia częściowych porządków na bogatsze struktury
  relacyjne w semantykach współbieżnych, cz. 3.
• 09.04.2024, dr Piotr Przymus, “How I Learned to Stop Worrying and Love ChatGPT”
• 11.06.2024, dr Mariusz Kaniecki “Kategorie systemów reakcyjnych”
• 12.11.2024, dr Marek Nowicki: HPV-KITE for high-performance metagenomics data analysis
• 19.11.2024, dr Kamila Barylska, dr Anna Gogolińska: Sieci Petriego w modelowaniu poziomu glukozy we krwi.

Seminarium Centrum Doskonałości DAMSI

• 1.05.2021, dr Łukasz Mikulski: Paradigms of Concurrency
• 11.05.2022, dr hab. Andrzej Mróz: Integral quadratic forms and incidence lattices. Computations and the algebraic background
• 08.03.2023, Damian Kurpiewski: STV: Towards Practical Verification of Strategic Ability
• 10.01.2024, Piotr Przymus: Advancing Code Quality through Mining Software Repositories
• 29.05.2024, Kamila Barylska: “Analysis and synthesis of (some subclasses of) Petri Nets”

Seminarium Zakładu Teorii Systemów Rozproszonych i Obliczeniowych (IPI PAN)

• 26 listopada 2020, dr Łukasz Mikulski: Synthesis and Analysis of Concurrent Processes in Step Semantics (part I)
• 3 grudnia 2020, dr Łukasz Mikulski: Synthesis and Analysis of Concurrent Processes in Step Semantics (part II)

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych (UW)

• dr Mikołaj Fejzer, dr Piotr Przymus: A new pointwise learn-to-rank algorithm

Seminarium zespołu realizującego projekt “Optymalizacja wstępnego przetwarzania danych na potrzeby uczenia maszynowego i eksploracji danych na GPU przy pomocy metaprogramowania” (PW)

• dr Piotr Przymus: Pandas, Dask, cuDF

Seminarium Algebraiczne

• 17 listopada 2021, dr Mariusz Kaniecki: Częściowe porządki w dyskretnych podkategoriach kategorii niezmienniczych podprzestrzeni nilpotentnych operatorów liniowych
• 25.10.2022, dr Jesús A. Jiménez González: A graph theoretical approach to the representation theory of gentle algebras

Seminarium Katedry Kombinatoryki i Obliczeń Symbolicznych

• 26 listopada 2020, dr Mariusz Kaniecki: Generyczne rozszerzenia w dyskretnych podkategoriach kategorii niezmienniczych podprzestrzeni nilpotentnych operatorów liniowych
• 10.11.2022, dr Jesús A. Jiménez González: Computing congruence matrices on a class of integral bilinear forms
• 28.03.2023, Andrzej Mróz, O uniwersalności całkowitych form kwadratowych (seminarium łączone z Seminarium Teorii Reprezentacji Algebr)
• 18.01.2024, Andrzej Mróz, Forma Eulera algebry grafu Brauera (seminarium łączone z Seminarium Teorii Reprezentacji Algebr)
• 18.04.2024, Mariusz Kaniecki, “Systemy reakcyjne – próby kategoryzacji i związki z innymi modelami obliczeń (praca w toku)”
• 09.05.2024, Mariusz Kaniecki, “Kategorie, których obiektami są sieci Petriego”

Seminarium Teorii Reprezentacji Algebr

• 19.05.2022, dr hab. Andrzej Mróz: Kraty incydencji i algebry delikatne
• 25.04.2023, dr Mariusz Kaniecki, “Kombinatoryczny opis porządku degeneracyjnego – powrót do diagramów łukowych”

Pure Mathematics Seminar (Newcastle upon Tyne, Wielka Brytania)

• 7.02.2023, dr Łukasz Mikulski: Generalising Mazurkiewicz Traces (interval semantics)

(i)Po(m)set Project Online Seminar (Rennes, Francja)

• 20.10.2023, dr Łukasz Mikulski: Relational Structures for Interval Order Semantics of Concurrent Systems

DISCo Seminar (Mediolan, Włochy)

• 21.05.2024, dr hab. Łukasz Mikulski: Analysis of Concurrent Systems: Traces and Causal Structures