From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3323F7EE25 for ; Fri, 8 Nov 2013 14:11:08 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yassin.chkouri@gmail.com) identity=pra; client-ip=209.85.220.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yassin.chkouri@gmail.com"; x-sender="yassin.chkouri@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yassin.chkouri@gmail.com designates 209.85.220.53 as permitted sender) identity=mailfrom; client-ip=209.85.220.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yassin.chkouri@gmail.com"; x-sender="yassin.chkouri@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f53.google.com) identity=helo; client-ip=209.85.220.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yassin.chkouri@gmail.com"; x-sender="postmaster@mail-pa0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkDAD7ifFLRVdw1lGdsb2JhbABaAgyCNXxTtlGIQoElCBYOAQEBAQcLCwkSKoInBgEBGiMBGx4DEhAiGSIBEQEFASOIAAEDDw2eK4xXgwmELQoZJw1kiQEBBQyPVxWEJgOYD4EvjnAYKYQSPzyBLiQ X-IPAS-Result: AvkDAD7ifFLRVdw1lGdsb2JhbABaAgyCNXxTtlGIQoElCBYOAQEBAQcLCwkSKoInBgEBGiMBGx4DEhAiGSIBEQEFASOIAAEDDw2eK4xXgwmELQoZJw1kiQEBBQyPVxWEJgOYD4EvjnAYKYQSPzyBLiQ X-IronPort-AV: E=Sophos;i="4.93,660,1378850400"; d="scan'208";a="34447759" Received: from mail-pa0-f53.google.com ([209.85.220.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Nov 2013 14:11:04 +0100 Received: by mail-pa0-f53.google.com with SMTP id kx10so2198892pab.12 for ; Fri, 08 Nov 2013 05:11:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=uNacf7AuyOBu/6DzLfgTxTdsM9x98NqWRL4WE2yaWbQ=; b=A14op5m+IqaXaLt5rSl5qBr/501xJw4ElCUFeNHduzIyT2taBIoFwXp6UsMdS/lj88 boNoQI75cMTO0e0+abx0Xx2+TbxGLALYtCkVrhwvQXVcEDpGetTwasSioscSsnFBLu8M jOspsac3pbB69IKbVeeb+0jXljKErl2KuGhblM+z2MMjFyNi34YDLxVmx/9dnTNbRA++ SH6xxOaeBWkQC10QkWaKPL7xee9PzDCgXc7/YNys5odXC7H/ZI+QMPK2b8LRuRuNGAYV SNzTL7BWCPQD9hC157lnRISXmIWn/7Rr7qhNgSZZ753smaJZzpHIbaQbrwA2IiQs0wpR phEQ== MIME-Version: 1.0 X-Received: by 10.68.221.233 with SMTP id qh9mr14917778pbc.103.1383916262382; Fri, 08 Nov 2013 05:11:02 -0800 (PST) Received: by 10.70.57.67 with HTTP; Fri, 8 Nov 2013 05:11:02 -0800 (PST) Date: Fri, 8 Nov 2013 13:11:02 +0000 Message-ID: From: Mohamed Yassin Chkouri To: strqds@laas.fr, acl2@utlists.utexas.edu, afsec@afsec.asr.cnrs.fr, amast@cs.utwente.nl, calculemus-ig@mathweb.org, caml-list@inria.fr, comlab@comlab.ox.ac.uk, concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr, event@in.tu-clausthal.de, events@fmeurope.org, fmcad@utlists.utexas.edu, gdr-im@gdr-im.fr, hol-info@lists.sourceforge.net, lics@research.bell-labs.com, lprolog@cs.umn.edu, matita@cs.unibo.it, mizar-forum@mizar.uwb.edu.pl, prog-lang@diku.dk, pvs@csl.sri.com, qpq-general@qpq.org, sal@csl.sri.com, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, yices@csl.sri.com Content-Type: multipart/alternative; boundary=e89a8ff251783803aa04eaaa1d4e X-Validation-by: yassin.chkouri@gmail.com Subject: [Caml-list] =?WINDOWS-1252?Q?Extended_Deadline_=3A_13_November_20?= =?WINDOWS-1252?Q?13_-_Call_For_Papers_=3A_Workshop_MAROC=922013?= --e89a8ff251783803aa04eaaa1d4e Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable We apologize for multiple reception. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *MAROC=922013* : 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=E9phane Devismes (Asc. Professor at University Joseph Fourie= r, Grenoble)* - *Yli=E8s Falcone (Asc. Professor at University Joseph Fourier, Grenoble)* - *Thierry J=E9ron (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=3Dmaroc2013 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=E9 des Sciences Tetouan - Mohamed Yassin CHKOURI, ENSAT Tetouan - St=E9phane Devismes, University Joseph Fourier =96 Grenoble - Swan Dubois, University Pierre et Marie Curie - Paris - Kamal Eddine EL KADIRI, ENSA Tetouan - Yli=E8s Falcone, University Joseph Fourier - Grenoble - Mamoun FILALI, CNRS =E0 l'IRIT - Toulouse - Rachid Ouald Haj Thami, ENSIAS =96 Rabat - Sophie Pinchinat, University of Rennes - Thierry J=E9ron, Inria Rennes Bretagne Atlantique - Abdelaziz SDIGUI DOUKKALI, ENSIAS =96 Rabat Best regards, --=20 Pr. CHKOURI M. Yassin Ecole Nationale des Sciences Appliqu=E9es (ENSA) Mhannech II, B.P 2121 Tetouan / Maroc --e89a8ff251783803aa04eaaa1d4e Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable

We = apologize for multiple reception.

=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D
MAROC=922013=A0: Workshop on

Models and Algorithms for Relia= ble and Open Computing.

=A0

December 16, 2013 = - Tetouan, Morroco

http://maroc.imag.fr

= =A0

D= escription :

To foster ac= ademic and industrial research in Morroco in innovative domains, the Nation= al School of Tetouan and University of Grenoble propose a common workshop f= or professors, researchers and students on the design of models and algorit= hms for embedded and networked systems.

The workshop aims at highl= ighting recent results as well as presenting ongoing challenges in the foll= owing domains:

-= =A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0Formal techniques for the construction of software with guaranteed= safety;

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Methods based on = formal techniques for developing software,

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Modeling and vali= dating formal requirements,

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Specializaiton an= d extension of modeling techniques and evaluation induced by application do= mains,

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Parallel and dist= ributed algorithmic for networks

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Ad-hoc and wirele= ss networks,

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Fault-tolerance, att= acks and security,

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Embedded & Real-time systems,

= -=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Cloud and Grid Computing.

Invited Speakers :

= -=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Saddek Bensalem (= Professor at University Joseph Fourier, Grenoble)

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= St=E9phane Devismes (Asc. Professor at Unive= rsity Joseph Fourier, Grenoble)

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= Yli=E8s Falcone (Asc. Professor at Universit= y Joseph Fourier, Grenoble)

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Thierry J=E9ro= n (Senior Researcher at Inria, Rennes)

Submissions :

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

https://w= ww.easychair.org/account/signin.cgi?conf=3Dmaroc2013

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

Important Dates :

<= font color=3D"#ff0000">-=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0Article=A0submission=A0=A0 =A0 =A0 =A0<= span style=3D"font-size:10pt">: November 13, 2013

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Notification to authors =A0 =A0 : November 30, = 2013

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Registration deadline=A0=A0 =A0 = =A0: December 2, 2013

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Camera-ready version=A0 =A0 =A0: December 8, 20= 13

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0MAROC 2013 Workshop : December 16,= 2013

Program=A0Committee=A0:

-=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0Nora AKNIN, Fac= ult=E9 des Sciences Tetouan

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Mohamed Yassin CHKOURI, ENSAT Tetouan

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0St=E9phane Devismes, University Joseph Fourier= =96 Grenoble

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Swan Dubois, University Pierre et Marie Curie -= Paris

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= Kamal Eddine EL KADIRI, ENSA T= etouan

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Yli=E8s Falcone, = University Joseph Fourier - Grenoble

- =A0 =A0 Mamoun FILALI, C= NRS =E0 l'IRIT - Toulouse

-= =A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0Rachid= Ouald Haj Thami, ENSIAS =96 Rabat

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Sophie Pinchinat, University of Rennes

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0<= span style=3D"font-size:10pt">Thierry J=E9ron, Inria Rennes Bretagne Atlant= ique

-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Abdelaziz SDIGUI DOUKKALI, ENSIAS =96 Rabat


Best=A0regards,<= /div>

--=A0
Pr. CHKOURI M. Yassin
=A0
Ecole Nationale des Sciences Appliqu=E9es (ENSA)
<= /div>
Mhannech II, B.P 2121 Tetouan / Maroc
--e89a8ff251783803aa04eaaa1d4e--