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 271927FB13 for ; Mon, 1 Dec 2014 22:08:05 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of slim.kallel@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="slim.kallel@gmail.com"; x-sender="slim.kallel@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of slim.kallel@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="slim.kallel@gmail.com"; x-sender="slim.kallel@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-wg0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="slim.kallel@gmail.com"; x-sender="postmaster@mail-wg0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUSAHvYfFRKfVIxm2dsb2JhbABbg1dYBIMBhHeyToorgWABCYYfKmgHFgEBAQEBEQEBAQEBBgsLCRQug3ohER0BGwwRAQMSEAcpBwIkAREBBQEOHgkJDQYGhVSCNAEDEg2yOT0xizKBbIMKixYKGScNWoVOAQEBGAEFDo0WEoEegUNYgjsPMg8DgUEFlR+GZ4EsOoJ+jDyCBRgog04lgUU+MIEEgUMBAQU X-IPAS-Result: AmUSAHvYfFRKfVIxm2dsb2JhbABbg1dYBIMBhHeyToorgWABCYYfKmgHFgEBAQEBEQEBAQEBBgsLCRQug3ohER0BGwwRAQMSEAcpBwIkAREBBQEOHgkJDQYGhVSCNAEDEg2yOT0xizKBbIMKixYKGScNWoVOAQEBGAEFDo0WEoEegUNYgjsPMg8DgUEFlR+GZ4EsOoJ+jDyCBRgog04lgUU+MIEEgUMBAQU X-IronPort-AV: E=Sophos;i="5.07,496,1413237600"; d="scan'208";a="110564231" Received: from mail-wg0-f49.google.com ([74.125.82.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Dec 2014 22:08:01 +0100 Received: by mail-wg0-f49.google.com with SMTP id n12so7013279wgh.8 for ; Mon, 01 Dec 2014 13:08:01 -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:cc:content-type; bh=Sff/uSCdCEiOhOuIRzpkZwTYMAiJ6ZbTnJwklKZKJGA=; b=SEwatbFgB7iK0G0nQliSrC0xJWpI4yEF0s8nPoLh9MO72SKLF1CiGzFsGBBYx1i/FK iyRgRZqT+x2uoCH3a2CiA10/MpVriAwbkUrN14L3ehWHo+QxfH3QM1XrwfmrCIFT+120 LUbRbQuMo2L3K2ynpylA9xjpCUnEk68RQynBjERALKx0M7y09d/sOj/XtlKOf5gT7bY0 3mzSFoBF9RAjlL1D9NJTitMIeKM9k7wDaYpPz7m7MjiKzfkdNh5o+p5p90oey80/rlFF naWOvXJo5NJFTV87wmGZkiuAeUilGtOTw1Po7jIeKEpabKrj1+PQtMzAvV6XY0Dim5KW JR8g== MIME-Version: 1.0 X-Received: by 10.181.13.7 with SMTP id eu7mt53134301wid.72.1417468081255; Mon, 01 Dec 2014 13:08:01 -0800 (PST) Received: by 10.216.16.5 with HTTP; Mon, 1 Dec 2014 13:08:01 -0800 (PST) Date: Mon, 1 Dec 2014 22:08:01 +0100 Message-ID: From: Slim Kallel Cc: "appsem-discussion@harlequin.co.uk" , "ascens@maillist.ifi.lmu.de" , "caml-list@pauillac.inria.fr" , "comlab@comlab.ox.ac.uk" , "concurrency@cwi.nl" , "coq-club@pauillac.inria.fr" , "dbworld@cs.wisc.edu" , "generic-haskell@cs.uu.nl" , "gragra@i3.informatik.rwth-aachen.de" , "ifmsig@cs.tcd.ie" , "info@icst.org" , lics@informatik.hu-berlin.de, "lfcs-interest@dcs.ed.ac.uk" , "linear@cs.stanford.edu" , "moca-announce@list.it.uu.se" , "nvti-list@cwi.nl" , "pvs@csl.sri.com" , "reus@informatik.uni-muenchen.de" , "theorem-provers@ai.mit.edu" , "theory-a@listserv.nodak.edu" , caml-list@inria.fr, categories@mta.ca, compunode@compulog.org, concurrency@listserver.tue.nl, fmics@inrialpes.fr, list@prooftheory.org, logic-list@helsinki.fi, performance@merlot.usc.edu, prog-lang@diku.dk, puml-list@cs.york.ac.uk, theory-logic@cs.cmu.edu, announcements@lists.artist-embedded.org, qest-announce@iti.uiuc.edu, ec-digest-l@metis3.gmu.edu, fmindia@cmi.ac.in, "irma-l@irma-international.org" , VKI-LIST , cyber-security@stevens-tech.edu Content-Type: multipart/alternative; boundary=f46d043be03076de6e05092e0142 X-Validation-by: slim.kallel@fsegs.rnu.tn Subject: [Caml-list] IEEE/ACIS SERA 2015 - International Conference on Software Engineering Research, Management and Applications. --f46d043be03076de6e05092e0142 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable SERA 2015: 13th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications May 13 - 15, 2015, Hammamet - Tunisia http://sera2015.redcad.org/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D About SERA 2015 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 13th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2015) provides an international forum where engineers, researchers, and advanced graduate students are invited to present their experiences and their recent advances and latest research results related to all aspects of software engineering research and applications. The conference is structured to cover the complete software lifecycle from design through deployment to maintenance and evolution. SERA 2015 will include a high quality scientific program, invited speakers, tutorials and workshops in conjunction with the conference. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission deadline =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Paper Submission: January 15, 2015 Notification: March 1, 2015 Final version: March 15, 2015 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Topics =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The program committee invites submissions that include but are not limited to the following topics: Software Design and Modeling - Modeling with Objects, Components, Services, Aspects, Agents - Requirements Engineering - Model Driven Engineering - Unified Modeling Language Software Frameworks and Technologies - Frameworks for Objects, Components, Services, Aspects, Agents - Reflection and Metamodeling - Programming and Description Languages - Design Patterns and Framework Languages Software Deployment and Management - Deployment, Configuration Management - Runtime Software Monitoring and Management - Fault Detection and Localization, Autonomic Repair Software Maintenance and Evolution - Software Visualization and Program Understanding - Re-Use, Re-Factoring, Re-Engineering - Reverse Engineering Software Quality Guarantees - Formal and Semiformal Software Specifications - Software Verification and Model Checking - Quality of Service Modeling and Analysis - Software Testing and Benchmarking - Software Extra-functional Properties Software Engineering Processes - Process Models and Process Management - Software Quality and Software Metrics - Cost Modeling and Analysis - Product Lines and System Families - Software Engineering Education and Training Software Architecture - Software tools and environments for architecture-centric software engineering - Component-based models, middleware,component-based deployment - Service-Oriented Architectures and Web services - Architecture description languages and metamodels Domain Specific Software Engineering - Applications, Case Studies, Technology Transfer - Embedded and Real Time Systems - Web Information Systems - Business Process Engineering - Parallel and Distributed Computing - Cloud Computing - Internet of Things and M2M applications =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Publications =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Proceedings will be published by IEEE and will be submitted to be indexed by EI, INSPEC and DBLP. The best 15 to 20 papers will be invited to publish in Studies in Computational Intelligence (SCI), Springer. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Program Chairs =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Khalil Drira, LAAS, University of Toulouse, France Mohamed Jmaiel, University of Sfax, Tunisia =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Paper Submission =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Papers must be submitted electronically in PDF format through the easychair system http://www.easychair.org/conferences/?conf=3Dsera2015. We solicit research and experience papers as well as research-in-progress in any of the technical areas listed under Scope and Topics. Each submission will be reviewed by three members of the Program Committee. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation and appropriate comparison to related work. The decision whether to accept or reject the paper will be based on the reviews and the consensus of the program committee. Authors are invited to submit full papers (6 pages) of double column text using single spaced 10 point size on 8.5 x 11 inch pages. Please review the CPS Publishing PDF specifications ( http://www.computer.org/portal/web/cscps/formatting) before submitting your paper. Up to an extra 2 pages (total of 8) can be purchased at registration time. To ensure a blind review, the author=E2=80=99s name and address MUST NOT ap= pear in the submitted paper. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Contact =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D For any queries, please contact the Program Chairs: sera2015@redcad.org --f46d043be03076de6e05092e0142 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
SERA 2015= : 13th IEEE/ACIS International Conference on Software Engineering Research,= Management and Applications

