From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dejan.nickovic@ist.ac.at>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id AA542BC57
	for <caml-list@yquem.inria.fr>; Mon, 12 Apr 2010 09:40:01 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIBAKdrwkvBqoqTl2dsb2JhbACBdjeGQIN1A4QMikEVAQEBAQEIFQczrCwBjSEFDYR/jkw
X-IronPort-AV: E=Sophos;i="4.52,189,1270418400"; 
   d="scan'208,217";a="60551671"
Received: from mx1.ist.ac.at ([193.170.138.147])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 12 Apr 2010 09:39:57 +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=1271057998; x=1302593998;
  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<dejan.nickovic@ist.ac.at>
   |Subject:=20Deadline=20extension:=20FORMATS=202010=20(The
   =208th=20International=20Conference=20on=20Formal=20Model
   ling=20and=20Analysis=20of=20Timed=20Systems)|Date:=20Mon
   ,=2012=20Apr=202010=2009:39:27=20+0200|Message-ID:=20<001
   401cada13$57f358c0$0300000a@electra>|To:=20<concurrency@l
   istserver.tue.nl>,=20<siksleden@cs.uu.nl>,=0D=0A=20=20=20
   =20=20=20=20=20<ipalist@listserver.tue.nl>,=20<asci@ewi.t
   udelft.nl>,=0D=0A=20=20=20=20=20=20=20=20<concurrency@cwi
   .nl>,=20<verimag-news@imag.fr>,=20<ieee-tcrts@cs.bu.edu>,
   =0D=0A=20=20=20=20=20=20=20=20<nvti-list@cwi.nl>,=20<ozsl
   @phil.uu.nl>,=20<concurrency@maillist.ox.ac.uk>,=0D=0A=20
   =20=20=20=20=20=20=20<focs@comlab.ox.ac.uk>,=20<agents@cs
   .umbc.edu>,=20<aiia@di.unito.it>,=0D=0A=20=20=20=20=20=20
   =20=20<appsem@disi.unige.it>,=20<behavior@cs.ucsd.edu>,
   =20<cmcs@cs.indiana.edu>,=0D=0A=20=20=20=20=20=20=20=20<c
   sl@dbai.tuwien.ac.at>,=20<dbworld@cs.wisc.edu>,=0D=0A=20
   =20=20=20=20=20=20=20<dipartimento@di.unipi.it>,=20<eacsl
   @dimi.uniud.it>,=0D=0A=20=20=20=20=20=20=20=20<eapls@jisc
   mail.ac.uk>,=20<eatcs-it-l@unifi.it>,=20<etalle@cs.utwent
   e.nl>,=0D=0A=20=20=20=20=20=20=20=20<generative@rz.tu-ilm
   enau.de>,=20<gragra@i3.informatik.rwth-aachen.de>,=0D=0A
   =20=20=20=20=20=20=20=20<grin@di.unipi.it>,=20<gulp-all@y
   ahoogroups.com>,=0D=0A=20=20=20=20=20=20=20=20<hise-safet
   y-critical@minster.cs.york.ac.uk>,=20<ic.eatcs@di.unipi.i
   t>,=0D=0A=20=20=20=20=20=20=20=20<idss@socs.uts.EDU.AU>,
   =20<ifip@ifip.or.at>,=20<ifmsig@cs.tcd.ie>,=0D=0A=20=20
   =20=20=20=20=20=20<lics@informatik.hu-berlin.de>,=20<lics
   @research.att.com>,=0D=0A=20=20=20=20=20=20=20=20<lics@re
   search.bell-labs.com>,=20<logic-announce@uclink4.berkeley
   .edu>,=0D=0A=20=20=20=20=20=20=20=20<logic-list@cs.rice.e
   du>,=20<m4m@science.uva.nl>,=0D=0A=20=20=20=20=20=20=20
   =20<maude-users@dcs-cpanel1.cs.uiuc.edu>,=20<members@fmeu
   rope.org>,=0D=0A=20=20=20=20=20=20=20=20<oose@uni-paderbo
   rn.de>,=20<petrinet@informatik.uni-hamburg.de>,=0D=0A=20
   =20=20=20=20=20=20=20<qed@mcs.anl.gov>,=20<resist@laas.fr
   >,=20<rewriting@ens-lyon.fr>,=0D=0A=20=20=20=20=20=20=20
   =20<SAFE-NL@NIC.SURFNET.NL>,=20<SECURITY@FOSAD.ORG>,=0D
   =0A=20=20=20=20=20=20=20=20<sensoria-core@di.unipi.it>,
   =20<Sensoria@lists.tcs.ifi.lmu.de>,=0D=0A=20=20=20=20=20
   =20=20=20<seworld@cs.colorado.edu>,=20<stimdi-rek-subscri
   be@yahoogroups.com>,=0D=0A=20=20=20=20=20=20=20=20<theory
   -a@LISTSERV.NODAK.EDU>,=20<theory@brics.dk>,=0D=0A=20=20
   =20=20=20=20=20=20<theory@cl.cam.ac.uk>,=20<theory@cs.bha
   m.ac.uk>,=20<tocai@dis.uniroma1.it>,=0D=0A=20=20=20=20=20
   =20=20=20<formal-methods@cs.uidaho.edu>,=20<types-announc
   e@lists.seas.upenn.edu>,=0D=0A=20=20=20=20=20=20=20=20<pv
   s@csl.sri.com>,=20<haskell@haskell.org>,=20<ecoop-info@ec
   oop.org>,=0D=0A=20=20=20=20=20=20=20=20<coalgebras@iti.cs
   .tu-bs.de>,=20<lprolog@cs.umn.edu>,=0D=0A=20=20=20=20=20
   =20=20=20<list@prooftheory.org>,=20<moca-announce@list.it
   .uu.se>,=0D=0A=20=20=20=20=20=20=20=20<theorynt@LISTSERV.
   NODAK.EDU>,=20<papm@inf.ed.ac.uk>,=0D=0A=20=20=20=20=20
   =20=20=20<categories@mta.ca>,=20<caml-list@inria.fr>,=20<
   concurrency@tue.nl>,=0D=0A=20=20=20=20=20=20=20=20<qest-a
   nnounce@iti.uiuc.edu>|Cc:=20"Krishnendu=20Chatterjee"=20<
   krish.chat@gmail.com>|MIME-Version:=201.0;
  bh=H4aXn+j0rohbjz6jYjhLsD5I/E7gExsqUp7UOQyh7J4=;
  b=qiPd3Phx7JZ21tyEV1WX8c4yL/QoZFDDODuQSHzVlgrLlzE0BCySbsKl
   s6dYwnB6A5mLw9q/sUhcozCJJf1sAtcU5eA0p9tXXKPjBra5MpNu6lJKT
   4ic7TM94hr850dGmzKV0Dm/WDPIpm2bfdiMbpeBjSuUeMTqlMT4CoDtS6
   QzYG4zCscpv0G1iB6WhZ6CNXsVCcMgtPqrJnVUkrbQg+81h6ZCoq+2K87
   4tUFydhYQoxDFlfh2zHB5/D9t6GCBBYiwzkXTKE3+pQHgVcJEOjI0X9mX
   L1KP667vywYqMpB1EvYvGjpF+RE9hTTab5KnRA239f8TKhxj2Smn2QW9C
   w==;
