"title of talk" | conference name, place, date |
| CIFAR Deep Learning + Reinforcement Learning Summer School 2021, virtual |
State Planing Policy Reinforcement Learning | IMPAN Reinforcement Learning seminar, virtual |
State Planing Policy Reinforcement Learning | CIFAR Deep Learning + Reinforcement Learning Summer School 2020, virtual |
Mapper Based Classifier | IEEE ICMLA 2019, Boca Raton, FL USA |
Towards Reliable Reinforcement Learning | MLinPL 2019, Warsaw, Nov 2019 |
Contractibility of a persistence map preimage | DEA 2019, Krakow, Poland, Sep 2019 |
Contractibility of Persistence Map Preimage | 100 lat PTM, Krakow, Poland, Sep 2019 |
Contractibility of Persistence Map Preimage | ATDD, MSU Bozeman, July 2018 |
Rigorous Numerics and Computer Assisted Proofs for Dynamical Systems |
Applications of Formal Methods to Control Theory and Dynamical Systems, Carnegie Mellon University,
Pittsburgh, June 2018 |
"Recent progress on Lagrangian Reachability" | NSF CyberCardia Georgia Tech, Atlanta, April 2018 |
"Rigorous Integration Forward in Time of PDEs Using Chebyshev Basis"
| MS13 -- Computer Assisted Proofs in Dynamical Systems, Snowbird, SIAM DS2017 |
"Proof of the heteroclinic connections in the 1D diblock copolymers model +
some remarks on rigorous integration of PDEs."
| Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics 17w5141, May
7 to May 12, 2017 |
"Lagrangian Reachability" |
CyberCardia annual meeting, UPenn, Philadelphia, Apr 2017 |
"Computer proof of heteroclinic connection in 1D diblock copolymers PDE model" |
Applied and Computational Math Seminar, George Mason University, Dec 2016 |
"Computer proof of heteroclinic connection in 1D diblock copolymers PDE model" |
AIMS, Orlando, Jul 2016 |
"Integration of PDEs.\\Computer proof of a heteroclinic connection" |
Computational Proofs for Dynamics in PDEs, Lorenz Center Leiden, Jun 2016 |
"Rigorous integration of ODEs and PDEs" |
CyberCardia meeting, Stony Brook, Apr 2016 |
"Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations" |
ICMC Summer Meeting on Differential Equations, Sao Paulo, Brazil, Jan 2016 |
A construction of two solutions to a model related with 2D stationary
Navier-Stokes system | Mathflows 2015, Porquerolles, Sep 2015 |
Poster "A construction of 2 solutions to an elliptic system" | Equadiff 2015, Lyon, Jul 2015 |
"A construction of two different solutions to an elliptic system" | DyToComp 2015, Bedlewo, Poland, Jun 2015 |
"A construction of two different solutions to an elliptic system" |
CMS 2015 summer meeting - Rigorous Computation for Differential-Equation Problems workshop,
Charlottetown, Jun 2015 |
"Existence of globally attracting solutions..." |
Foundations of Computational Mathematics conference, Montevideo, December 2014 |
"Some results on global attractors of certain parabolic PDEs and a 2D convection-
diffusion PDE" | Rigorously Verified Computing for Infinite Dimensional
Nonlinear Dynamics (14w5098), Banff, September 2014 |
"Efekt szybkich oscylacji w dysypatywnych RRC" | IX Forum RRC, Bedlewo, September 2014 |
"Crash course in CAP for PDEs" | 2014 Follow the Flow, Bialka Tatrzanska, Poland, 27.02.2014 |
"Efficient Algorithms for Rigorous Integration of Dpdes" | 2013 SIAM Conference on Dynamical Systems,
Snowbird, USA, 22.05.2013 |
"Problems related to rigorous numerical integration of PDEs"
|
CAPA Meeting, Uppsala, Sweden, 23.04.2013 |
"Efficient Algorithms for Rigorous Integration of PDEs. Fast Fourier Transforms"
|
DYNAMICS, TOPOLOGY AND COMPUTATIONS, Będlewo, Poland, 24.06.2012 – 30.06.2012 |
"Algorithms for Computer Assisted Proofs in PDEs"
|
Tenth Workshop on Interactions between Dynamical systems and
Partial Differential Equations (JISD 2012), Barcelona, Spain, 28.05.2012-01.06.2012 |
"Computer Assisted Proofs in Dissipative Partial Differential Equations"
|
PhD Students and Young
Scientists Conference VI, Warsaw, Poland, 20.09.2010 |
"Rigorous Integration of Burgers Equation"
|
Workshop on computer assisted proofs for partial differential equations,
CAPA Group, Uppsala University, Uppsala, Sweden, 26.04.2011-30.04.2011 |
"Computer Assisted Proofs for Viscous Burgers Equation"
|
Mathematical Methods in Natural Sciences seminar,
Warsaw University, Warsaw, Poland, 30.03.2011 |
"An approach to the rigorous integration of Burgers equation"
|
I-Math DocCourse: Computational Methods in
Dynamical Systems and Applications, Barcelona University, Barcelona, Spain, 14.10.2010 |
"Computer Assisted Proofs in Dissipative Partial Differential Equations"
|
PhD Students and Young Scientists
Conference V, University of Warsaw, Warsaw, Poland, 13.09.2010-16.09.2010 |