From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8332 Path: news.gmane.org!not-for-mail From: Slim Kallel Newsgroups: gmane.comp.lang.caml.inria,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories Subject: SERA 2015 - CFP Date: Mon, 22 Sep 2014 21:34:41 +0100 Message-ID: Reply-To: Slim Kallel NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7b66f2e35bd2550503ad619e X-Trace: ger.gmane.org 1411418178 26903 80.91.229.3 (22 Sep 2014 20:36:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 22 Sep 2014 20:36:18 +0000 (UTC) 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" , To: Slim Kallel Original-X-From: caml-list-owner@inria.fr Mon Sep 22 22:36:09 2014 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XWAL9-0002Vb-7Z for gclci-caml-list@gmane.org; Mon, 22 Sep 2014 22:36:07 +0200 X-IronPort-AV: E=Sophos;i="5.04,574,1406584800"; d="scan'208";a="97279964" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Sep 2014 22:36:06 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 512027FACF; Mon, 22 Sep 2014 22:36:06 +0200 (CEST) Original-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 7E21C7FACE for ; Mon, 22 Sep 2014 22:34:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwCAJiGIFTRVdS1lGdsb2JhbABgg2FOCQSCfbo/iyqBYQEJh02BDAgWAREBAQEBBwsLCRIbEoQcER0BGwwRAQMSEAcwAiQBEQEFAQ4UCgkJDQYGiAcBAxENomFtizCBcoMQiR4KGScNZoYXEQEFDoxAgSaBOliCPg8yEoFBBZJagzWHB4FhilOHLBgpgyqBaTwvgQaBRAEBAQ X-IPAS-Result: AgwCAJiGIFTRVdS1lGdsb2JhbABgg2FOCQSCfbo/iyqBYQEJh02BDAgWAREBAQEBBwsLCRIbEoQcER0BGwwRAQMSEAcwAiQBEQEFAQ4UCgkJDQYGiAcBAxENomFtizCBcoMQiR4KGScNZoYXEQEFDoxAgSaBOliCPg8yEoFBBZJagzWHB4FhilOHLBgpgyqBaTwvgQaBRAEBAQ X-IronPort-AV: E=Sophos;i="5.04,574,1406584800"; d="scan'208";a="80488295" Original-Received: from mail-wi0-f181.google.com ([209.85.212.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Sep 2014 22:34:41 +0200 Original-Received: by mail-wi0-f181.google.com with SMTP id z2so3833800wiv.2 for ; Mon, 22 Sep 2014 13:34:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:cc:content-type; bh=C6cjMiKsHFBtK38Zm5EJpCLoE+6502Qj9BWdRBs2uxM=; b=WDun7WDP2AqQ5wDpQfEOY045Ov42aLUzLPoBwsZ8zM1X3wpg6j7NsHHr8RxBTVDO/Y E80+8Yx7p8yFttmj4roHu/v1a57elhHPB3BWXVyla3Yx9u+nXs5Di/VnTAUwaD686oYq btsmDIzTlOVidTADchwdLBUo+yR9Dx0LBfBzxB2zwwAm6lTL6TZ3N7V/VXwB7uynw5S+ FRimprdbZfQ1u4iBjq/3iuWs/c8CkvOvT1WACwZJMhVHBEydQnOUyWwrZUz8jKEAyjQV QS5bgWm70YFV2UZ/VA5apHAD4N0MSsHu25c1dgwKoEhUXyOj0wGwthMgsrpOu684FjN5 qp/w== X-Received: by 10.180.182.12 with SMTP id ea12mr17912781wic.21.1411418081184; Mon, 22 Sep 2014 13:34:41 -0700 (PDT) Original-Received: by 10.217.44.8 with HTTP; Mon, 22 Sep 2014 13:34:41 -0700 (PDT) X-Validation-by: slim.kallel@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 10384 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2014-10-06 Xref: news.gmane.org gmane.comp.lang.caml.inria:61216 gmane.comp.science.concurrency:3941 gmane.science.mathematics.logic.coq.club:13850 gmane.science.mathematics.categories:8332 Archived-At: --047d7b66f2e35bd2550503ad619e Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable SERA 2015: 13th 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 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 Computer Society 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@easychair.org --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --047d7b66f2e35bd2550503ad619e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
SERA 2015: 13th International Conference on Software = Engineering Research, Management and Applications

= May 13 - 15, 2015, Hammamet - Tunisia


<= /div>
=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
<= div>
The 13th International Conference on Software Engineerin= g Research, Management and Applications (SERA 2015) provides an internation= al forum where engineers, researchers, and advanced graduate students are i= nvited to present their experiences and their recent advances and latest re= search results related to all aspects of software engineering research and = applications. The conference is structured to cover the complete software l= ifecycle from design through deployment to maintenance and evolution. SERA = 2015 will include a high quality scientific program, invited speakers, tuto= rials 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
<= div>
Paper Submission: January 15, 2015
Notificatio= n: 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 includ= e but are not limited to the following topics:

Sof= tware Design and Modeling
=C2=A0- Modeling with Objects, Componen= ts, Services, Aspects, Agents
=C2=A0- Requirements Engineering
=C2=A0- Model Driven Engineering
=C2=A0- Unified Modeling= Language
Software Frameworks and Technologies
=C2=A0- = Frameworks for Objects, Components, Services, Aspects, Agents
=C2= =A0- Reflection and Metamodeling
=C2=A0- Programming and Descript= ion Languages
=C2=A0- Design Patterns and Framework Languages
Software Deployment and Management
=C2=A0- Deployment, Con= figuration Management
=C2=A0- Runtime Software Monitoring and Man= agement
=C2=A0- Fault Detection and Localization, Autonomic Repai= r
Software Maintenance and Evolution
=C2=A0- Software V= isualization and Program Understanding
=C2=A0- Re-Use, Re-Factori= ng, Re-Engineering
=C2=A0- Reverse Engineering
Software= Quality Guarantees
=C2=A0- Formal and Semiformal Software Specif= ications
=C2=A0- Software Verification and Model Checking
=C2=A0- Quality of Service Modeling and Analysis
=C2=A0- Softw= are Testing and Benchmarking
=C2=A0- Software Extra-functional Pr= operties
Software Engineering Processes
=C2=A0- Process= Models and Process Management
=C2=A0- Software Quality and Softw= are Metrics
=C2=A0- Cost Modeling and Analysis
=C2=A0- = Product Lines and System Families
=C2=A0- Software Engineering Ed= ucation and Training
Software Architecture
=C2=A0- Soft= ware tools and environments for architecture-centric software engineering
=C2=A0- Component-based models, middleware,component-based deploym= ent
=C2=A0- Service-Oriented Architectures and Web services
=
=C2=A0- Architecture description languages and metamodels
Do= main Specific Software Engineering
=C2=A0- Applications, Case Stu= dies, Technology Transfer
=C2=A0- Embedded and Real Time Systems<= /div>
=C2=A0- Web Information Systems
=C2=A0- Business Proces= s Engineering
=C2=A0- Parallel and Distributed Computing
=C2=A0- Cloud Computing
=C2=A0- Internet of Things and M2M appl= ications


=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 Computer Society 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 electronical= ly in PDF format through the easychair system http://www.easychair.org/conferences/?= conf=3Dsera2015.

We solicit research and exper= ience 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 me= mbers 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 wh= ether to accept or reject the paper will be based on the reviews and the co= nsensus of the program committee.

Authors are invi= ted to submit full papers (6 pages) of double column text using single spac= ed 10 point size on 8.5 x 11 inch pages. Please review the CPS Publishing P= DF specifications (http://www.computer.org/portal/web/cscps/formatting) before sub= mitting your paper.=C2=A0
Up to an extra 2 pages (total of 8) can= be purchased at registration time.

To ensure a bl= ind review, the author=E2=80=99s name and address MUST NOT appear in the su= bmitted 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@eas= ychair.org

--047d7b66f2e35bd2550503ad619e--