June 05, Monday

10:00 – 11:45 Plenary Session

10:00 - 10:15 Opening

Chairperson R. Lazarov

10:15 - 11:00 U. Langer, Multi-Patch Discontinuous Galerkin Space and Space-Time Isogeometric Analysis

11:00 - 11:45 G. George Yin, Numerical Methods for Consensus of Networked Systems and Stochastic Control with Soft Constraints

Lunch Break

14:00 - 16:05 Parallel Sessions

Lecture Hall A

Special Session "Advanced Discretizations and Solvers for Coupled Systems of Partial Differential Equations"

Chairperson J. Adler

14:00 – 14:25 J. Adler, X. Hu, V. Petkov, L. Zikatanov, Efficient Simulation of Asymptotically Disappearing Solutions

14:25 – 14:50 T. Russo, Numerical Modeling of Groundwater Depletion and Restoration Strategies in Coastal California

15:15 – 15:40 F. Gaspar, C. Rodrigo, Multigrid Treatment of Poroelasticity System

15:40 – 16:05 C. Hofreither, S. Takacs, Robust Preconditioners for Isogeometric Analysis Based on Stable Splittings of Spline Spaces

Lecture Hall B

Special Session "Control and Optimization of Dynamical Systems"

Chairperson V. Veliov

14:00 – 14:25 M. Bivas, A Nonautonomous Olech Type Result

14:25 – 14:50 H. Zidani, O. Bokanowski, A. Désilles, Hamilton-Jacobi Approach for Hybrid Systems. Application to Ascent Trajectory Optimisation for a Multi-Stage Launcher

14:50 – 15:15 R. Ferretti, A. Festa, A. Sassi, H. Zidani, Recent Advances in Numerical Dynamic Programming for Hybrid Systems

15:15 – 15:40 G. Fabbri, S. Faggian, G. Freni, Non-Existence of Optimal Programs for Undiscounted Growth Models in Continuous Time

15:40 – 16:05 S. Aseev, Optimization of Dynamics of a Control System in the Presence of Risk Factors

Lecture Hall C

Special Session "Large-Scale Models: Numerical Methods, Parallel Computations and Applications"

Chairperson K. Georgiev

14:00 – 14:25 G. Haase, D. Martin, G. Offner, A Domain Decomposition Multilevel Preconditioner for the RBF Interpolation

14:25 – 14:50 V. Gushchin, Large-Scale Computations in Fluid Dynamics

14:50 – 15:15 A. Avvakumov, P. Vabishchevich, A. Vasilev, V. Strizhov, Solution of the 3D Neutron Diffusion Benchmark by FEM

15:15 – 15:40 T. Marinov, R. Marinova, New Approach to Identifying Solitary Wave Solutions of Modified Kawahara Equation

15:40 - 16:05 A. Penenko, V. Penenko, E. Tsvetova, P. Antokhin, A. Grishina, Sequential Variational Data Assimilation Algorithm for Advection-Diffusion-Reaction Models of Atmospheric Chemistry

Coffee Break

16:25 - 18:30 Parallel Sessions

Lecture Hall A

Special Session "Application of Metaheuristics to Large-Scale Problems"

Chairperson S. Fidanova

16:25 – 16:50 K. Penev, Free Search in Multidimensional Space M+

16:50 – 17:15 M. Gansterer, R. Hartl, Collaborative Vehicle Routing

17:15 – 17:40 T. Levanova, A. Gnusarev, Development of Threshold Algorithms for a Location Problem with Elastic Demand

17:40 – 18:05 A. Eremeev, Y. Kovalenko, Genetic Algorithm with Optimal Recombination for the Asymmetric Travelling Salesman Problem

18:05 – 18:30 A. Alihodzic, Training Feed-Forward Neural Networks Employing Improved Bat Algorithm for Digital Image Compression

Lecture Hall B

Special Session "Control and Optimization of Dynamical Systems"

Chairperson H. Zidani

16:25 – 16:50 R. Cibulka, On Uniform Metric Regularity

16:50 – 17:15 S. Pickenhain, Optimal Control on Unbounded Domains - Asymptotic Controllability and a Regulator Problem

17:15 – 17:40 A. Davydov, Optimization of Stationary Solutions in Populations Dynamic

17:40 – 18:05 R. Baier, T. Le, Computation of the Minimum Time Function for Linear Systems via Reachable Sets

