National and Internation Events Organized
-
7th International Conference "Large-Scale Scientific Computations",
June 4-8, 2009, Sozopol, Bulgaria
http://parallel.bas.bg/Conferences/SciCom09.html
Special Session on Control and Uncertain Systems
Session organizers: M. Krastanov, V. Veliov
Talks:
M. Krastanov, V. Veliov: High-order approximations to nonholonomic control systems
R. Anguelov, S. Markov, F. Minani: Hausdorff Continuous Viscosity Solutions of Hamilton-Jacobi Equations
-
MMSC'09: International Workshop on Mathematical Modeling and Scientific
Computations, 23-26 September 2009, Velingrad, Bulgaria
http://www.math.bas.bg/~bio/MMSC09/
-
Seminar on Biomathematics, 26-27 May, 2010, IMI-BAS, Sofia, Bulgaria
Talks:
Neli Dimitrova, Mikhail Krastanov: Nonlinear Adaptive Stabilizing
Control of a Bioreactor Model with Unknown Kinetics
Milen Borisov, Neli Dimitrova: Maple Implementation of the Resultant Method for Computing Hopf Bifurcations
Antony Popov: Fuzzy Mathematical Morphology Approach for Biometric Data Processing
Peter Petrov, M. Krachunov, J. Leunissen, Antony Popov: AnatOntoMerger - a system for computer-aided merging of anatomical ontologies
-
International Conference "Applications of Computer Algebra" (ACA2010), June 24-26, 2010, University of Vlora, Albania
http://aca2010.info/index.php/aca2010/aca2010
Special session "Interaction Between Computer Algebra and Interval Computations"
Session organizers: W. Kraemer, M. Neher, Evgenija Popova:
Talks:
M. Borisov: Symbolic and verification software tools for bifurcation analysis of bioprocess models
N. Dimitrova: Investigation of a model of plasmid-bearing, plasmid-free competition in a chemostat under uncertainties
E. Popova, W. Kraemer, M. Russev: Embedding C-XSC Automatic Differentiation in Mathematica
-
8th International Conference "Large-Scale Scientific Computations",
June 6-10, 2011, Sozopol, Bulgaria
http://parallel.bas.bg/Conferences/SciCom09.html
Special Session on Control and Uncertain Systems
Session organizers: M. Krastanov, V. Veliov
Talks:
N. Dimitrova, M. I. Krastanov, On the Asymptotic Stabilization of
an Uncertain Bioprocess Model
-
BIOMATH'2011: International Conference
on Mathematical Methods and Models in Biosciences, June 15-18,
2011, Sofia, Bulgaria
http://www.biomath.bg/
Organizers: S. Markov, R. Anguelov
Talks:
M. Borisov, N. Dimitrova:. Stability Analysis of a Bioreactor
Model for Biodegradation of Xenobiotics
R. Alt, S. Markov: Theoretical Studies of Some Bioreactor
Models
S. Markov: On the Mathematical Modelling of Microbial
Growth
N. Dimitrova, M. I. Krastanov, Model-Based Biological Control of
the Chemostat
N. Yanev, P. Milanov, I. Trenchev: A new Integer Programming Model
for HP Problem
A. T. Popov, S. A. Stoikov: Rough Sets in Biometrics and
Biomedical Informatics
-
BIOMATH School for Young Scientists in the frame of BIOMATH'2011: International Conference
on Mathematical Methods and Models in Biosciences, June 19,
2011, Sofia, Bulgaria
http://www.biomath.bg/
Organizers: S. Markov, A. Popov
Talks:
A. T. Popov: Robot Motion Planning and some of its Applications in
Radiotherapy
P. Petrov, M. Krachounov, E. van Ophuizen, J. Leunissen, I. Popov,
D. Vassilev: System for Computer-Aided Merging of Anatomical
Ontologies
-
Dagstuhl Seminar 11371 ``Uncertainty modeling and analysis with intervals: Foundations, tools, applications'',
September 11-16, 2011, Leibnitz Center for Informatics, Schloss
Dagstuhl, Germany
http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11371
Organizers: I. Elishakoff, V. Kreinovich, W. Luther,
Evgenija Popova
Talks:
N. Dimitrova: Model-Based Asymptotic Stabilization of a Biotechnological Process
E. Popova: Explicit Description of AE Solution Sets to Parametric Linear Systems
-
BIOMATH'2012: International Conference
on Mathematical Methods and Models in Biosciences, June 17-22,
2012, Sofia, Bulgaria
http://www.biomath.bg/
Organizers: S. Markov, R. Anguelov
Talks:
N. Dimitrova, M. Krastanov: Global Stabilizing
of Bioreactor Models
S. Markov, R. Anguelov: On a New Class of Microbial Growth Models
E. Popova: Unbounded Parametric Tolerable Solution Sets
N. Yanev: Lagrangean Approach to HP folding
-
BIOMATH School for Young Scientists in the frame of BIOMATH'2011: International Conference
on Mathematical Methods and Models in Biosciences, June 17,
2012, Sofia, Bulgaria
http://www.biomath.bg/
Organizers: S. Markov, A. Popov
Talks:
R. Anguelov, N. Dimitrova, S. Markov: Mathematical Modeliing of Biotechnological Processes
P. Petrov, M. Krachunov, O. Kulev, M. Nisheva, D. Vassilev: An Intelligent System
for Semantic Mapping and Merging of Anatomical Ontologies
-
ACA'2012: International Conference ``Applications of Computer
Algebra'', June 25-28, 2012, IMI--BAS, Sofia
http://www.math.bas.bg/ACA2012/
Special Session ``Interaction Between Computer Algebra and Interval
Computations''
Session organizers: E. Popova, W. Kraemer
Talks:
M. Borisov: The Maple Package BifTools for
Bifurcation Analysis in Dynamical Systems
E. Popova: Explicit Description of Quasi-Symmetric Solution Set:
Computer-Assisted proof
Participations in other scientific events
-
Second Conference on Application of Mathematics in the Technical and Natural Sciences AMiTaNS'10,
Sozopol, Bulgaria, June 21-26, 2010.
http://2010.eac4amitans.org
Plenary lecture: S. Markov: Biomathematics and Interval Analysis: A Prosperous Marriage
-
Fifth Conference on Finite Difference Methods: Theory and Applications
June 28 - July 2, 2010, Lozenetz, Bulgaria
http://fdm10.uni-ruse.bg/
Talk: M. Krastanov, N. Dimitrova: Nonlinear Adaptive Stabilizing Control of a Bioreactor Model with Unknown Kinetics
-
Mathematics in Industry Conference
11-14 July 2010, Sofia, Bulgaria
* Organized by EMS Meetings Committee, Union of Bulgarian Mathematicians and Institute of Mathematics and Informatics, BAS
* Dedicated to the 20th Anniversary of EMS
http://www.math.bas.bg/MathInIndustry
Talks:
- N. Dimitrova: Modeling the Production of Genetically Altered Organisms in a Chemostat
- M. Krastanov: Adaptive Asymptotic Stabilization of a Bioprocess Model
- S. Markov: On the Algebra of Approximate Numbers
-
14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010)
ENS Lyon, France, September 27-30
http://scan2010.ens-lyon.fr/
Talks:
- R. Alt, J.-L. Lamotte, Svetoslav Markov: Quasilinear structures in stochastic arithmetic and their application
- N. Dimitrova: Extremum Seeking in an Uncertain Chemostat model of Plasmid-bearing, Plasmid-free Competition
- S. Markov, N. Dimitrova, N. Hayes: Inner Interval Addition/Subtraction - Algebraic Properties and Application
- E. Popova: Characterization of Parametric Solution Sets
-
AMiTaNS'2011: Third Conference on Application of Mathematics in the
Technical and Natural Sciences, Albena, Bulgaria,
June 20-25, 2011
http://2011.eac4amitans.org
Talks:
- M. Borisov, N. Dimitrova: Bifurcation analysis in a model of
1,2-dichloroethane biodegradation by Klebsiella oxytoca va 8391
immobilized on granulated activated carbon
- N. Dimitrova: Asymptotic Stabilization of a Chemostat Model of
Plasmid-Bearing, Plasmid-Free Competition
- S. Markov: On the Mathematical Modeling of Microbial
Growth
-
13-th Workshop on Well-posedness of
Optimization Problems and Related Topics, September 12--16, 2011,
Samokov Hotel, Borovets, Bulgaria
http://www.math.bas.bg/wwpop2011/
Talks:
- E. Baronov, M. I. Krastanov, N. K. Ribarska: On a sweeping process
without convexity
- M. I. Krastanov, N. K. Ribarska, Ts, Y, Tsachev: On the Pontryagin
maximum principle for infinite-dimensional control problems
-
International conference on ROBOTICS and MECHATRONICS, Varna,
September 19-21, 2011
Talk:
- A. T. Popov: A View on Robot Surgery
-
BGSIAM'2011: 6th Annual Meeting of the Bulgarian Section of SIAM, December
21-22, 2011, Sofia
http://www.math.bas.bg/IMIdocs/BGSIAM/
Talks:
- N. Dimitrova, M. Krastanov: Asymptotic stabilization of a bioprocess model
involving uncertainties
- M. Krastanov: On the small-time local controllability
- S. Markov: A comparative study of enzyme kinetic and microbial growth
models
- E. D. Popova: Describing the united solution set to linear systems with
symmetric interval matrix
-
CCS'2012: International
Symposium on Chaos and Complex Systems, Antalya, Turkey, April 29
- May 2, 2012
http://www.ccs2012.org/
Talks:
- N. Dimitrova: On the Asymptotic Stabilization
of a Chemostat Model of Plasmid-bearing, Plasmid-free Competition
- S. Markov, R. Anguelov: On a New Class of Microbial Growth Models
-
AMiTaNS'2012: Fourth Conference ``Application of Mathematics in the
Technical and Natural Sciences'', Varna, Bulgaria,
June 10-16, 2012
http://2012.eac4amitans.org
Talks:
- M. Borisov: BifTools: Maple Package for Bifurcation Analysis of Dynamical Systems
-
12th Viennese Workshop ``Optimal Control, Dynamic Games and Nonlinear Dynamics'', May 30 - June 2, 2012, Vienna, Austria
http://orcos.tuwien.ac.at/events/ocdgnd_2012/
Talks:
- M. I. Krastanov, N. K. Ribarska, Ts. Tsachev: Control Variations and Pontryagin Maximum Principle for Infinite-dimensional Control Problems
- M. I. Krastanov, N. K. Ribarska: On Differential Inclusions with Nonconvex Right-hand Side
-
SWIM: Small Workshop on Interval Mathematics, June 2-8, 2012, Oldenburg, Germany
http://hs.informatik.uni-oldenburg.de/swim2012/
Talks:
- E. Popova, Properties and Estimations of Parametric AE Solution Sets
-
NA&A'2012: International Conference on Numerical Methods and
Applications, June 16-22, 2012, Lozenetz, Bulgaria
http://www.uni-ruse.bg/naa12/
Talks:
- M. Krastanov, N. Dimitrova: Model-based Biological
Control of the Chemostat
-
ISCPS-2012: XV-th International Summer Conference on Probability and Statistics, Pomorie, Bulgaria, 23-30 June 2012
http://stochastics.fmi.uni-sofia.bg/st/
Talks:
- R. Alt, R. Anguelov, J.-L. Lamotte, Svetoslav Markov: Quasilinear structures in stochastic arithmetic
-
ECMI'2012: International Conference for Mathematics in
Industry, July 22-27, 2012, Lund, Sweden
http://www.maths.lth.se/ecmi/ecmi2012_org/
Talk:
- N. Dimitrova: Global Analysis of a Nonlinear Model for Biodegradation
of Toxic Compounds in a Wastewater Treatment Process