X-IronPort-AV: E=Sophos;i="4.52,189,1270418400"; 
   d="scan'208,217";a="228956"
Received: from lserv01.ista.local ([10.15.21.52])
  by ironport-intern.ista.local with ESMTP; 12 Apr 2010 09:39:56 +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 o3C7dtVf028140;
	Mon, 12 Apr 2010 09:39:56 +0200
Received: from electra (188-23-67-183.adsl.highway.telekom.at [188.23.67.183])
	(authenticated bits=0)
	by sslmail1.ist.ac.at (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id o3C7dUAG015918
	(version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT);
	Mon, 12 Apr 2010 09:39:31 +0200
Message-ID: <001401cada13$57f358c0$0300000a@electra>
From: "Dejan Nickovic" <dejan.nickovic@ist.ac.at>
To: <concurrency@listserver.tue.nl>, <siksleden@cs.uu.nl>,
	<ipalist@listserver.tue.nl>, <asci@ewi.tudelft.nl>,
	<concurrency@cwi.nl>, <verimag-news@imag.fr>, <ieee-tcrts@cs.bu.edu>,
	<nvti-list@cwi.nl>, <ozsl@phil.uu.nl>,
	<concurrency@maillist.ox.ac.uk>, <focs@comlab.ox.ac.uk>,
	<agents@cs.umbc.edu>, <aiia@di.unito.it>, <appsem@disi.unige.it>,
	<behavior@cs.ucsd.edu>, <cmcs@cs.indiana.edu>,
	<csl@dbai.tuwien.ac.at>, <dbworld@cs.wisc.edu>,
	<dipartimento@di.unipi.it>, <eacsl@dimi.uniud.it>,
	<eapls@jiscmail.ac.uk>, <eatcs-it-l@unifi.it>,
	<etalle@cs.utwente.nl>, <generative@rz.tu-ilmenau.de>,
	<gragra@i3.informatik.rwth-aachen.de>, <grin@di.unipi.it>,
	<gulp-all@yahoogroups.com>,
	<hise-safety-critical@minster.cs.york.ac.uk>, <ic.eatcs@di.unipi.it>,
	<idss@socs.uts.EDU.AU>, <ifip@ifip.or.at>, <ifmsig@cs.tcd.ie>,
	<lics@informatik.hu-berlin.de>, <lics@research.att.com>,
	<lics@research.bell-labs.com>, <logic-announce@uclink4.berkeley.edu>,
	<logic-list@cs.rice.edu>, <m4m@science.uva.nl>,
	<maude-users@dcs-cpanel1.cs.uiuc.edu>, <members@fmeurope.org>,
	<oose@uni-paderborn.de>, <petrinet@informatik.uni-hamburg.de>,
	<qed@mcs.anl.gov>, <resist@laas.fr>, <rewriting@ens-lyon.fr>,
	<SAFE-NL@NIC.SURFNET.NL>, <SECURITY@FOSAD.ORG>,
	<sensoria-core@di.unipi.it>, <Sensoria@lists.tcs.ifi.lmu.de>,
	<seworld@cs.colorado.edu>, <stimdi-rek-subscribe@yahoogroups.com>,
	<theory-a@LISTSERV.NODAK.EDU>, <theory@brics.dk>,
	<theory@cl.cam.ac.uk>, <theory@cs.bham.ac.uk>,
	<tocai@dis.uniroma1.it>, <formal-methods@cs.uidaho.edu>,
	<types-announce@lists.seas.upenn.edu>, <pvs@csl.sri.com>,
	<haskell@haskell.org>, <ecoop-info@ecoop.org>,
	<coalgebras@iti.cs.tu-bs.de>, <lprolog@cs.umn.edu>,
	<list@prooftheory.org>, <moca-announce@list.it.uu.se>,
	<theorynt@LISTSERV.NODAK.EDU>, <papm@inf.ed.ac.uk>,
	<categories@mta.ca>, <caml-list@inria.fr>, <concurrency@tue.nl>,
	<qest-announce@iti.uiuc.edu>
Cc: "Krishnendu Chatterjee" <krish.chat@gmail.com>
Subject: Deadline extension: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis of Timed Systems)
Date: Mon, 12 Apr 2010 09:39:27 +0200
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_0011_01CADA24.0B000930"
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; W8:98 abstract:01 abstract:01 arial:96 arial:96 deadline:05 submission:05 submission:05 multi-part:94 extension:06 deadlines:06 deadlines:06 formal:08 modelling:08 conference:10 

This is a multi-part message in MIME format.

------=_NextPart_000_0011_01CADA24.0B000930
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Dear colleagues,

Please note that the FORMATS 2010 deadlines have been extended by a =
week. The new submission deadlines are:

      * Abstract submission: April 18, 2010=20
       =20
      * Paper submission: April 25, 2010

Best regards,

Dejan Nickovic
------=_NextPart_000_0011_01CADA24.0B000930
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2900.3676" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Dear colleagues,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Please note that the FORMATS 2010 =
deadlines have=20
been extended by a week. The new submission deadlines are:</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><STRONG>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Abstract submission: April =
18,=20
2010&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<BR>&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;=20
* Paper submission: April 25, 2010</STRONG></DIV>
<DIV><STRONG></STRONG>&nbsp;</DIV>
<DIV>Best regards,</DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV>Dejan Nickovic</DIV></BODY></HTML>

------=_NextPart_000_0011_01CADA24.0B000930--