20:00 RECEPTION

June 06, Tuesday

09:00 - 10:15 Parallel Sessions

Lecture Hall A

Special Session "Advances in Heterogeneous Numerical Methods for Multi Physics Problems"

Chairperson P. Kuberry

09:00 – 09:25 M. Perego, Towards a Scalable Multifidelity Simulation Approach for Electrokinetic Problems at the Mesoscale

09:25 – 09:50 A. Shapeev, Analysis of Coupling of Continuum Statics with Atomistic Dynamics at Nonzero Temperature

09:50 – 10:15 P. Bochev, An Explicit Partitioned Elastodynamics Method based on Lagrange Multipliers

Lecture Hall B

Special Session "Large-Scale Numerical Computations for Sustainable Energy Production and Storage: Applications"

Chairperson P. D'Ambra

09:00 – 09:25 H. Buesing, Efficient Solution Techniques for Multi-Phase Flow in Porous Media

09:25 – 09:50 J. Berndt, Improving the Short Range Predictability of Wind Energy - An Efficient Parallel Particle Filtering and Smoothing Setup within an Ultra Large Mesoscale Ensemble

09:50 – 10:15 W. Sharples, Performance evaluation of various accelerator enabled linear algebra libraries and booster architectures: Learning through MiniApps

Lecture Hall C

Special Session "HPC and Big Data: Algorithms and Applications"

Chairperson E. Atanassov

09:00 – 09:25 N. Simonov, Monte Carlo Algorithms for Problems with Partially Reflecting Boundaries

09:25 – 09:50 L. Hervert-Escobar, V. Alexandrov, Territorial Design Optimization for Business Sales Plan

09:50 – 10:15 O. A. Esquivel-Flores, V. Alexandrov, A. Karaivanova, T. Gurov, On Monte Carlo and quasi-Monte Carlo Methods for Matrix Computations

Coffee Break

10:35 - 12:15 Parallel Sessions

Lecture Hall A

Special Session "Control and Optimization of Dynamical Systems"

Chairperson R. Ferretti

10:35 – 11:00 P. Wolenski, Control with Piecewise Constant Dynamics

11:00 – 11:25 T. Filippova, Estimation of Star-Shaped Reachable Sets of Nonlinear Control Systems

11:25 – 11:50 M. de Pinho, Optimal Control Techniques for a SIR Model with Vaccination and Treatment with Constraints

11:50 – 12:15 S. Bernard, T. Cesar, A. Pietrus, Spreading Rumors and External Actions

Lecture Hall B

Special Session "Large-Scale Numerical Computations for Sustainable Energy Production and Storage: Algorithms"

Chairperson D. di Serafino

10:35 – 11:00 U. Ruede, Finite Element Multigrid at Scale for Energy Applications

11:00 – 11:25 D. Ruiz, Distributed Solvers: Direct and Iterative Methods for EoCoE

11:25 – 11:50 A. Abdullahi, P. D'Ambra, D. di Serafino, S. Filippone, Parallel Aggregation based on Compatible Weighted Matching for AMG

Lecture Hall C

Special Session "Least-Squares Finite Element Methods"

Chairperson F. Bertrand

10:35 – 11:00 M. Gerritsma, A. Palha, Spectral Mimetic Least-Squares Method applied to Vector Elliptic Equations Part I: Div-Curl Systems

11:00 – 11:25 A. Palha, M. Gerritsma, Spectral Mimetic Least-Squares Method applied to Vector Elliptic Equations Part II: Curl-Curl Systems

11:25 – 11:50 R.O. Hjort, B. Gervang, Spectral Mimetic Least-Squares Methods on Curvilinear Grids

11:50 – 12:15 T. Manteuffel, S. Münzenmaier, A Comparison of Finite Element Spaces for H(div) Conforming First-Order System Least Squares

Lunch Break

14:00 - 16:05 Parallel Sessions

Lecture Hall A

Special Session "Large-Scale Models: Numerical Methods, Parallel Computations and Applications"

Chairperson R. Marinova

14:00 – 14:25 Z. Zlatev, I. Dimov, K. Georgiev, Using Advanced Mathematical Tools in Complex Studies Related to Climate Changes and High Pollution Levels

14:25 – 14:50 V. Glukhikh, A. Okhlopkova, P. Sivtsev, Numerical Analysis of Softwood Sawn Timber

