From: "Dmitry Zaitsev" <zaitsev_dmitry@mail.ru>
To: "Marco Bernardo" <bernardo@sti.uniurb.it>
Cc: "Rocco De Nicola" <rocco.denicola@imtlucca.it>,
"Jane Hillston" <jane.hillston@ed.ac.uk>,
agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca,
concurrency@listserver.tue.nl, ecoop-info@ecoop.org,
events@fmeurope.org, fmics@inrialpes.fr,
isabelle-users@cl.cam.ac.uk, logic-announce@uclink4.berkeley.edu,
logic-list@helsinki.fi, moca-announce@list.it.uu.se,
mycolleagues@mailman.ufsc.br, 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: Re: [Caml-list] [[qest-announce] ] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
Date: Tue, 12 Jan 2016 10:17:08 +0300 [thread overview]
Message-ID: <1452583028.332587918@f401.i.mail.ru> (raw)
In-Reply-To: <alpine.DEB.2.02.1601111710500.7653@dechirico.sti.uniurb.it>
[-- Attachment #1: Type: text/plain, Size: 6330 bytes --]
thank you for invitation
i offer a keynote talk on topics of my videolecture
Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.
http://www.igi-global.com/video/petri-nets-modeling-computing/135018
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
>Понедельник, 11 января 2016, 17:12 +01:00 от Marco Bernardo <bernardo@sti.uniurb.it>:
>
>***********************************************************
>* *
>* SFM-16:QUANTICOL *
>* *
>* 16th International School on *
>* Formal Methods for the Design of *
>* Computer, Communication and Software Systems: *
>* Quantitative Evaluation of Collective Adaptive Systems *
>* *
>* Bertinoro (Italy), 20-24 June 2016 *
>* *
>* http://www.sti.uniurb.it/events/sfm16quanticol/ *
>* *
>***********************************************************
>* CALL FOR PARTICIPATION *
>* (deadline: 21 March 2016) *
>***********************************************************
>
>
>GENERAL INFORMATION ABOUT SFM
>^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>
>Formal methods are emerging in computer science as a prominent
>approach to the rigorous design of computer, communication and
>software systems.
>
>The aim of the SFM series is to offer a good spectrum of
>current research in foundations as well as applications of
>formal methods, which can be of interest for graduate students
>and young researchers who intend to approach the field.
>
>This year SFM is devoted to the quantitative evaluation of
>collective adaptive systems and covers topics such as
>self-organization in distributed systems, scalable quantitative
>analysis, spatio-temporal models, and aggregate programming.
>
>
>COURSES AND LECTURERS
>^^^^^^^^^^^^^^^^^^^^^
>
>The school features the following lectures:
>
> "Self-Organization in Distributed Computing Systems"
> Giovanna Di Marzo Serugendo (U Geneve, CH)
>
> "Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
> Carolyn Talcott (SRI International, US)
>
> "Dependability of Adaptable and Evolvable Distributed Systems"
> Carlo Ghezzi (Politecnico Milano, IT)
>
> "Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
> Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
> Luca Bortolussi (U Trieste, IT)
>
> "Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools"
> Michele Loreti (U Firenze, IT)
>
> "Spatial Representations and Analysis Techniques"
> Vashti Galpin (U Edinburgh, UK)
>
> "Spatial Logic and Spatial Model Checking"
> Mieke Massink (CNR-ISTI Pisa, IT)
> Vincenzo Ciancia (CNR-ISTI Pisa, IT)
>
> "Spatio-Temporal Model Checking"
> Radu Grosu (TU Wien, AT)
>
> "Tool Support for Collective Adaptive Systems Modeling"
> Mirco Tribastone (IMT Lucca, IT)
>
> "Aggregate Programming"
> Jake Beal (BBN Technologies, US)
>
>All participants will receive a copy of a tutorial book published by
>Springer as a volume in the Lecture Notes in Computer Science series.
>
>
>LOCATION
>^^^^^^^^
>
>SFM-16:QUANTICOL will be held in the medieval hilltop town of Bertinoro.
>
>This place is in Emilia Romagna, about 70 km south-east of Bologna,
>at an elevation of about 230 m. It can be reached in a couple of
>hours from the international airport "G. Marconi" of Bologna by
>shuttle (from the airport to the railway station) + train (from
>Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
>
>Bertinoro is close to many splendid locations such as Urbino,
>Gradara, San Leo, and the Republic of San Marino, as well as some
>less well-known locations like the thermal springs of Fratta Terme.
>Bertinoro can also be a base for visiting some of the better-known
>Italian locations such as Bologna, Modena, Parma, Rimini, Ravenna,
>Ferrara, Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.
>
>Bertinoro itself is picturesque, with its narrow streets and
>walkways winding around the central peak. The school will be held
>at the Centro Residenziale Universitario (CRU), an ex-episcopal
>fortress that has been converted into a modern conference center.
>From the fortress, it is possible to enjoy a beautiful vista stretching
>from the Apennines to the Adriatic Coast and the Alps over the Po Valley.
>
>
>ORGANIZATION
>^^^^^^^^^^^^
>
>Scientific directors:
>* Marco Bernardo (U Urbino, IT)
>* Rocco De Nicola (IMT Lucca, IT)
>* Jane Hillston (U Edinburgh, UK)
>
>Secretary:
>* Monica Michelacci (CRU Bertinoro, IT)
>
>
>APPLICATION
>^^^^^^^^^^^
>
>Prospective participants should send by 21 March 2016
>the application form, available on the school website,
>to the two e-mail addresses below:
>
> Marco Bernardo
> marco.bernardo AT uniurb.it
>
> Monica Michelacci
> mmichelacci AT ceub.it
>
>The registration fee is 300 euros and includes the school material.
>
>The accommodation fee is 350 euros and covers the period
>June 19-25 (6 nights), double room (to share with another participant),
>half board (breakfast and lunch from June 20, lunch of June 25 excluded).
>
>The reduced accommodation fee for participants who do not need
>a room is 100 euros and covers the period June 20-24 (5 lunches).
>
>A very limited number of grants is available to cover
>the registration fee (no grant can be requested
>to cover the accommodation fee or the travel expenses).
>
>Notification of accepted/rejected applications and
>grant requests will be communicated by March 31.
>
>Registration to the school, including payment of fees,
>is due by April 20.
>
>No refund is possible for cancellation after May 15.
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
[-- Attachment #2: Type: text/html, Size: 8111 bytes --]
prev parent reply other threads:[~2016-01-12 7:17 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-11 16:12 [Caml-list] " Marco Bernardo
2016-01-12 7:17 ` Dmitry Zaitsev [this message]
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=1452583028.332587918@f401.i.mail.ru \
--to=zaitsev_dmitry@mail.ru \
--cc=agents@cs.umbc.edu \
--cc=bernardo@sti.uniurb.it \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=concurrency@listserver.tue.nl \
--cc=ecoop-info@ecoop.org \
--cc=events@fmeurope.org \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=jane.hillston@ed.ac.uk \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@helsinki.fi \
--cc=moca-announce@list.it.uu.se \
--cc=mycolleagues@mailman.ufsc.br \
--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=rocco.denicola@imtlucca.it \
--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).