Seminaria

• 12

  Kwi.

  [Seminarium ZOK] Kamyar Khodamoradi: "Approximation Algorithms for Demand Strip Packing"

• 12

  Paź.

  [Seminarium ZOK] Marcin Bieńkowski: "A Nearly Optimal Deterministic Online Algorithm for Non-Metric Facility Location"

• 05

  Paź.

  [Seminarium ZOK] Guy Even: "An extendable data structure for dynamic stable perfect hashing"

• 28

  Wrz.

  [Seminarium ZOK] Jarosław Byrka: "Submodularity Gaps for Selected Network Design and Matching Problems"

• 14

  Sty.

  Seminarium ZMN: M. Kowalski (UKSW) o ,,Odtwarzaniu funkcji na podstawie zaszumionych danych''

• 17

  Gru

  [Seminarium ZOK] Jarosław Byrka o "Breaching the 2-Approximation Barrier for Connectivity Augmentation: a Reduction to Steiner Tree​" (unpublished)

• 10

  Gru

  [Seminarium ZOK] Tobias Moemke o "Beating the 2.5-Barrier for TSP with Linear Precedence Constraints" (unpublished)

• 26

  Lis.

  Seminarium ZMN: W. Rachowicz (PK) o ,,Rozwiązywaniu zadań fizyki obliczeniowej oraz adaptacyjnej metodzie elementów skończonych i kontroli błędu''

• 12

  Lis.

  Seminarium ZMN: P. Rajba o ,,Ukrywaniu informacji w procesie minifikacji skryptów''

• 29

  Paź.

  Seminarium ZMN: F. Chudy i P. Woźny o ,,Nowych algorytmach dla krzywych i powierzchni Béziera''

• 22

  Paź.

  [Seminarium ZOK] Christian Coester on "Pure entropic regularization for metrical task systems" (COLT 2019, wspólnie z James R. Lee)

• 15

  Paź.

  [Seminarium ZOK] Przemysław Uznański o "Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling" (PODC 2019, joint work with Adrian Kosowski and Laurent Viennot)

• 25

  Cze.

  Pasin Manurangsi o "Parameterized Inapproximability"

• 28

  Maj

  Seminarium ZMN: H. Woźniakowski (UW) o ,,Tractability of multivariate problems or how to fight with the curse of dimensionality''