14:50 – 15:15 I. Dimov, J. Kandilarov, V. Todorov, L. Vulkov, Time Discretization/ Linearization Approach Based on HOC Difference Schemes for Semilinear Parabolic Systems of Air-Pollution

15:15 – 15:40 J. Genoff, On the Sources of Imperfectness in Large-Scale Simulations of Three Classes of Hamiltonian Systems

15:40 – 16:05 A. Liolios, K. Liolios, A. Moropoulou, K. Georgiev, I. Georgiev, Cultural Heritage RC Structures Environmentally Degradated: Optimal System of Strengthening Ties for Seismic Upgrading

Lecture Hall B

Special Session "Space-Time Methods for Solving Time-Dependent PDEs"

Chairperson U. Langer

14:00 – 14:25 L. Zikatanov, A Higher Order Finite Element Scheme for Space-Time Discretizations

14:25 – 14:50 R. Falgout, Parallel Space-Time Adaptivity with Xbraid

14:50 – 15:15 O. Steinbach, H. Yang, Algebraic Multigrid Methods for an Adaptive Space-Time Finite Element Discretization

15:15 – 15:40 S. Matculevich, U. Langer, S. Repin, A Posteriori Error Estimates for Space-Time Isogeometric Analysis of Parabolic Problems

15:40 – 16:05 M. Neumüller, Space-Time Solvers for Stochastic Partial Differential Equations

Lecture Hall C

Special Session "Application of Metaheuristics to Large-Scale Problems"

Chairperson K. Penev

14:00 – 14:25 S. Fidanova, O. Roeva, Influence of Ant Colony Optimization Parameters on the Algorithm Performance

14:25 – 14:50 D. Simian, F. Bota, Adaptive Multi-Agent System Based on Wasp-Like Behaviour for the Virtual Learning Game Sotirios

14:50 – 15:15 A. Badica , C. Badica, F. Leon, I. Buligiu, Modeling and Optimization of Pickup and Delivery Problem Using Constraint Logic Programming

15:15 – 15:40 T. Pencheva, O. Roeva, M. Angelova, Investigation of GA Performance Based on Different Algorithms for ICrA

15:40 – 16:05 I. Kucukkoc, A non-dominated sorting approach to bi-objective optimisation of mixed-model two-sided assembly lines

Coffee Break

16:25 - 18:55 Parallel Sessions

Lecture Hall A

Special Session "Advanced Numerical Methods for Nonlinear Elliptic Partial Differential Equations"

Chairperson J. Kraus

16:25 – 16:50 S. Repin, J. Valdman, Verifications of Primal Energy Identities for Variational Problems with Obstacles

16:50 – 17:15 J. Kraus, S. Nakov, S. Repin, Functional a Posteriori Error Estimate for the Nonlinear Poisson-Boltzmann Equation

17:15 – 17:40 E. Sobakinskaja, M. Schmidt, F. Müh, T. Renger, Poisson-Boltzmann Equation in Biophysical Applications

17:40 – 18:05 J. Kraus, C. Martin-Pfeiler, D. Praetorius, M. Ruggeri, B. Stiftner, Numerical Integration of the Landau-Lifshitz-Gilbert Equation in Computational Micromagnetics

18:05 – 18:30 A. Manapova, F. Lubyshev, On a Problem of Optimal Control of Convection-Diffusion Processes

Lecture Hall B

Special Session "Space-Time Methods for Solving Time-Dependent PDEs"

Chairperson L. Zikatanov

16:25 – 16:50 O. Axelsson, D. Lukas, Preconditioners for Time-Harmonic Optimal Control Eddy Current Problems

16:50 – 17:15 R. Lazarov, Space-Time Galerkin FEM for Fractional-Order Parabolic Problems

17:15 – 17:40 D. Ziegler, A Parallel and Adaptive Space-Time Method for Acoustic and Elastic Waves

17:40 – 18:05 P. Benedusi, A Multilevel Iterative Approach Based on Discontinuous Galerkin Methods with Space-Time Coarsening

18:05 – 18:30 D. Lukas, M. Merta, J. Zapletal, A. Veit, Parallel Space-Time Boundary Element Method for 3-Dimensional Wave Equation

Lecture Hall C

Special Session "Monte Carlo Methods: Theory, Applications and Distributed Computing"

Chairperson I. Dimov

