From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 1B3E5BBAF for ; Tue, 6 Apr 2010 23:38:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwDAKNGu0vBqoqTl2dsb2JhbACBPjg3hj+DbQOECIpWFQEBAQEBCBUHM6w+AY4gBQ2CXQiCF445 X-IronPort-AV: E=Sophos;i="4.51,374,1267398000"; d="scan'208,217";a="48081253" Received: from mx1.ist.ac.at ([193.170.138.147]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Apr 2010 23:38:24 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ist.ac.at; i=dejan.nickovic@ist.ac.at; q=dns/txt; s=ist2009; t=1270589905; x=1302125905; h=from:sender:reply-to:subject:date:message-id:to:cc: mime-version:content-transfer-encoding:content-id: content-description:resent-date:resent-from:resent-sender: resent-to:resent-cc:resent-message-id:in-reply-to: references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:list-owner:list-archive; z=From:=20"Dejan=20Nickovic"=20 |Subject:=20Reminder:=20Call=20for=20papers:=20FORMATS=20 2010=20(The=208th=20International=20Conference=20on=20For mal=20Modelling=20and=20Analysis=20ofTimed=20Systems=20) |Date:=20Tue,=206=20Apr=202010=2023:37:56=20+0200 |Message-ID:=20<006901cad5d1$7ae6d5f0$0300000a@electra> |To:=20,=20,=20,=0D=0A=20=20=20=20=20=20=20=20 ,=20,=0D=0A=20=20 =20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20

,=20,=0D=0A=20=20 =20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20 =20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20 =20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20, =0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20=20 =20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20 =20=20=20=20=20=20, =20,=0D=0A=20=20=20=20=20=20 =20=20,=20,=0D=0A=20=20=20=20=20=20=20=20, =20,=20,=0D=0A=20 =20=20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20 =20=20=20,=20 ,=0D=0A=20=20=20=20=20=20=20=20,=20,=0D=0A=20=20 =20=20=20=20=20=20,=20,=20,=0D=0A=20=20=20=20=20 =20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20, =20,=20,=0D =0A=20=20=20=20=20=20=20=20,=20,=20,=0D=0A=20=20=20 =20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20,=20,=0D =0A=20=20=20=20=20=20=20=20,=20,=20,=0D=0A=20=20 =20=20=20=20=20=20,=20,=0D=0A=20=20=20=20=20=20=20=20,=20|Cc:=20"Krishne ndu=20Chatterjee"=20|MIME-Version: =201.0; bh=ix52JxMVZzPqzfWpdEI9mU8YSlXIDXZbrqI2kxhkYrQ=; b=wqQeOZ0pkQ4MO/OvLXoqEsnmq842EaIjR+6ak0/bnWyAPnMllsEGZVUY u19svcgSK6B7zz8yUQRjnyAV198SFMTyUJeJcNA/C4UGe8p1tx+RFTkMe r9j8qBc4hrhKoGRd4fil7YwgbRCyLzqhnWgYUcy/BmVMJtHNRyJOdMe8/ j4Y05AMP7g04L15QCBXNzd/2uyruCw/OXmygGVkmTYjrT6uu+7UaJyqXm 6do/i2AIRJyV3he8B9/GrIQwKaUf/9azAMrH+5NVuhCn2wd2hgEnzZbHs CvWAAmTKfpaPFsL4aF1ONd0nRg7Na0o3xcS0gnTx4gwc447EFEnaaueYJ w==; X-IronPort-AV: E=Sophos;i="4.51,374,1267398000"; d="scan'208,217";a="224892" Received: from lserv01.ista.local ([10.15.21.52]) by ironport-intern.ista.local with ESMTP; 06 Apr 2010 23:38:23 +0200 Received: from sslmail1.ist.ac.at (sslmail1.ista.local [10.15.21.69]) by lserv01.ista.local (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id o36LcMqH026166; Tue, 6 Apr 2010 23:38:23 +0200 Received: from electra (93-82-9-174.adsl.highway.telekom.at [93.82.9.174]) (authenticated bits=0) by sslmail1.ist.ac.at (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id o36LbxSe007695 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT); Tue, 6 Apr 2010 23:38:00 +0200 Message-ID: <006901cad5d1$7ae6d5f0$0300000a@electra> From: "Dejan Nickovic" To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Cc: "Krishnendu Chatterjee" Subject: Reminder: Call for papers: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis ofTimed Systems ) Date: Tue, 6 Apr 2010 23:37:56 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0066_01CAD5E2.2F036FC0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3598 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3350 X-Spam: no; 0.00; semantics:01 semantics:01 algebra:01 algebra:01 worst-case:01 model:01 lncs:01 worst-case:01 model:01 lncs:01 10,:98 23,:98 W27:98 W29:98 W20:98 This is a multi-part message in MIME format. ------=_NextPart_000_0066_01CAD5E2.2F036FC0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear all, This is a gentle reminder for the FORMATS'10 deadlines: * Abstract submission: April 11, 2010 (STRICT)=20 =20 * Paper submission: April 18, 2010 (STRICT)=20 Best regards, Dejan Nickovic -------------------------------------------------------------------------= CALL FOR PAPERS FORMATS 2010 IST Austria (close to Vienna) September 8-10, 2010 http://pub.ist.ac.at/formats2010/ Objective and Scope: Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focusses on propagation and switching delays while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behavior depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems. Typical topics include (but are not limited to):=20 * Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).=20 =20 * Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.).=20 =20 * Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).=20 =20 Important Dates:=20 * Abstract submission: April 11, 2010 (STRICT)=20 =20 * Paper submission: April 18, 2010 (STRICT)=20 =20 * Author notification: May 23, 2010=20 =20 * Camera ready version: June 13, 2010=20 =20 Submission and Publication: The proceedings of FORMATS 10 will be published by Springer in the Lecture Notes in Computer Science series. Papers must contain original contributions, be clearly written, and include appropriate references to and comparison with related work. Simultaneous submission to other conferences with published proceedings is not allowed. Submissions should not exceed 15 pages, and should be formatted according to Springer LNCS guidelines. If necessary, the submission may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.Submissions will be handled by the EasyChair system.=20 ------=_NextPart_000_0066_01CAD5E2.2F036FC0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Dear all,

This is a gentle reminder for the = FORMATS'10=20 deadlines:

      * Abstract submission: = April 11,=20 2010 (STRICT)
       =20
      * Paper submission: April 18, 2010=20 (STRICT)

Best regards,

Dejan Nickovic

----------------------------------------------------------------= ---------
          =             &= nbsp;    =20 CALL FOR=20 PAPERS
          &nb= sp;           &nbs= p;      =20 FORMATS=20 2010
           = ;         =20 IST Austria (close to=20 Vienna)
          &n= bsp;           &nb= sp;  =20 September 8-10,=20 2010
           = ;       =20 http://pub.ist.ac.at/formats2010/

Objective and Scope: Timing aspects of = systems=20 from a variety of
computer science domains have been treated = independently by=20 different
communities. Researchers interested in semantics, = verification=20 and
performance analysis study models such as timed automata and = timed=20 Petri
nets, the digital design community focusses on propagation and=20 switching
delays while designers of embedded controllers have to take = account=20 of
the time taken by controllers to compute their responses after=20 sampling
the environment. Timing-related questions in these separate=20 disciplines
do have their particularities. However, there is a = growing=20 awareness
that there are basic problems that are common to all of = them.=20 In
particular, all these sub-disciplines treat systems whose=20 behavior
depends upon combinations of logical and temporal = constraints;=20 namely,
constraints on the temporal distances between occurrences of = events.=20 The
aim of FORMATS is to promote the study of fundamental and=20 practical
aspects of timed systems, and to bring together researchers = from
different disciplines that share interests in modeling and = analysis=20 of
timed systems. Typical topics include (but are not limited to):=20

      * Foundations and Semantics: = Theoretical=20 foundations of timed
        = systems and=20 languages; comparison between different=20 models
        (timed automata, = timed=20 Petri nets, hybrid automata, = timed
       =20 process algebra, max-plus algebra, probabilistic models).=20
       =20
      * Methods and Tools: Techniques, = algorithms,=20 data structures, and
        = software=20 tools for analyzing timed systems and=20 resolving
        temporal = constraints=20 (scheduling, worst-case execution=20 time
        analysis, = optimization, model=20 checking, testing, = constraint
       =20 solving, etc.).
       =20
      * Applications: Adaptation and = specialization=20 of timing technology
        in=20 application domains in which timing plays an important=20 role
        (real-time software, = hardware=20 circuits, and problems of
       =20 scheduling in manufacturing and telecommunication).=20


Important Dates:=20

      * Abstract submission: April 11, = 2010=20 (STRICT)
       =20
      * Paper submission: April 18, 2010 = (STRICT)=20
       =20
      * Author notification: May 23, 2010=20
       =20
      * Camera ready version: June 13, 2010 =


Submission and=20 Publication: The proceedings of FORMATS 10 will be
published by = Springer in=20 the Lecture Notes in Computer Science series.
Papers must contain = original=20 contributions, be clearly written, and
include appropriate references = to and=20 comparison with related work.
Simultaneous submission to other = conferences=20 with published proceedings
is not allowed. Submissions should not = exceed 15=20 pages, and should be
formatted according to Springer LNCS guidelines. = If=20 necessary, the
submission may be supplemented with a clearly marked = appendix,=20 which
will be reviewed at the discretion of the program=20 committee.Submissions
will be handled by the EasyChair system.=20

------=_NextPart_000_0066_01CAD5E2.2F036FC0--