• 28

  Maj

  !!!ODWOŁANE!!! [Seminarium ZOK] Marek Adamczyk o "Random Order Contention Resolution Schemes" (FOCS'18)

• 14

  Maj

  Seminarium ZMN: P. Pilarczyk (PG) o ,,Metodzie numeryczno-topologicznej analizy układów dynamicznych''

• 16

  Kwi.

  Seminarium ZMN: A. Cegielski (UZ) o ,,Transformacja Landwebera i jej zastosowania''

• 02

  Kwi.

  Seminarium ZMN: P. Rajba o ,,Steganografii w świecie technologii internetowych''

• 19

  Mar.

  Seminarium ZMN: G. Świderski o ,,Zbieżności wyznaczników Turána dla wielomianów ortogonalnych''

• 05

  Mar.

  Seminarium ZMN: S. Kahler ,,Orthogonal polynomials and harmonic analysis''

• 15

  Lut.

  [Seminarium ZOK] Łukasz Jeż: "A ϕ-Competitive Algorithm for Scheduling Packets with Deadlines" (SODA'19)

• 29

  Sty.

  Seminarium ZMN: S. Paszkowski o ,,Ułamkach arytmetycznych o okresie 2-symetrycznym''

• 15

  Sty.

  Seminarium ZMN: R. Nowak o ,,Zastosowaniach auto-enkoderów do reprezentacji i generowania chmur punktów 3D''

• 18

  Gru

  Seminarium ZMN: R. Kraus o ,,Efektywnym renderingu Monte Carlo z łańcuchami Markowa''

• 11

  Gru

  [Seminarium ZOK] Adam Kunysz o "An Algorithm for the Maximum Weight Strongly Stable Matching Problem"

• 04

  Gru

  Seminarium ZMN: R. Szwarc o ,,Nieujemności wyznaczników Turána dla wielomianów ortogonalnych''

• 06

  Lis.

  Seminarium ZMN: P. Rutka (KUL) o ,,Interpolacyjnych wzorach barycentrycznych w pierwiastkach klasycznych wielomianów ortogonalnych zmiennej ciągłej i dyskretnej''

• 23

  Paź.

  Seminarium ZMN: A. Marciniak (PP) o ,,Przeglądzie metod przedziałowych rozwiązywania zagadnienia początkowego''

• 16

  Paź.

  Stefan Schmid o "Networks in the Disco: Algorithms for Demand-Aware and Self-Adjusting Networks"

• 02

  Paź.

  Joachim Spoerhase o "Approximation Schemes for Geometric Coverage Problems"

• 27

  Wrz.

  [Seminarium ZOK] Gleb Polevoy: "The Game of Reciprocation Habits" i "Reciprocation Effort Games"

• 25

  Wrz.

  Seminarium ZMN: G. Filipuk (UW) o ,,Wielomianach ortogonalnych oraz równaniach Painleve''

• 06

  Wrz.

  Marek Chrobak o "Towards a Theory of Mixing Graphs: A Characterization of Perfect Mixability"

• 12

  Cze.

  [Seminarium ZOK] Michał Włodarczyk​: "Losing Treewidth by Separating Subsets"

• 05

  Cze.

  Seminarium ZMN: P. Morkisz (AGH) o ,,Optymalnej aproksymacji całek stochastycznych w obecności informacji zaburzonej''

• 15

  Maj

  Seminarium ZMN: P. Rajba, M. Wodecki (PWr) o ,,Własnościach eliminacyjnych – metody przeglądu pośredniego elementów przestrzeni rozwiązań problemów optymalizacji dyskretnej''

• 24

  Kwi.

  Seminarium ZMN: P. Przybyłowicz (AGH) o ,, Optymalnej aproksymacja stochastycznych równań różniczkowych z szumami Wienera i Poissona''

• 24

  Kwi.

  Jan Otop: Podejście ilościowe w teorii automatów i jego zastosowania

• 10

  Kwi.

  Seminarium ZMN: R. Kraus o ,,Efektywnym renderingu Monte Carlo z łańcuchami Markowa''

• 10

  Kwi.

  Jakub Tarnawski: "A Constant-Factor Approximation Algorithm for the Asymmetric Traveling Salesman Problem" (STOC 2018 Best Paper)

• 27

  Mar.

  Seminarium ZMN: R. Nowak o ,,Przeglądzie architektur sieci neuronowych''

• 13

  Mar.

  Seminarium ZMN: F. Chudy, P. Woźny o ,,Nowych własnościach dualnych wielomianów Bernsteina''

• 13

  Lut.

  [Seminarium ZOK] Pavel Veselý: "On Packet Scheduling with Adversarial Jamming and Speedup"

• 30

  Sty.

  Seminarium ZMN: A. Cegielski (UZ) o ,,Regularnych operatorach quasi-nieoddalających i ich zastosowaniach''

• 30

  Sty.

  [Seminarium ZOK] Meesum Syed Mohammad: "Matrix Rigidity from the Viewpoint of Parameterized Complexity"

• 16

  Sty.

  Seminarium ZMN: Paweł Keller (PW) o ,,Obliczaniu ciągów i szeregów funkcji Bessela pierwszego rodzaju w systemach Maple i Matlab''

• 19

  Gru

  Seminarium ZMN: Mieczysław Wodecki (PWr) o ,,Metodach lokalnych poszukiwań na ograniczonym obszarze przestrzeni rozwiązań''

• 05

  Gru

  Seminarium ZMN: S. Paszkowski o ,,Ułamkach łańcuchowych okresowych – skracanie okresu, szybkość zbieżności''

• 21

  Lis.

  Seminarium ZMN: P. Rajba o ,,Zastosowaniu Domain Driven Design w projektowaniu systemów kontroli dostępu''

• 21

  Lis.

  [Seminarium ZOK] Prudence Wong: "Scheduling jobs to minimize energy, electricity, and other resources"

• 16

  Lis.

  Maciej Piróg: „Diagramy sznurkowe i wolne monady”

• 07

  Lis.

  Seminarium ZMN: A. Bartkowiak o ,,Metodzie NMF w znajdywaniu podgrup w danych medycznych''

• 07

  Lis.

  [Seminarium ZOK] Matthias Englert: "Reordering Buffer Management in Trees and General Metric Spaces"

• 17

  Paź.

  [Seminarium ZOK] Marek Adamczyk: "When the Optimum is also Blind: A New Perspective on Universal Optimization" (joint work with Fabrizio Grandoni, Stefano Leonardi and Michał Włodarczyk)

• 10

  Paź.

  [Seminarium ZOK] Marcin Bieńkowski: "On phase-based algorithms for file migration" (joint work with Jarosław Byrka, and Marcin Mucha)

• 05

  Paź.

  Piotr Polesiuk: Proving Soundness of Extensional Normal-Form Bisimilarities

• 26

  Wrz.

  [Seminarium ZOK] Krzysztof Sornat: Ordered k-median as a generalization of k-median and k-center

• 30

  Cze.

  Seminarium: Julian Togelius o "AI for Games and Games for AI"

• 27

  Cze.

  [Seminarium ZOK] Artur Kraska: A Match in Time Saves Nine: Deterministic Online Matching With Delays

• 27

  Cze.

  [Seminarium ZOK] Bartłomiej Dudek: A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem

• 08

  Cze.

  Seminarium ZZOiAA: Miguel Mosteiro, Ad-hoc Affectance-selective Families for Layer Dissemination

• 01

  Cze.

  Seminarium ZZOiAA: Bartłomiej Dudek i Piotr Nalewaja, A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem

• 30

  Maj

  Seminarium ZMN: B. Kacewicz (AGH) o ,,Adaptacji i jej potencjalnych przewagach w obliczeniach numerycznych''

• 25

  Maj

  Seminarium ZZOiAA: Robert Ferens, Extending word problems for deterministic finite automata

• 16

  Maj

  Seminarium ZMN: S. Paszkowski o ,,Ułamkach łańcuchowych skalowanych''

• 16

  Maj

  [Seminarium ZOK] Krzysztof Sornat: "Proportional Approval Voting, Harmonic k-median, and Negative Association"

• 11

  Maj

  Seminarium ZZOiAA: Michał Gańczorz, Improvements on Re-Pair grammar compressor

• 11

  Maj

  Paweł Wieczorek: A Coq Formalization of Normalization-By-Evaluation for Martin-Löf Type Theory

• 09

  Maj

  Seminarium ZMN: A. Cegielski (UZ) o ,,Metodzie subgradientowej ze sterowaniem poziomu dla zadań minimalizacji wypukłej z ograniczeniami''

• 04

  Maj

  Seminarium ZZOiAA: Michał Gańczorz, Position heaps: A simple and dynamic text indexing data structure

• 25

  Kwi.

  Seminarium ZMN: P. Kiciak (UW) o tym ,,Jak zaprojektować powierzchnię gładką''

• 25

  Kwi.

  [Seminarium ZOK] Marcin Mucha on "Problems equivalent to (min,+)-convolution"

• 20

  Kwi.

  Seminarium ZZOiAA: Artur Jeż, Word equations in nondeterministic linear space (ICALP (B) 2017)

• 13

  Kwi.

  Seminarium ZZOiAA: Paweł Garncarek, Fault-Tolerant Online Packet Scheduling on Parallel Channels

• 11

  Kwi.

  Seminarium ZMN: P. Keller, I. Wróbel (PW) o ,,Szczególnym, w pełni rekurencyjnym algorytmie odwracania macierzy trójprzekątniowych''

• 11

  Kwi.

  [Seminarium ZOK] Joachim Spoerhase on "New Algorithms for Maximum Disjoint Paths Based on Tree-Likeness" (joint work with Krzysztof Fleszar and Matthias Mnich)

• 06

  Kwi.

  Seminarium ZZOiAA: Paweł Gawrychowski, "Near-Optimal Compression for the Planar Graph Metric"

• 30

  Mar.

  Seminarium ZZOiAA: Krzysztof Nowicki, Minimum-weight spanning tree construction in O(log log n) communication rounds

• 30

  Mar.

  Hans de Nivelle: PHOLI-calculus, a Partial Higher-Order Logic with Interfaces

• 28

  Mar.

  Seminarium ZMN: P. Gospodarczyk, P. Woźny o ,,Zmodyfikowanych wielomianach Jacobiego i ich związkach z wielomianami Bernsteina''

• 16

  Mar.

  Maciej Piróg: Syntax and Handlers for Operations with Scopes

• 14

  Mar.

  [Seminarium ZOK] Piotr Skowron, "Multiwinner Elections: Overview and Challenges"

• 07

  Mar.

  [Seminarium ZOK] Paweł Garncarek, Fault-Tolerant Online Packet Scheduling on Parallel Channels

• 02

  Lut.

  Klara Zielińska: Generalized Refocusing and its formalization in Coq

• 26

  Sty.

  Maciej Piróg: Unifying Guarded and Unguarded Iteration

• 19

  Sty.

  Małgorzata Biernacka: On the extraction of one-pass CPS transformations from normalization proofs

• 12

  Sty.

  Bartosz Bednarczyk: Extending Two-Variable Logic on Trees

• 10

  Sty.

  Seminarium ZMN: F. Chudy o ,,Grupowaniu widmowym''

• 20

  Gru

  Seminarium ZMN: P. Rajba o ,,Metodzie samplingu dla problemów optymalizacyjnych z niepewnymi parametrami''

• 06

  Gru

  Seminarium ZMN: P. Nadybski o ,,Problemach optymalizacji wykorzystania zasobów we współczesnych rozproszonych systemach przetwarzania danych''

• 29

  Lis.

  [Seminarium ZOK]. Maciej Pacut: Online Balanced Repartitioning

• 24

  Lis.

  Dariusz Biernacki: Minimal classical logic and control operators

• 22

  Lis.

  Seminarium ZMN: W. Karczewski o ,,Zastosowaniu metody PCA do analizy wyborów parlamentarnych''

• 10

  Lis.

  Marek Materzok: Analyzing and manipulating source code with Rascal

• 20

  Paź.

  Filip Sieczkowski: Step-Indexed Kripke Models over Recursive Worlds

• 06

  Paź.

  Piotr Polesiuk: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

• 29

  Wrz.

  Seminarium ZZOiAA: Paweł Gawrychowski, Labeling schemes for trees

• 19

  Sie.

  [Seminarium ZOK]. Marcin Bieńkowski, Adam Kunysz, Krzysztof Sornat: Our ESA'16 & MFCS'16 papers

• 31

  Maj

  Seminarium ZMN: A. Bartkowiak o ,,Statystycznej analizie sygnałów sejsmicznych rejestrowanych w kopalni miedzi''

• 31

  Maj

  [Seminarium ZOK]. Artur Czumaj: Efficient communication in radio networks

• 20

  Maj

  Seminaria TIBAD: Panagiotis Kouvaros 20.05 i Lidia Tendera 3.06

• 20

  Maj

  Subsumption Algorithms for Three-Valued Geometric Resolution

• 17

  Maj

  Seminarium ZMN: P. Gospodarczyk, S. Lewanowicz, P. Woźny o ,,Obniżaniu stopnia sklejanych krzywych Béziera''

• 06

  Maj

  TIBAD: Quantitative Automata under Probabilistic Semantics, Jan Otop

• 26

  Kwi.

  Seminarium ZMN: Rafał Nowak, Stefan Paszkowski o ,,Przyspieszaniu zbieżności szeregów naprzemiennych''

• 12

  Kwi.

  Seminarium ZMN: Krystyna Ziętak (PWr) o ,,Problemie Procrustesa z macierzami sub-Stiefel''

• 12

  Kwi.

  [Seminarium ZOK]. Pavel Veselý, Martin Böhm: Online Packet Scheduling With and Without Lookahead

• 08

  Kwi.

  TIBAD: Tomasz Gogacz, Entropy bounds for conjunctive queries with functional dependencies

• 22

  Mar.

  Seminarium ZMN: Urszula Libal (PWr) referat o ,,Dyskretnej transformacie falkowej - własnościach i metodach".

• 15

  Mar.

  Seminarium ZMN: Mieczysław Wodecki - referat pt. ,,Stare problemy, nowe metody optymalizacji dyskretnej".

• 11

  Mar.

  Piotr Wieczorek o "Learning and teaching tree pattern queries".

• 22

  Lut.

  Seminarium ZZOiAA: Jakub Tarnawski o "How to get constant-factor approximation for the Asymmetric Traveling Salesman Problem?"

• 29

  Sty.

  Wykład Jana Stolarka (Politechnika Łódzka) pt. "Różnowartościowe rodziny typów w języku Haskell"

• 12

  Sty.

  Seminarium ZMN: Leszek Plaskota (UW) o ,,Optymalnej numerycznie aproksymacji klas kawałkami Hölderowskich"

• 12

  Sty.

  [Seminarium ZOK]. Krzysztof Sornat: Pricing in Social Networks with Inequity Aversion

• 15

  Gru

  Seminarium ZMN: P. Gospodarczyk i P. Woźny o ,,Dualnych wielomianowych bazach sklejanych"

• 02

  Gru

  Seminarium ZZOiAA: Paweł Gawrychowski o "Approximating LZ77 via Small-Space Multiple-Pattern Matching".

• 01

  Gru

  [Seminarium ZOK]. Bartosz Rybicki: An approximation algorithm for Uniform Capacitated k-Median problem with 1+ε capacity violation

• 17

  Lis.

  Seminarium ZMN: R. Nowak i P. Woźny o ,,Przyspieszaniu zbieżności szeregów hipergeometrycznych".

• 17

  Lis.

  [Seminarium ZOK]. Adam Kunysz: Characterisation of Strongly Stable Matchings

• 27

  Paź.

  Seminarium ZMN: S. Lewanowicz, P. Keller (PW), P. Woźny ,,Raz jeszcze o aproksymacji wielomianowej wymiernych trójkątnych płatów Béziera"

• 27

  Paź.

  [Seminarium ZOK]. Artur Kraska: A Randomized Algorithm for Online Scheduling with Interval Conflicts

• 20

  Paź.

  [Seminarium ZOK]. Mateusz Lewandowski: ​Approximation algorithms for the node-weighted prize-collecting Steiner tree problem (NWPCST) on planar graphs

• 13

  Paź.

  [Seminarium ZOK]. Jarek Byrka: Online Algorithms for Multi-Level Aggregation

• 06

  Paź.

  Seminarium ZZOiAA: Paweł Gawrychowski o kilku uogólnieniach klasycznego problemu range minimum query (RMQ).

• 08

  Wrz.

  [Seminarium ZOK]. Sumedha Uniyal: Improved Approximation Algorithms for Unsplittable Flow on a Path with Time Windows

• 02

  Cze.

  [Seminarium ZOK]. Joachim Spoerhase: Facility location with nonuniform hard capacities

• 19

  Maj

  [Seminarium ZOK]. Bartosz Rybicki:An Improved Approximation Algorithm for Knapsack Median Using Sparsification

• 17

  Mar.

  [Seminarium ZOK]. Mateusz Lewandowski: Constant Approximation Algorithm for Node-Weighted Prize-Collecting Steiner Forest on Planar Graphs

• 10

  Mar.

  [Seminarium ZOK]. Jakub Łącki: Dynamic Steiner Tree

• 27

  Sty.

  [Seminarium ZOK]. Łukasz Jeż: Pricing Online Decisions: Beyond Auctions

• 11

  Gru

  [Seminarium ZOK]. Bartosz Rybicki: Bi-Factor Approximation Algorithms for Hard Capacitated k-Median Problems

• 27

  Lis.

  [Seminarium ZOK]. Krzysztof Sornat: PTAS for Minimax Approval Voting

• 10

  Gru

  Seminarium ZMN: R. Szwarc o ,,Normie operatorów splotu na grupie wolnej''