16:25 – 17:00 A. Asenov, The Role of Transport Monte Carlo Simulations in Advanced CMOS TCAD

17:00 – 17:25 T. Sadi, E. Towie, M. Nedjalkov, A. Asenov, S. Selberherr, Monte Carlo Particles in Quantum Wires Effects of the Confinement

17:25 – 17:50 I. Dimov, R. Georgieva, V. Todorov, Tz. Ostromsky, Advanced Stochastic Algorithms for Sensitivity Analysis of a Large-scale Air Pollution Model

17:50 – 18:15 I. Dimov, R. Georgieva, N. Ikonomov, V. Todorov, A New Monte Carlo Algorithm for Linear Systems Based on "Walk on Equations" Algorithm

18:15 – 18:40 V. Noncheva, V. Valkov, K. Miteva, A Multiple Imputation Method for Categorical Data

18:40 – 18:45 V. Noncheva, M. Dobreva, I. Chenchev, Bayesian Hierarchical Model of Width of Keratinized Gingiva (poster)

June 07, Wednesday

09:00 – 11:15 Plenary Session

Chairperson G. Yin

09:00 - 09:45 J. Pasciak, Numerical Approximation of a Space-Time Fractional Parabolic Equation

09:45 - 10:30 J. Gopalakrishnan, Theoretical and Practical Aspects of DPG methods

10:30 - 11:15 J. Adler, T. Atherton, D. Emerson, P. Farrell, S. MacLachlan, Energy-Minimization, Finite Elements, and Multilevel Methods for Liquid Crystals

Lunch Break

EXCURSION

Lecture Hall A

17:30 – 18:30 Z. Zlatev, Old Bulgarian History: Revisited

June 08, Thursday

09:00 - 10:15 Parallel Sessions

Lecture Hall A

Special Session "Advances in Heterogeneous Numerical Methods for Multi Physics Problems"

Chairperson M. Perego

09:00 – 09:25 P. Kuberry, P. Bochev, K. Peterson, An Optimization-Based, Globally Flux-Conserving Coupling of Problems with Spatially Non-Coincident Interface Discretizations

09:25 – 09:50 B. Uekermann, H.-J. Bungartz, F. Lindner, M. Mehl, K. Scheufele, preCICE – A Library for Coupled Simulations on Massively Parallel Systems

09:50 – 10:15 M. Olshanski, A Hybrid Finite Volume—Finite Element Method for Transport and Diffusion in Fractured Porous Media

Lecture Hall B

Contributed Talks

Chairperson G. Bencheva

09:00 – 09:25 A. Lakså, Expo-Rational B-splines and Subdivision Schemes, a Preliminary Study

09:25 – 09:50 M. Koleva, L. Vulkov, A Unified Numerical Approach for a Large Class of Nonlinear Black-Scholes Models

09:50 – 10:15 M. Lymbery, Auxiliary Space Multigrid Method Based on Additive Schur Complement Approximation for Graph Laplacian Matrices

Coffee Break

10:35 - 12:15 Parallel Sessions

Lecture Hall A

Special Session "Least-Squares Finite Element Methods"

Chairperson P. Bochev

10:35 – 11:00 G. Starke, First-Order System Least Squares for Signorini Contact Problems

11:00 – 11:25 K. Park, M. Gerritsma, M. Fernandino, Adaptive Least-Squares Spectral Element Method for Phase-Field Model

11:25 – 11:50 A. Schwarz, C. Nisters, J. Schröder, Stress-Velocitiy Mixed Least-Squares FEMs for the Time-Dependent Incompressible Navier-Stokes Equations

11:50 – 12:15 P. Brigdmann, C. Carstensen, Rate Optimal Adaptive Least-Squares Finite Element Scheme for the Stokes Equations

Lecture Hall B

Contributed Talks

Chairperson M. Koleva

10:35 – 11:00 V. Vasil'ev, A. Kardashevsky, V. Popov, Conjugate Gradient Method for Identification of a Spacewise Heat Source

11:00 – 11:25 G. Bencheva, Parallel Elliptic Solvers Revisited - Code Modernisation and Scalability on an Intel Xeon Phi Architecture

11:25 – 11:50 F. Zivcovich, M. Caliari, P. Kandolf, Backward Error Analysis for Polynomial Approximation of the Matrix Exponential

11:50 – 12:15 L. Dechevsky, Generalized Expo-Rational B-Splines as an Intrinsic Tool of Iso-Geometric Analysis

