From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DE25C7EE25 for ; Mon, 4 Nov 2013 13:03:11 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yassin.chkouri@gmail.com) identity=pra; client-ip=209.85.215.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yassin.chkouri@gmail.com"; x-sender="yassin.chkouri@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yassin.chkouri@gmail.com designates 209.85.215.42 as permitted sender) identity=mailfrom; client-ip=209.85.215.42; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f42.google.com) identity=helo; client-ip=209.85.215.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yassin.chkouri@gmail.com"; x-sender="postmaster@mail-la0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroDAJ6Ld1LRVdcqlGdsb2JhbABZAgyCNXxTtnaIR4EeCBYOAQEBAQcLCwkSKoInBgEBGiMBGx4DEhAiGSIBEQEFASOIAAEDDw2fbIxXgwmDdgoZJw1kiQEBBQyPSBWEJAOYCoEvjm4YKYQSPzyBLiQ X-IPAS-Result: AroDAJ6Ld1LRVdcqlGdsb2JhbABZAgyCNXxTtnaIR4EeCBYOAQEBAQcLCwkSKoInBgEBGiMBGx4DEhAiGSIBEQEFASOIAAEDDw2fbIxXgwmDdgoZJw1kiQEBBQyPSBWEJAOYCoEvjm4YKYQSPzyBLiQ X-IronPort-AV: E=Sophos;i="4.93,631,1378850400"; d="scan'208";a="40800269" Received: from mail-la0-f42.google.com ([209.85.215.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Nov 2013 13:02:41 +0100 Received: by mail-la0-f42.google.com with SMTP id ep20so651723lab.1 for ; Mon, 04 Nov 2013 04:03:10 -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=6rBwBoLHIWdtcRtJF3oNq1aB/tI74/fCkNBQsYWV1Co=; b=kTr2vbd+ImTMd35RV8y7Ln3ex9I0tY2CO9Lk9GMUvy73kigTZDALNMkJ0ZTjzNG0Eh Y1WfdAe3KcsoubhwTYoJtMU79tmzFEcVYfSCDyz8JIhy1gekKiwmnASC+BcXQl3zVrlI Qm0O4irc3YEzSAJK/eM8v0MAetH806sYKWTgs3awfQh6vy9vzIvgqQifXjHv29613AN5 ZjhUN4L6LCIMQYWA3zxCv9lXYlMLYTPYD+4hdSGEQKmXeVynz6/wcbRd3DSZf3E8Oq4p NGArjPPub04kl+kkS2WPG0HniwkNNBk2+1aUv3+BCJ2oKO+crWzRo5vg9I3wwixeo4PD XyBA== MIME-Version: 1.0 X-Received: by 10.152.235.40 with SMTP id uj8mr1136613lac.39.1383566590421; Mon, 04 Nov 2013 04:03:10 -0800 (PST) Received: by 10.114.183.236 with HTTP; Mon, 4 Nov 2013 04:03:10 -0800 (PST) Date: Mon, 4 Nov 2013 12:03:10 +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=001a11345d8425326404ea58b32c X-Validation-by: yassin.chkouri@gmail.com Subject: [Caml-list] =?WINDOWS-1252?Q?Workshop_MAROC=922013_=3A_Call_For_P?= =?WINDOWS-1252?Q?apers_-_Paper_submission_deadline_-_10_November?= --001a11345d8425326404ea58b32c 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 onModels 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 10, 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 - 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 --001a11345d8425326404ea58b32c 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 :

<= span style=3D"font-size:10pt">-=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Article=A0submission=A0=A0=A0=A0=A0=A0=A0=A0 =A0: November 10, 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=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=A0Thierry J=E9ron, Inria Rennes Bretagne Atlantiq= ue

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


Best=A0regard= s,

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