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
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
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
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)
Seminarium Teorii Reprezentacji Algebr
- 19.05.2022, dr hab. Andrzej Mróz: Kraty incydencji i algebry delikatne
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