Special Session & Minisymposiums

General Session
 High Performance Computing (HPC)
 Mathematically modeling the future Internet and developing future Internet security technology
 P.D.E.'S in Life and Material Sciences
 Computational Finance
 New Educational Methodologies Supported by New Technologies
 Mathematical Models and InformationIntelligent Systems on Transport
 Computational Methods for Linear and Nonlinear Optimization
 Numerical Methods for Solving Nonlinear Problems
 Biomathematics
 QuasiSolvable Systems in Quantum Chemistry and Physics
 Mathematical Models for Computer Science
 From clusters to the solid state
 Hypercomplex methods in mathematical and applications
 Fixed Point Theory in various abstract spaces and related applications
 Computational methods in direct and inverse (systems of) PDE’s
 Industrial Mathematics
 Numerical simulation on GPUs
 Mathematics in the Information Society
 Computational methods for fluid flow
 Uncertainty and Imprecision Modelling in Decision Making
Minisymposiums:
Regular Session
There will be a General Session with speakers from different areas, as well as a number of MiniSymposiums and Special Sessions. You can submit a paper to the general session or to any of the miniSymposiums.
Minisymposiums:
 High Performance Computing (HPC)
 Mathematically modeling the future Internet and developing future Internet security technology
 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.
 P.D.E.'S in Life and Material Sciences
 Modelling and Simulation of Physiological Systems
 Computational Mechanics, Viscoelasticity
 Diffusion in polymers
 Drug delivery
 Paula Oliveira (poliveir@mat.uc.pt), University of Coimbra
 J.A.Ferreira (ferreira@mat.uc.pt), University of of Coimbra
 Computational Finance
 New Educational Methodologies Supported by New Technologies
 Development of new tools for education.
 Elearning.
 Social networks and education.
 PLE  Personal Learning Enviroment.
 Cooperative and Collaborative Learning.
 PBL  Problem Based Learning.
 Mathematical Models and InformationIntelligent Systems on Transport.
 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
 Computational Methods for Linear and Nonlinear Optimization.
 Organized by Maria Teresa Torres Monteiro, Universidade do Minho (Portugal)
 Numerical Methods for Solving Nonlinear Problems
 Multipoint iterative methods (with or without memory)
 Steffensentype methods
 Highorder 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...
 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
Biomathematics
 population dynamics
 ecoepidemiology
 epidemiology of infectious diseases
 molecular and antifenic evolution
 Ezio Venturino, University of Torino italy , ezio.venturino@unito.it
 Nico Stollenwerk, University Lisbon, Portugal, nico@ptmat.fc.ul.pt
 Maíra Aguiar, University Lisbon, Portugal, maira@ptmat.fc.ul.pt
 Roberto Cavoretto  University of Torino (Italy), roberto.cavoretto@unito.it
 QuasiSolvable Systems in Quantum Chemistry and Physics
 Prof. Jerzy Cioslowski: jerzy@wmf.univ.szczecin.pl, University of Szczecin Poland
Mathematical Models for Computer Science
From clusters to the solid State
Hypercomplex methods in mathematics and applications
 Fixed Point Theory in various abstract spaces and related applications
 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
 Wellposedness 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 nonexpansivetype mappings
 Picard operators on various abstract spaces
 Applications to different areas
 Antonio Francisco Roldán López de Hierro , University of Jaén, Spain. afroldan@ujaen.es
 Juan Martínez Moreno , University of Jaén, Spain. jmmoreno@ujaen.es
 Erdal KARAPINAR, ATILIM University Turkey. ekarapinar(at)atilim.edu.tr
 Computational methods in direct and inverse (systems of) PDE’s
 Rob De Staelen University of Gent,Belgium.
 Industrial Mathematics
 Numerical simulation on GPUs
 José Antonio García Rodríguez, University of A Coruña, jose.garcia.rodriguez@udc.es
 José Manuel González Vida, University of Malaga, jgv@uma.es
 Mathematics in the Information Society
 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
 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
 Computational methods for fluid flow
 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
 Dr Zhenquan Li, School of Computing and Mathematics, Charles Sturt University, AlburyWodonga campus, NSW 2640, Australia (jali@csu.edu.au)
 Prof. Tiejin Wang, China Academy of Aerospace Aerodynamics, Beijing, China (tiej701@sina.com)
 Uncertainty and Imprecision Modelling in Decision Making
Preference representation and modeling:
 Preference relations
 Preference learning
 Linear and nonlinear 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.
 Pedro Alonso
 Humberto Bustince
 Irene Díaz
 Susana Montes
New largescale 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 highperformance 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 largescale 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.
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:
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:
Organized by
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 minisymposium is on the computational challenges facing the modern developments and to highlight recent advances on modeling and computation in quantitative finance. The minisymposium 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.
This minisymposium 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:
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 sociotechnical 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 minisymposium is organized by:
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 minisymposium is organized by:
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):
This minisymposium is organized by:
This symposium has both theoretical and practical applications and will cover reserach topics in:
This minisymposium is organized by:
The inventory of physical systems with explicitly solvable timeindependent 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 solidstate 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
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
 Intervalvalued fuzzy sets
 Formal concept analysis
 Fuzzy measures and integrals
Jesús Medina,University of Cádiz, Spain (jesus.medina@uca.es)
Manuel OjedaAciego, University of Málaga, Spain(aciego@ctima.uma.es)
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 minisymposium.
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)
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, bicomplex 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)
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, pseudoquasimetric spaces, partial metric spaces, bmetric 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:
This special sessions is organized by:
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:
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.
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.
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:
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 fulllength 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:Mathematicians and physicists believe that explanation and prediction of fluid flows can be made through an understanding of solutions to the NavierStokes equations. The analytical solutions of the NavierStokes equations are currently unavailable. Instead, we use the numerical solutions of NavierStokes 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):
This session is organized by:
This session is devoted to present new results about the concepts and procedures commonly used in decisionmaking processes where we have an imprecise knowledge of the data.
More precisely, the not exhaustive list of topics includes:
This session is organized by:
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.