"title of talk"conference name, place, date
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 systemMathflows 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