* Deadline extension: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis of Timed Systems)
@ 2010-04-12 7:39 Dejan Nickovic
0 siblings, 0 replies; only message in thread
From: Dejan Nickovic @ 2010-04-12 7:39 UTC (permalink / raw)
To: concurrency, siksleden, ipalist, asci, concurrency, verimag-news,
ieee-tcrts, nvti-list, ozsl, concurrency, focs, agents, aiia,
appsem, behavior, cmcs, csl, dbworld, dipartimento, eacsl, eapls,
eatcs-it-l, etalle, generative, gragra, grin, gulp-all,
hise-safety-critical, ic.eatcs, idss, ifip, ifmsig, lics, lics,
lics, logic-announce, logic-list, m4m, maude-users, members,
oose, petrinet, qed, resist, rewriting, SAFE-NL, SECURITY,
sensoria-core, Sensoria, seworld, stimdi-rek-subscribe, theory-a,
theory, theory, theory, tocai, formal-methods, types-announce,
pvs, haskell, ecoop-info, coalgebras, lprolog, list,
moca-announce, theorynt, papm, categories, caml-list,
concurrency, qest-announce
Cc: Krishnendu Chatterjee
[-- 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 --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-04-12 7:40 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-12 7:39 Deadline extension: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis of Timed Systems) Dejan Nickovic
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).