May 13 - 15, 2015, Ha= mmamet - Tunisia

=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
About SERA 2015
<= div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The 13th IEEE/ACIS International Conference on Software Engineering Rese= arch, Management and Applications (SERA 2015) provides an international for= um where engineers, researchers, and advanced graduate students are invited= to present their experiences and their recent advances and latest research= results related to all aspects of software engineering research and applic= ations. The conference is structured to cover the complete software lifecyc= le from design through deployment to maintenance and evolution. SERA 2015 w= ill include a high quality scientific program, invited speakers, tutorials = and workshops in conjunction with the conference.

= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submission deadl= ine
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Paper Submission: January 15, 2015
Notification: Mar= ch 1, 2015
Final version: March 15, 2015

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Topics
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The program committee invites submissions that include but are not limited= to the following topics:

Software Design and Mode= ling
=C2=A0- Modeling with Objects, Components, Services, Aspects= , Agents
=C2=A0- Requirements Engineering
=C2=A0- Model= Driven Engineering
=C2=A0- Unified Modeling Language
S= oftware Frameworks and Technologies
=C2=A0- Frameworks for Object= s, Components, Services, Aspects, Agents
=C2=A0- Reflection and M= etamodeling
=C2=A0- Programming and Description Languages
=C2=A0- Design Patterns and Framework Languages
Software Deplo= yment and Management
=C2=A0- Deployment, Configuration Management=
=C2=A0- Runtime Software Monitoring and Management
=C2= =A0- Fault Detection and Localization, Autonomic Repair
Software = Maintenance and Evolution
=C2=A0- Software Visualization and Prog= ram Understanding
=C2=A0- Re-Use, Re-Factoring, Re-Engineering
=C2=A0- Reverse Engineering
Software Quality Guarantees
=C2=A0- Formal and Semiformal Software Specifications
= =C2=A0- Software Verification and Model Checking
=C2=A0- Quality = of Service Modeling and Analysis
=C2=A0- Software Testing and Ben= chmarking
=C2=A0- Software Extra-functional Properties
= Software Engineering Processes
=C2=A0- Process Models and Process= Management
=C2=A0- Software Quality and Software Metrics
=C2=A0- Cost Modeling and Analysis
=C2=A0- Product Lines and S= ystem Families
=C2=A0- Software Engineering Education and Trainin= g
Software Architecture
=C2=A0- Software tools and envi= ronments for architecture-centric software engineering
=C2=A0- Co= mponent-based models, middleware,component-based deployment
=C2= =A0- Service-Oriented Architectures and Web services
=C2=A0- Arch= itecture description languages and metamodels
Domain Specific Sof= tware Engineering
=C2=A0- Applications, Case Studies, Technology = Transfer
=C2=A0- Embedded and Real Time Systems
=C2=A0-= Web Information Systems
=C2=A0- Business Process Engineering
=C2=A0- Parallel and Distributed Computing
=C2=A0- Cloud C= omputing
=C2=A0- Internet of Things and M2M applications

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Publications
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Proceedings will be published by IEEE and will be su= bmitted to be indexed by EI, INSPEC and DBLP. The best 15 to 20 papers will= be invited to publish in Studies in Computational Intelligence (SCI), Spri= nger.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D
Program Chairs
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D

Khalil Drira, LAAS, University of = Toulouse, France
Mohamed Jmaiel, University of Sfax, Tunisia

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=
Paper Submission
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

Papers must be submitted electronically in = PDF format through the easychair system http://www.easychair.org/c= onferences/?conf=3Dsera2015.

We solicit resear= ch and experience papers as well as research-in-progress in any of the tech= nical areas listed under Scope and Topics. Each submission will be reviewed= by three members of the Program Committee. Submissions will be evaluated o= n the basis of originality, importance of contribution, soundness, evaluati= on, quality of presentation and appropriate comparison to related work. The= decision whether to accept or reject the paper will be based on the review= s and the consensus of the program committee.

Auth= ors are invited to submit full papers (6 pages) of double column text using= single spaced 10 point size on 8.5 x 11 inch pages. Please review the CPS = Publishing PDF specifications (http://www.computer.org/portal/web/cs= cps/formatting) before submitting your paper.=C2=A0
Up to an = extra 2 pages (total of 8) can be purchased at registration time.

To ensure a blind review, the author=E2=80=99s name and add= ress MUST NOT appear in the submitted paper.

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Contact
= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

F= or any queries, please contact the Program Chairs: sera2015@redcad.org


--f46d043be03076de6e05092e0142--