Lecture Hall C

Special Session "Advanced Discretizations and Solvers for Coupled Systems of Partial Differential Equations"

Chairperson X. Hu

10:35 – 11:00 P. Vabishchevich, Two Classes of Vector Domain Decomposition Schemes for Time-Dependent Problems with Overlapping Subdomains

11:00 – 11:25 J. Brannick, Algebraic Multigrid: Theory and Practice

11:25 – 11:50 G. Tierra, F. Guillén-González, M. Á. Rodríguez-Bellido, Splitting Schemes for Mixtures of Nematic-Isotropic Flows with Anchoring Effects

11:50 – 12:15 P. Minev, P. Vabishchevich, Splitting Schemes for the Stress Formulation of the Incompressible Navier–Stokes Equations

Lunch Break

14:00 - 16:05 Parallel Sessions

Lecture Hall A

Special Session "Control and Optimization of Dynamical Systems"

Chairperson R. Wolenski

14:00 – 14:25 M. Krastanov, N. Ribarska, On the Basic Problem of the Calculus of Variations

14:25 – 14:50 M. Gusev, On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints

14:50 – 15:15 R. Hartl, P. Kort, A. Seidl, Durable Goods Pricing

15:15 – 15:40 T. Scarinci, V. Veliov, Metric Sub-regularity and High Order Time-discretization of Linear-Quadratic problems with Bang-Bang Controls

15:40 – 16:05 J. Preininger, T. Scarinci, V. Veliov, Newton's Method for solving Semilinear Bang-Bang Optimal Control Problems

Lecture Hall B

Special Session "Large-Scale Models: Numerical Methods, Parallel Computations and Applications"

Chairperson Z. Zlatev

14:00 – 14:25 I. Georgieva, G. Gadzhev, K. Ganev, N. Miloshev, Computer Simulations of Atmospheric Composition in Urban Areas – Some Results for the City of Sofia

14:25 – 14:50 H. Chervenkov, V. Spiridonov, I. Tsonevsky, Precipitation Pattern Estimation with the Standardized Precipitation Index in Projected Future Climate over Bulgaria

14:50 – 15:15 Tz. Ostromsky, I. Dimov, R. Georgieva, V. Alexandrov, Z. Zlatev, Efficient Parallel Sensitivity Analysis Version of an Air Pollution Model and its Implementation on the Largest Supercomputers in Bulgaria and Spain

15:15 – 15:40 N. Dobrinkova, P. Maponi, Landslide Hazard, Environmental Dependencies and Computer Simulations

15:40 – 16:05 S. Harizanov, P. Marinov, Y. Vutov, Volume Preserving 3D Object Extraction from Industrial CT Data

Lecture Hall C

Special Session "HPC and Big Data: Algorithms and Applications"

Chairperson A. Karaivanova

14:00 – 14:25 H. Kostadinov, N. Manev, On Digital Watermarking for Audio Signals

14:25 – 14:50 E. Atanassov, A. Karaivanova, T. Gurov, S. Ivanovska, D. Dimitrov, Efficient Parameter Estimation of Hidden Markov Chain Models Using Xeon Phi Coprocessors

14:50 – 15:15 E. Atanassov, T. Gurov, S. Ivanovska, A. Karaivanova, On the Parallel Implementation of Quasi-Monte Carlo Algorithms

15:15 – 15:40 G. Gadzhev, V. Ivanov, K. Ganev, and H. Chervenkov, TVRegCM Numerical Simulations - Preliminary Results

15:40 – 15:55 I. Georgieva, Evaluation of the Health Impact of the Air Quality in Bulgaria

Coffee Break

16:25 - 18:30 Parallel Sessions

Lecture Hall A

Special Session "Control and Optimization of Dynamical Systems"

Chairperson S. Aseev

16:25 – 16:50 G. Cavagnari, A. Marigonda, B. Piccoli, Superposition Principle for Differential Inclusions and Applications to Multi-Agent Systems

16:50 – 17:15 A. Belyakov, Necessary conditions for infinite horizon optimal control problems revisited

17:15 – 17:40 V. Lykina, S. Pickenhain, Infinite Horizon Optimal Control Problems with Mixed Control-state Isoperimetrical Constraint

17:40 – 18:05 S. Bernard, T. Cesar, A. Pietrus, Stability analysis of a new e-rumor model