* [Caml-list] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
@ 2016-01-11 16:12 Marco Bernardo
2016-01-12 7:17 ` [Caml-list] [[qest-announce] ] " Dmitry Zaitsev
0 siblings, 1 reply; 2+ messages in thread
From: Marco Bernardo @ 2016-01-11 16:12 UTC (permalink / raw)
To: agents, caml-list, categories, concurrency, ecoop-info, events,
fmics, isabelle-users, logic-announce, logic-list, moca-announce,
mycolleagues, papm, performance, petrinet, prog-lang, puml-list,
pvs, qest-announce, seworld, theorem-provers, theory-logic,
theorynt, types-announce
Cc: Rocco De Nicola, Jane Hillston
***********************************************************
* *
* 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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] [[qest-announce] ] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
2016-01-11 16:12 [Caml-list] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016) Marco Bernardo
@ 2016-01-12 7:17 ` Dmitry Zaitsev
0 siblings, 0 replies; 2+ messages in thread
From: Dmitry Zaitsev @ 2016-01-12 7:17 UTC (permalink / raw)
To: Marco Bernardo
Cc: Rocco De Nicola, Jane Hillston, agents, caml-list, categories,
concurrency, ecoop-info, events, fmics, isabelle-users,
logic-announce, logic-list, moca-announce, mycolleagues, papm,
performance, petrinet, prog-lang, puml-list, pvs, qest-announce,
seworld, theorem-provers, theory-logic, theorynt, types-announce
[-- 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 --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-01-12 7:17 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-01-11 16:12 [Caml-list] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016) Marco Bernardo
2016-01-12 7:17 ` [Caml-list] [[qest-announce] ] " Dmitry Zaitsev
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).