Special Session & Minisymposiums


There will be a General Session with speakers from different areas, as well as a number of Mini-Symposiums and Special Sessions. You can submit a paper to the general session or to any of the mini-Symposiums.

Minisymposiums:

  1. High Performance Computing (HPC)
  2. New large-scale problems with growing computational demands continuosly arise in many scientific and engineering applications as, e.g., in bioinformatics, computational chemistry or astrophysics. Effectively solving these problems requires the development of sophisticated numerical methods as well as efficient use of current high-performance computers connection with the network pending of approval

    The purpose of this workshop is to bring together applied mathematicians, computer scientists, and in general researchers with costly applications or a fair knowledge/interest in high performance computing, to present, share and discuss their techniques, tools and ideas in the area of high performance computing applied to complex large-scale computational problems.

    A limited number of contributed talks will be selected for this minisymposium. Full papers should be submitted through the conference web site before May 10, 2013 and follow the instructions for authors for the general conference in their submissions. Best papers presented at the minisymposium will be considered for a special issue of The Journal of Supercomputing.


  3. Mathematically modeling the future Internet and developing future Internet security technology
  4. All aspects of the future Internet are welcome. Future Internet will involve a network with new structures that accept various requirements such as present and future broadband, scalability, security, quality, mobility, management, stability, ubiquity, and economical efficiency as the infrastructure with communication, broadcasting, computing, and sensors are united.

    Interested topics but not limited to: Performance Modeling / Formal evaluation / Modal logic / Model checking / Theorem proving / Definition or design of:

    • Scalability for future internet architectures.
    • Network models.
    • Services for the Future Internet.
    • Cloud Computing scalability, delay, quality, stability and management.
    • Sensor/human/vehicular mobility in wireless/mobile networks.
    • Mobility protocols used in wireless/mobile networks.
    • Location management and handover used in Future Internet and wireless/mobile networks.
    • Bandwidth allocation and resource scheduler used in Future Internet and wireless/mobile networks.
    • Security protocol and access control management used in Future Internet and wireless/mobile networks.
    • Signature and hashing techniques.
    • Green networks.
    • Connectivity and Communication Technology.
    • Middleware for Smart Spaces and PAN.
    • Multimedia Communication and Streaming.

  5. P.D.E.'S in Life and Material Sciences
  6. The session will cover general phenomena described by Partial Differential Equations, involving Fickian and non Fickian diffusion, considered from analytical, numerical and computational points of view. Special emphasis will be placed in the interplay between diffusion and the mechanical properties of materials, including biomaterials and living tissues.

    Topics in this minisymposium will address problems from Life Sciences and Material Sciences. They include, but are not limited to:

    • Modelling and Simulation of Physiological Systems
    • Computational Mechanics, Viscoelasticity
    • Diffusion in polymers
    • Drug delivery

    Organized by

  7. Computational Finance
  8. Financial markets are becoming more and more complex with trading not only of stocks, but also of numerous types of financial derivatives. Options and Derivative securities account for more than half the modern market and the basic tools for risk hedging in any portfolio management. The development of mathematical models to understand the relationship among complicated financial instruments has enabled the proliferation of these instruments which enhance the efficiency of worldwide capital markets. With the rapid increase in sophisticated quantitative models employed in financial firms, it then follows that development of advanced computational techniques for the accurate evaluation of complex financial models have considerable financial worth in addition to constituting cutting- edge research.

    The main focus of the mini-symposium is on the computational challenges facing the modern developments and to highlight recent advances on modeling and computation in quantitative finance. The mini-symposium will contain talks presenting current state of the art of research in topics including, but not limited to, computation of derivative securities in high dimensions, stochastic volatility, transaction costs, regime switching, credit risks, jumps, and exotic options using PDE and Monte Carlo approaches which provide powerful tools and consistent frameworks for pricing and hedging complex derivatives.


  9. New Educational Methodologies Supported by New Technologies
  10. This mini-symposium aims to offer a forum for discussion the interaction between educational methodologies and new technologies. Undoubtedly the use of new technologies has increased enormously the number of possibilities and teaching resources that professionals have at their disposal. Tools such as the digital briefcase, educational webs or the universally used social networks that only a few years ago were unthinkable, are nowadays usual and widely extended in education. However the use of these resources has also produced a great increasing in development of new tools and strategies giving rise to interesting technical developments and tools that enhance teaching and learning taks.

    Topics in this mini symposium include, but are not limited to:

    • Development of new tools for education.
    • E-learning.
    • Social networks and education.
    • PLE - Personal Learning Enviroment.
    • Cooperative and Collaborative Learning.
    • PBL - Problem Based Learning.

  11. Mathematical Models and Information-Intelligent Systems on Transport.
  12. Currently, the research in the field of flows modeling of particles with motivated behavior on complex network is actively developing. The activity in this field is caused on the one hand by the the importance of such research for the applied areas connected with human safety (traffic flows, pedestrian flows, ecology, etc.), on the other hand, with new technical facilities of obtaining actual data due to rapid development of hardware and algorithms in information technologies . As the Ninth International Conference on Traffic and Granular Flow 2011 held in Moscow showed, there is a need for collaboration of mathematicians and physicists in this area for purpose of solving of fundamental problems on modeling of these complex socio-technical systems. There is currently very required the development of exact mathematical formulation of problems for modeling of particles dynamics with motivated behaviour and information on networks and also in the strict analytical results peculiar to exact natural sciences. Novel means of intelligent monitoring, more than 80 years history of development of traffic flow theory and the scientific potential of world scientific community, multiplied by the increasing urgency of a subject “a man and a nature”, allow to count on fruitfulness of collective interaction.

    The mini-symposium is organized by:

    • Acad. of RAS, Valerii V. Kozlov, Steklov Mathematical Institute of RAS, kozlov@pran.ru
    • Prof. Alexander P. Buslaev, Moscow State Automobile and Road Technical University, Russia, apal2006@yandex.ru

  13. Computational Methods for Linear and Nonlinear Optimization.
  14. Optimization is an important tool in decision making and in the analysis of physical systems.

    Linear and Nonlinear Optimization Session emphasizes modeling, theory, study of computational algorithms and applications for linear and nonlinear optimization.

    This symposium aims to illustrate some recent optimization techniques, by presenting efficient methods to solve different type of optimization problems. Practical applications in engineering, economics, finance, biology and other sciences are welcome.

    The mini-symposium is organized by:


  15. Numerical Methods for Solving Nonlinear Problems
  16. Different problems in science and engineering involve the solution of nonlinear equations (the study of dynamical models of chemical reactors, radioactive transfer, preliminary orbit determination, discretization of integral or partial differential equations, etc). Iterative methods play an important role in order to obtain approximated solutions of these kinds of problems.

    During the last years, numerous papers devoted to the mentioned iterative methods have appeared in several journals. The existence of an extensive literature on these iterative methods reveals that this topic is a dynamic branch of the numerical studies with interesting and promising applications.

    The aim of this session is to share new trends in the field of iterative methods fornonlinear problems.

    Specific topics of interest include (but are not limited to):

    • Multi-point iterative methods (with or without memory)
    • Steffensen-type methods
    • High-order methods
    • Iterative methods for singular problems
    • Iterative methods for Banach spaces
    • Dynamical studies of iterative methods
    • Optimization problems
    • Nonlinear wave problems
    • Digital image processing
    • Electromagnetic problems involving discretization of boundary problems, integral equations, initial value problems...

    This mini-symposium is organized by:

    • Prof. J.R. Torregrosa, Instituto de Matemáticas Multidisciplinar, Universidad Politécnica de Valencia, Spain: jrtorre@mat.upv.es
    • Dr A. Cordero, Instituto de Matemáticas Multidisciplinar, Universidad Politécnica de Valencia, Spain: acordero@mat.upv.es

  17. Bio-mathematics

  18. This symposium has both theoretical and practical applications and will cover reserach topics in:

    • population dynamics
    • eco-epidemiology
    • epidemiology of infectious diseases
    • molecular and antifenic evolution

    This mini-symposium is organized by:


  19. Quasi-Solvable Systems in Quantum Chemistry and Physics
  20. The inventory of physical systems with explicitly solvable time-independent Schrödinger equation is quite limited. However, in many cases exact wavefunctions of both the ground and excited states can be obtained at certain values of parameters that enter particular expressions for the potential energy. Serving as benchmarks for approximate electronic structure methods, such systems play an important role in quantum chemistry. In solid-state and plasma physics they are often employed in realistic descriptions of experimentally observed phenomena.

    In this session, particular emphasis will be put on species involving Coulombically interacting particles either trapped by external potentials or confined to hypersurfaces. Techniques of computing the exact wavefunctions will be presented and the properties of these wavefunctions will be discussed.

    Organizer


  21. Mathematical Models for Computer Science

  22. Fundamental mathematical tools need to be developed in order to model interesting problems arisen in Computer Science. The purpose of this Special Session is to provide an international forum for presentation of recent results and advances in these important tools.
    The not exhaustive list of topics includes:
    - General operators useful in Computer Science
    - Aggregation functions
    - Aggregations for extensions of fuzzy sets
    - Fuzzy sets and fuzzy logic
    - Logic programming
    - Rough sets
    - Fuzzy rough sets
    - Interval-valued fuzzy sets
    - Formal concept analysis
    - Fuzzy measures and integrals

    Jesús Medina,University of Cádiz, Spain (jesus.medina@uca.es)
    Manuel Ojeda-Aciego, University of Málaga, Spain(aciego@ctima.uma.es)


  23. From clusters to the solid State

  24. Clusters often display structural and electronic properties that are very different from those of the bulk. Their properties can vary greatly in going from the smallest clusters of a few atoms to large sizes at the nanoscale. Obtaining a consistent description of the transition from small clusters to the liquid or solid state is a major challenge in computational chemistry and physics and will be addressed in this mini-symposium.

    Organizers

    Prof. Ian Hamilton, Wilfrid Laurier University, Canada. - ihamilton@wlu.ca

    Peter Schwerdtfeger - University in Auckland, New Zealand - p.a.schwerdtfeger@massey.ac.nz

    Ottorino Ori - Actinium Chemical Research, Rome (Italy) - ottorino.ori@gmail.com

    Istvan Laszlo - Budapest University of Technology and Economics (Hungary)


  25. Hypercomplex methods in mathematics and applications

  26. Roughly spoken, hypercomplex methods are function theretic methods in higher dimesions. In these functions therories complex numbers are replaced by elements of some (hypercomplex) algebras. The mathematical use of quaternions and other hypercomplex numbres ranges from higher dimensional analysis and geometry up to corresponding numerical and computational methods.

    Contributions on applications of hypercomplex algebras (quaternions, bi-complex number, Clifford algebras, etc.) to bounday value problems in mathematical physics, fluid mechanics and elasticity theory are welcome. Furthermore, general Appell sequences, Fouries series expansions, signal processing, geometric algebras and their applications, etc. would also be suitable topics.

    Organizers

    Klaus Gürlebe (Weimar, Germany)

    Helmuth Malonek (Aveiro, Portugal)

    Wolfgang Sproessing (Freiberg, Germany)


  27. Fixed Point Theory in various abstract spaces and related applications
  28. Due to its possible applications, Fixed Point Theory in metric spaces has a key role in Nonlinear Analysis. In the last fifty years, discussing the existence and uniqueness of fixed points of single and multivalued operators in different kind of spaces (such as quasimetric spaces, pseudo-quasi-metric spaces, partial metric spaces, b-metric spaces and fuzzy metric spaces, among others) has attracted the attention of several researchers in the field of Nonlinear Analysis. The enormous potential of its applications to almost all quantitative sciences (such as Mathematics, Engineering, Chemistry, Biology, Economics, Computer Science, and other sciences) justify the great interest in this area.

    The purpose of this workshop is to bring together Mathematicians, and also all researchers which might be interested in this topic, a forum to present, to share and to discuss their main advances in this area (ideas, techniques, possible results, proofs, etc.)

    Topics in this mini symposium include, but are not limited to:

    • Fixed Point theory in various abstract spaces
    • Existence and uniqueness of coupled/tripled/quadrupled fixed point
    • Coincidence point theory
    • Existence and uniqueness of common fixed points
    • Well-posedness of fixed point results
    • Advances on multivalued fixed point theorems
    • Fixed point methods for the equilibrium problems and applications
    • Iterative methods for the fixed points of the nonexpansive-type mappings
    • Picard operators on various abstract spaces
    • Applications to different areas

    This special sessions is organized by:


  29. Computational methods in direct and inverse (systems of) PDE’s
  30. This special session covers general phenomena formulated as control problems or inverse problems associated with mathematical models described by partial differential equations (PDE). These can for example range from mechanics and diffusion, to (stochastic) inverse problems. The proper PDE setting, including the understanding of the appropriate boundary conditions to be chosen to develop valid models, and the analysis of the qualitative and quantitative properties of these PDEs, can be discussed. Latest developments from an analytic, a numeric and a computational point of view are of interest. A particular interest goes to the convergence and stability analysis of the proposed schemes. Regarding inverse problems the focus lies on the reconstruction of unknown terms and/or kernels given (boundary) measurements.

    Organized by:

    • Rob De Staelen University of Gent,Belgium.

  31. Industrial Mathematics
  32. This special session will emphasize research in industrial mathematics. The session aims to provide an overview of mathematical and computational research focusing on corporate or government applications and problems arising from different economic sectors. Many research groups have contacts with industry, and participants will benefit from open exchange of problems and solutions.


  33. Numerical simulation on GPUs
  34. Parallel implementacion using hybrid architectures with accelerators, either GPUs or FPGAs, of numerical methods for solving problems within the following topics of interest: industrial mathematics, fluid mechanics, global optimization, finance, geophysical flows, computational chemistry, electromagnetism, magnetohydrodynamics, atomic physics, relativistic flows.


  35. Mathematics in the Information Society
  36. Development of innovative solutions plays nowadays a fundamental role in the Information Society. The use of technology and digital media for the creation, transmission, storage and processing of information involves a myriad of mathematical and engineering problems and challenges. This proposed special session aims at presenting recent advances in practical applications of Cryptology, Coding Theory and Development of Technologies that address challenges related to Communication Systems.

    Potential topics include, but are not limited to:

    • Algorithmic Mathematics, Computing and Cryptography
    • High Performance Computing in Cryptography and Coding
    • Application of Fuzzy Sets and Systems in Cryptography and Coding
    • Design and implementation of new secure systems for cooperative communications
    • Cryptanalytic attacks
    • Forensic methodologies
    • Mobile devices and technologies

    Authors of the contributions presented in this special session are also encouraged to consider including a substantial amount of new material not published in the original conference proceedings, and submitting the full-length papers for their possible publication either in any of the special issues of the conference or in the open special issue: http://www.hindawi.com/journals/misy/si/764691/cfp/

    Organizers:

    • Pino Caballero Gil, Universidad de La Laguna, España.
    • Francisco Javier Lobillo Borrero, Universidad de Granada, España
    • Juan Antonio López Ramos, Universidad de Almería, España
    • Edgar Martínez Moro, Universidad de Valladolid, España

  37. Computational methods for fluid flow
  38. Mathematicians and physicists believe that explanation and prediction of fluid flows can be made through an understanding of solutions to the Navier-Stokes equations. The analytical solutions of the Navier-Stokes equations are currently unavailable. Instead, we use the numerical solutions of Navier-Stokes equations to analyse and make predictions for fluid flow. Therefore, the research on computational methods for evaluating numerical solutions of mathematical models for fluid flow is very important. This session is to bring together scientists and engineers in the field of computational methods for fluid flow and provide a forum for discussion of current problems and recent advances in the area.

    Specific topics of interest include (but are not limited to):

    • Mesh generation
    • Mesh refinement techniques
    • Computational methods and their performance
    • Practical applications of computational methods for fluid flow
    • Visualization techniques in fluid flow simulations
    • High performance computing techniques for fluid flow simulation

    This session is organized by:

    • Dr Zhenquan Li, School of Computing and Mathematics, Charles Sturt University, Albury-Wodonga campus, NSW 2640, Australia (jali@csu.edu.au)
    • Prof. Tiejin Wang, China Academy of Aerospace Aerodynamics, Beijing, China (tiej701@sina.com)

  39. Uncertainty and Imprecision Modelling in Decision Making
  40. This session is devoted to present new results about the concepts and procedures commonly used in decision-making processes where we have an imprecise knowledge of the data.

    More precisely, the not exhaustive list of topics includes:

    • Preference representation and modeling:

      • Preference relations
      • Preference learning
      • Linear and non-linear utility representations
      • Logical representations
      • Linguistic preference modeling
    • Properties and semantics of preferences:

      • Preference composition, merging, and aggregation
      • Incomplete or inconsistent preferences
      • Reasoning about preferences
      • Preference and choice
    • Decision making:

      • Multiple criteria/attributes
      • Qualitative decision theory
      • Rationality
      • Risk analysis
      • Recommender systems
      • Web evaluation
      • Image processing
    • Imprecise probabilities:

      • Preference modeling with imprecise probabilities.
      • Axiomatizations of preference modeling with incomplete beliefs.
      • Sets of desirable gambles.
      • Imprecise choice functions.

    This session is organized by:

    • Pedro Alonso
    • Humberto Bustince
    • Irene Díaz
    • Susana Montes

Regular Sessions:

  • Interpolation & Approximation
  • Mathematical Modeling and Computational PDE
  • Mathematics Models for Computer Science
  • Optimization
  • Analytical and Numerical solution of Differential Equations
  • Computational Algebra
  • Computational aspects of Dynamical Systems
  • Computational Chemistry
  • Computational Physics
  • Computational Engeneering.
  • Computational Statistics.
  • Numerical Linear Algebra.


Besides these sessions there will be a general session. If you are unsure of where to include your article please put it in the general session.