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 [thread overview]
Message-ID: <001401cada13$57f358c0$0300000a@electra> (raw)
[-- Attachment #1: Type: text/plain, Size: 262 bytes --]
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
* Paper submission: April 25, 2010
Best regards,
Dejan Nickovic
[-- Attachment #2: Type: text/html, Size: 950 bytes --]
reply other threads:[~2010-04-12 7:40 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='001401cada13$57f358c0$0300000a@electra' \
--to=dejan.nickovic@ist.ac.at \
--cc=SAFE-NL@NIC.SURFNET.NL \
--cc=SECURITY@FOSAD.ORG \
--cc=Sensoria@lists.tcs.ifi.lmu.de \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=appsem@disi.unige.it \
--cc=asci@ewi.tudelft.nl \
--cc=behavior@cs.ucsd.edu \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=concurrency@cwi.nl \
--cc=concurrency@listserver.tue.nl \
--cc=concurrency@maillist.ox.ac.uk \
--cc=concurrency@tue.nl \
--cc=csl@dbai.tuwien.ac.at \
--cc=dbworld@cs.wisc.edu \
--cc=dipartimento@di.unipi.it \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it-l@unifi.it \
--cc=ecoop-info@ecoop.org \
--cc=etalle@cs.utwente.nl \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=generative@rz.tu-ilmenau.de \
--cc=gragra@i3.informatik.rwth-aachen.de \
--cc=grin@di.unipi.it \
--cc=gulp-all@yahoogroups.com \
--cc=haskell@haskell.org \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=ic.eatcs@di.unipi.it \
--cc=idss@socs.uts.EDU.AU \
--cc=ieee-tcrts@cs.bu.edu \
--cc=ifip@ifip.or.at \
--cc=ifmsig@cs.tcd.ie \
--cc=ipalist@listserver.tue.nl \
--cc=krish.chat@gmail.com \
--cc=lics@informatik.hu-berlin.de \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=lprolog@cs.umn.edu \
--cc=m4m@science.uva.nl \
--cc=maude-users@dcs-cpanel1.cs.uiuc.edu \
--cc=members@fmeurope.org \
--cc=moca-announce@list.it.uu.se \
--cc=nvti-list@cwi.nl \
--cc=oose@uni-paderborn.de \
--cc=ozsl@phil.uu.nl \
--cc=papm@inf.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=qest-announce@iti.uiuc.edu \
--cc=resist@laas.fr \
--cc=rewriting@ens-lyon.fr \
--cc=sensoria-core@di.unipi.it \
--cc=seworld@cs.colorado.edu \
--cc=siksleden@cs.uu.nl \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=theory-a@LISTSERV.NODAK.EDU \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@LISTSERV.NODAK.EDU \
--cc=tocai@dis.uniroma1.it \
--cc=types-announce@lists.seas.upenn.edu \
--cc=verimag-news@imag.fr \
/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