From: Marco Bernardo <bernardo@sti.uniurb.it>
To: agents@cs.umbc.edu, appsem@appsem.org, caml-list@inria.fr,
categories@mta.ca, compunode@compulog.org,
concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr,
ecoop-info@ecoop.org, fmics@inrialpes.fr,
isabelle-users@cl.cam.ac.uk, lics@informatik.hu-berlin.de,
list@prooftheory.org, logic-announce@uclink4.berkeley.edu,
logic-list@helsinki.fi, mailinglist@fmeurope.org,
moca-announce@list.it.uu.se, papm@informatics.ed.ac.uk,
performance@merlot.usc.edu, petrinet@informatik.uni-hamburg.de,
prog-lang@diku.dk, puml-list@cs.york.ac.uk, pvs@csl.sri.com,
qest-announce@iti.uiuc.edu, seworld@sigsoft.org,
theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu,
theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu
Subject: [Caml-list] SFM 2014 in Bertinoro -- call for proposals
Date: Fri, 21 Jun 2013 11:43:52 +0200 (CEST) [thread overview]
Message-ID: <alpine.DEB.2.00.1306211141490.4410@localhost.localdomain> (raw)
[-- Attachment #1: Type: TEXT/PLAIN, Size: 2664 bytes --]
SFM 2014
14th International School on Formal Methods for
the Design of Computer, Communication and Software Systems
CALL FOR PROPOSALS
-----------------------------------------------------------------------------
SFM is a series of schools on formal methods that started in 2001
and is held at the University Residential Center of Bertinoro (Italy),
where an experienced staff takes care of the organization of the event.
The school takes place in mid June and every year it is devoted to
a specific theme within the area of formal methods in computer science.
All the relevant aspects of the theme are covered by ten monographic courses
taught by prominent international experts. The teaching material is collected
in a tutorial book published by Springer in the LNCS series.
Links to the previous editions of SFM:
http://www.sti.uniurb.it/events/sfm13ds/ (LNCS 7938)
http://www.sti.uniurb.it/events/sfm12mde/ (LNCS 7320)
http://www.sti.uniurb.it/events/sfm11connect/ (LNCS 6659)
http://www.sti.uniurb.it/events/sfm10qapl/ (LNCS 6154)
http://www.sti.uniurb.it/events/sfm09ws/ (LNCS 5569)
http://www.sti.uniurb.it/events/sfm08bio/ (LNCS 5016)
http://www.sti.uniurb.it/events/sfm07pe/ (LNCS 4486)
http://www.sti.uniurb.it/events/sfm06hv/ (LNCS 3965)
http://www.sti.uniurb.it/events/sfm05moby/ (LNCS 3465)
http://www.sti.uniurb.it/events/sfm04rt/ (LNCS 3185)
http://www.sti.uniurb.it/events/sfm03sa/ (LNCS 2804)
http://www.sti.uniurb.it/events/sfm02mc/ (model checking book)
http://www.sti.uniurb.it/events/sfm01pa/ (process algebra handbook)
---------------------------------------------------------------------------
Reserchers interested in organizing SFM-14 are invited to submit a proposal
to Marco Bernardo by August 31, 2013.
The proposal should indicate the theme of the school, its relevance to SFM,
and a provisional list of speakers/lectures.
For more information, please contact Marco Bernardo.
-----------------------------------------------------------------------------
| Prof. Marco Bernardo
-----------------------------------------------------------------------------
| Università degli Studi di Urbino "Carlo Bo"
| Dipartimento di Scienze di Base e Fondamenti
| Sezione di Scienze e Tecnologie dell'Informazione
| Piazza della Repubblica 13, 61029 Urbino, Italia
-----------------------------------------------------------------------------
| Tel.: +39-0722-304416 Email: marco.bernardo@uniurb.it
| Fax: +39-0722-447552 Web: www.sti.uniurb.it/bernardo/
-----------------------------------------------------------------------------
reply other threads:[~2013-06-21 9:43 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=alpine.DEB.2.00.1306211141490.4410@localhost.localdomain \
--to=bernardo@sti.uniurb.it \
--cc=agents@cs.umbc.edu \
--cc=appsem@appsem.org \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=compunode@compulog.org \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=ecoop-info@ecoop.org \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@helsinki.fi \
--cc=mailinglist@fmeurope.org \
--cc=moca-announce@list.it.uu.se \
--cc=papm@informatics.ed.ac.uk \
--cc=performance@merlot.usc.edu \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=qest-announce@iti.uiuc.edu \
--cc=seworld@sigsoft.org \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
/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;
as well as URLs for NNTP newsgroup(s).