Skip to main content

Seminarium zESPOŁU teorii SYSTEMÓW RoZPROSZONYCH I OBLICZENIOWYCH:


Informacje:

Czwartki, o godz. 13:30
Miejsce seminarium: sala seminaryjna IPI PAN

Organizator:

e-mail: Michal.Knapik@ipipan.waw.pl 

15.10.2026 — seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych — godz. 12:00

Andrzej Mizera (IDEAS NCBR / Uniwersytet Warszawski)

Odnośnik do spotkania w MS Teams (nowe okno)


Streszczenie (autorskie):

In this tutorial-style talk, we introduce the Boolean network framework through concrete case studies, covering structure graphs, asynchronous state transition systems, and attractors. Building on these foundations, we formally define biologically informed edge perturbations in structure graphs and formulate the problem of temporary edgetic control: finding transient edge removals that steer the network into a desired target attractor. We conclude with a practical demonstration of the approach.

Więcej…15.10.2026 - Seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych

28.04.2025 — seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych — godz. 14:00

Marta Kwiatkowska (University of Oxford / IPI PAN)

Odnośnik do spotkania w MS Teams (nowe okno)


Streszczenie (autorskie):

I will focus on concurrent stochastic games and equilibria-based verification/synthesis.

Więcej…28.04.2025 - Seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych

26.03.2026 — seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych — godz. 14:00

Babak Esfandiari (Carleton University, Ottawa, Kanada)

Odnośnik do spotkania w MS Teams (nowe okno)


Streszczenie (autorskie):

Belief-Desire-Intention (BDI) is a paradigm for designing autonomous agents. In this talk we discuss its potential and challenges for programming autonomous mobile robots, and our attempts at addressing some of the challenges.

Więcej…26.03.2026 - Seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności