First International Workshop on Mathematics and Computer Science (IWMCS2012)

Call for Paper
First International Workshop on Mathematics and Computer Science (IWMCS2012)
December 05-06, 2012, Tiaret, Algeria


The University Ibn Khaldoun, Tiaret, Computer Science and mathematical
departments are organizing an international Workshop in Computer Science
and mathematics from 05 - 06 December 2012. This workshop concerns both
the national and international scientific community and will be
primarily focusing on mathematical formal methods. Formal methods become
mature and can be establish models in different applications for
example, Web technologies, Information Systems, Decision Systems,
Embedded Systems, Control-command Systems and Real-time Systems. It
exists another ways to establish models of systems based also on
mathematical concepts and we can, find various domain of application
pattern recognition, cryptography , biometrics, … . The optimization of
these kinds of numerical models will be also discussed. Finally we
dedicated significant space to mathematics like Partial Differential
Equations, polynomial computing. We welcome novel research surrounding
the above subjects. Topics of interest include,
but not limited to:

A. Theoritical foundations of models
B. Formal methods and industrial practice
C. Automated verification
D. Numerical Models optimisation
E. Partial Differential Equations
F. Polynomial computing
G. Case studies