caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Mohamed Yassin Chkouri <yassin.chkouri@gmail.com>
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
Subject: [Caml-list] Extended Deadline : 13 November 2013 - Call For Papers : Workshop MAROC’2013
Date: Fri, 8 Nov 2013 13:11:02 +0000	[thread overview]
Message-ID: <CAEjSCURTS6M9jGTXGQB-4ec5iWNpQFE6uBvx2c_Gm-D+Z1Va+A@mail.gmail.com> (raw)

[-- 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 --]

                 reply	other threads:[~2013-11-08 13:11 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAEjSCURTS6M9jGTXGQB-4ec5iWNpQFE6uBvx2c_Gm-D+Z1Va+A@mail.gmail.com \
    --to=yassin.chkouri@gmail.com \
    --cc=acl2@utlists.utexas.edu \
    --cc=afsec@afsec.asr.cnrs.fr \
    --cc=amast@cs.utwente.nl \
    --cc=calculemus-ig@mathweb.org \
    --cc=caml-list@inria.fr \
    --cc=comlab@comlab.ox.ac.uk \
    --cc=concurrency@listserver.tue.nl \
    --cc=coq-club@pauillac.inria.fr \
    --cc=event@in.tu-clausthal.de \
    --cc=events@fmeurope.org \
    --cc=fmcad@utlists.utexas.edu \
    --cc=gdr-im@gdr-im.fr \
    --cc=hol-info@lists.sourceforge.net \
    --cc=lics@research.bell-labs.com \
    --cc=lprolog@cs.umn.edu \
    --cc=matita@cs.unibo.it \
    --cc=mizar-forum@mizar.uwb.edu.pl \
    --cc=prog-lang@diku.dk \
    --cc=pvs@csl.sri.com \
    --cc=qpq-general@qpq.org \
    --cc=sal@csl.sri.com \
    --cc=strqds@laas.fr \
    --cc=theorem-provers@ai.mit.edu \
    --cc=theory-logic@cs.cmu.edu \
    --cc=theorynt@listserv.nodak.edu \
    --cc=yices@csl.sri.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).