[Caml-list] Extended Deadline : 13 November 2013 - Call For Papers : Workshop MAROC’2013

[Caml-list] Extended Deadline : 13 November 2013 - Call For Papers : Workshop MAROC’2013

[Mohamed Yassin Chkouri]

[-- Attachment #1: Type: text/plain, Size: 3153 bytes --]

We apologize for multiple reception.
=========================================================================================
*MAROC’2013* : Workshop on Models and Algorithms for Reliable and Open
Computing.



*December 16, 2013 - Tetouan, Morroco*

http://maroc.imag.fr
 *Description :*

To foster academic and industrial research in Morroco in innovative
domains, the National School of Tetouan and University of Grenoble propose
a common workshop for professors, researchers and students on the design of
models and algorithms for embedded and networked systems.

The workshop aims at highlighting recent results as well as presenting
ongoing challenges in the following domains:

-          Formal techniques for the construction of software with
guaranteed safety;

-          Methods based on formal techniques for developing software,

-          Modeling and validating formal requirements,

-          Specializaiton and extension of modeling techniques and
evaluation induced by application domains,

-          Parallel and distributed algorithmic for networks

-          Ad-hoc and wireless networks,

-          Fault-tolerance, attacks and security,

-          Embedded & Real-time systems,

-          Cloud and Grid Computing.
*Invited Speakers :*

-          *Saddek Bensalem (Professor at University Joseph Fourier,
Grenoble)*

-          *Stéphane Devismes (Asc. Professor at University Joseph Fourier,
Grenoble)*

-          *Yliès Falcone (Asc. Professor at University Joseph Fourier,
Grenoble)*

-          *Thierry Jéron (Senior Researcher at Inria, Rennes)*
*Submissions :*

Articles must be of 2 to 4 pages and with double-column with reasonable
margins and line spacing. Articles should be submitted through the
dedicated Easychairs interface:

https://www.easychair.org/account/signin.cgi?conf=maroc2013

Accepted papers must be presented under two forms during the workshop:
during a short presentation (10min) and then during a poster session.
*Important Dates :*

*-          Article submission        : November 13, 2013*

-          Notification to authors     : November 30, 2013

-          Registration deadline      : December 2, 2013

-          Camera-ready version     : December 8, 2013

-          MAROC 2013 Workshop : December 16, 2013
*Program **Committee** :*

-          Nora AKNIN, Faculté des Sciences Tetouan

-          Mohamed Yassin CHKOURI, ENSAT Tetouan

-          Stéphane Devismes, University Joseph Fourier – Grenoble

-          Swan Dubois, University Pierre et Marie Curie - Paris

-          Kamal Eddine EL KADIRI, ENSA Tetouan

-          Yliès Falcone, University Joseph Fourier - Grenoble

-     Mamoun FILALI, CNRS à l'IRIT - Toulouse

-          Rachid Ouald Haj Thami, ENSIAS – Rabat

-          Sophie Pinchinat, University of Rennes

-          Thierry Jéron, Inria Rennes Bretagne Atlantique

-          Abdelaziz SDIGUI DOUKKALI, ENSIAS – Rabat

Best regards,

-- 
Pr. CHKOURI M. Yassin

Ecole Nationale des Sciences Appliquées (ENSA)
Mhannech II, B.P 2121 Tetouan / Maroc

[-- Attachment #2: Type: text/html, Size: 9846 bytes --]