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 : > >*********************************************************** >* * >* 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