"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
NavierStokes 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 DifferentialEquation 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.201201.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.201130.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"

IMath 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.201016.09.2010 