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