{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T10:03:10Z","timestamp":1779357790043,"version":"3.51.4"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030614690","type":"print"},{"value":"9783030614706","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-61470-6_21","type":"book-chapter","created":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T18:03:12Z","timestamp":1603735392000},"page":"344-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["FScaFi : A Core Calculus for Collective Adaptive Systems Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9149-949X","authenticated-orcid":false,"given":"Roberto","family":"Casadei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2702-5702","authenticated-orcid":false,"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-0375","authenticated-orcid":false,"given":"Giorgio","family":"Audrito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,27]]},"reference":[{"key":"21_CR1","unstructured":"Anderson, S., Bredeche, N., Eiben, A., Kampis, G., van Steen, M.: Adaptive collective systems: herding black sheep (2013)"},{"issue":"9","key":"21_CR2","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2015.261","volume":"48","author":"J Beal","year":"2015","unstructured":"Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the Internet of Things. IEEE Comput. 48(9), 22\u201330 (2015)","journal-title":"IEEE Comput."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"100486","DOI":"10.1016\/j.jlamp.2019.100486","volume":"109","author":"M Viroli","year":"2019","unstructured":"Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Logical Algebraic Methods Program. 109, 100486 (2019). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2019.100486","journal-title":"J. Logical Algebraic Methods Program."},{"key":"21_CR4","doi-asserted-by":"publisher","unstructured":"Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: languages for spatial computing. In: Mernik, M. (ed.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chap. 16, pp. 436\u2013501. IGI Global (2013). \nhttps:\/\/doi.org\/10.4018\/978-1-4666-2092-6.ch016","DOI":"10.4018\/978-1-4666-2092-6.ch016"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/3285956","volume":"20","author":"G Audrito","year":"2019","unstructured":"Audrito, G., Viroli, M., Damiani, F., Pianini, D., Beal, J.: A higher-order calculus of computational fields. ACM Trans. Comput. Logic 20(1), 5:1\u20135:55 (2019). \nhttps:\/\/doi.org\/10.1145\/3285956","journal-title":"ACM Trans. Comput. Logic"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MIS.2006.29","volume":"21","author":"J Beal","year":"2006","unstructured":"Beal, J., Bachrach, J.: Infrastructure for engineered emergence in sensor\/actuator networks. IEEE Intell. Syst. 21, 10\u201319 (2006)","journal-title":"IEEE Intell. Syst."},{"issue":"4","key":"21_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1\u201356 (2009). \nhttps:\/\/doi.org\/10.1145\/1538942.1538945","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"21_CR8","unstructured":"Casadei, R., Pianini, D., Viroli, M.: Simulating large-scale aggregate MASs with alchemist and scala. In: 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 1495\u20131504. IEEE (2016)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Pianini, D., Viroli, M., Beal, J.: Protelis: practical aggregate programming. In: 2015 ACM Symposium on Applied Computing, pp. 1846\u20131853 (2015)","DOI":"10.1145\/2695664.2695913"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/3105758","volume":"12","author":"J Beal","year":"2017","unstructured":"Beal, J., Viroli, M., Pianini, D., Damiani, F.: Self-adaptation to device distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12(3), 12:1\u201312:29 (2017). \nhttps:\/\/doi.org\/10.1145\/3105758","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/3177774","volume":"28","author":"M Viroli","year":"2018","unstructured":"Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2), 16:1\u201316:28 (2018). \nhttps:\/\/doi.org\/10.1145\/3177774","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"21_CR12","volume-title":"DSL Engineering: Designing, Implementing and Using Domain-Specific Languages","author":"M Voelter","year":"2013","unstructured":"Voelter, M.: DSL Engineering: Designing, Implementing and Using Domain-Specific Languages. CreateSpace Independent Publishing Platform, Scotts Valley (2013)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Viroli, M., Casadei, R., Pianini, D.: On execution platforms for large-scale aggregate computing. In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, pp. 1321\u20131326. ACM (2016)","DOI":"10.1145\/2968219.2979129"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-030-00302-9_4","volume-title":"Programming with Actors","author":"R Casadei","year":"2018","unstructured":"Casadei, R., Viroli, M.: Programming actor-based collective adaptive systems. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789, pp. 94\u2013122. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-00302-9_4"},{"key":"21_CR15","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2016","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt, Birmingham (2016)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Efftinge, S., et al.: Xbase: implementing domain-specific languages for Java. In: ACM SIGPLAN Notices, vol. 48, pp. 112\u2013121. ACM (2012)","DOI":"10.1145\/2480361.2371419"},{"key":"21_CR17","volume-title":"Pattern Hatching: Design Patterns Applied","author":"JM Vlissides","year":"1998","unstructured":"Vlissides, J.M.: Pattern Hatching: Design Patterns Applied. Addison-Wesley, Reading (1998)"},{"issue":"7","key":"21_CR18","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/1965724.1965740","volume":"54","author":"D Ghosh","year":"2011","unstructured":"Ghosh, D.: DSL for the uninitiated. Commun. ACM 54(7), 44\u201350 (2011). \nhttps:\/\/doi.org\/10.1145\/1965724.1965740","journal-title":"Commun. ACM"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54624-2_18"},{"key":"21_CR20","doi-asserted-by":"publisher","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECO: an ensemble-based component system. In: Proceedings of the 16th International ACM Sigsoft symposium on Component-Based software engineering, pp. 81\u201390. ACM (2013). \nhttps:\/\/doi.org\/10.1145\/2465449.2465462","DOI":"10.1145\/2465449.2465462"},{"issue":"9","key":"21_CR21","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1002\/spe.2270","volume":"45","author":"F Baude","year":"2015","unstructured":"Baude, F., Henrio, L., Ruz, C.: Programming distributed and adaptable autonomous components-the GCM\/ProActive framework. Softw.: Pract. Exp. 45(9), 1189\u20131227 (2015). \nhttps:\/\/doi.org\/10.1002\/spe.2270","journal-title":"Softw.: Pract. Exp."},{"issue":"2","key":"21_CR22","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. (TAAS) 9(2), 7:1\u20137:29 (2014). \nhttps:\/\/doi.org\/10.1145\/2619998","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp. 1840\u20131845 (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.scico.2018.08.006","volume":"168","author":"R De Nicola","year":"2018","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang: empowering erlang with attribute-based communication. Sci. Comput. Program. 168, 71\u201393 (2018)","journal-title":"Sci. Comput. Program."},{"key":"21_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-030-22397-7_12","volume-title":"Coordination Models and Languages","author":"R Casadei","year":"2019","unstructured":"Casadei, R., Viroli, M., Audrito, G., Pianini, D., Damiani, F.: Aggregate processes in field calculus. In: Riis Nielson, H., Tuosto, E. (eds.) COORDINATION 2019. LNCS, vol. 11533, pp. 200\u2013217. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-22397-7_12"},{"key":"21_CR26","unstructured":"Coore, D.: Botanical computing: a developmental approach to generating interconnect topologies on an amorphous computer. Ph.D. thesis, MIT (1999)"},{"key":"21_CR27","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-73849-7_31","volume-title":"Unifying Themes in Complex Systems IV","author":"R Nagpal","year":"2008","unstructured":"Nagpal, R.: Programmable pattern-formation and scale-independence. In: Minai, A.A., Bar-Yam, Y. (eds.) Unifying Themes in Complex Systems IV, pp. 275\u2013282. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-73849-7_31"},{"key":"21_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-30829-1_15","volume-title":"Coordination Models and Languages","author":"M Viroli","year":"2012","unstructured":"Viroli, M., Pianini, D., Beal, J.: Linda in space-time: an adaptive coordination model for mobile ad-hoc environments. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 212\u2013229. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-30829-1_15"},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11776178_10","volume-title":"Distributed Computing in Sensor Systems","author":"L Mottola","year":"2006","unstructured":"Mottola, L., Picco, G.P.: Logical neighborhoods: a programming abstraction for wireless sensor networks. In: Gibbons, P.B., Abdelzaher, T., Aspnes, J., Rao, R. (eds.) DCOSS 2006. LNCS, vol. 4026, pp. 150\u2013168. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11776178_10"},{"issue":"6","key":"21_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/1064978.1065040","volume":"40","author":"Y Ni","year":"2005","unstructured":"Ni, Y., Kremer, U., Stere, A., Iftode, L.: Programming ad-hoc networks of mobile and resource-constrained devices. ACM SIGPLAN Not. 40(6), 249\u2013260 (2005)","journal-title":"ACM SIGPLAN Not."},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Wada, H., Boonma, P., Suzuki, J.: A spacetime oriented macroprogramming paradigm for push-pull hybrid sensor networking. In: 2007 16th International Conference on Computer Communications and Networks, pp. 868\u2013875. IEEE (2007)","DOI":"10.1109\/ICCCN.2007.4317927"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Newton, R., Welsh, M.: Region streams: functional macroprogramming for sensor networks. In: Workshop on Data Management for Sensor Networks, pp. 78\u201387 (2004)","DOI":"10.1145\/1052199.1052213"},{"issue":"2","key":"21_CR33","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-7315(89)90018-X","volume":"7","author":"BR Engstrom","year":"1989","unstructured":"Engstrom, B.R., Cappello, P.R.: The SDEF programming system. J. Parallel Distrib. Comput. 7(2), 201\u2013231 (1989)","journal-title":"J. Parallel Distrib. Comput."},{"key":"21_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/11527800_11","volume-title":"Unconventional Programming Paradigms","author":"J-L Giavitto","year":"2005","unstructured":"Giavitto, J.-L., Michel, O., Cohen, J., Spicher, A.: Computations in space and space in computations. In: Ban\u00e2tre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 137\u2013152. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11527800_11"},{"issue":"3","key":"21_CR35","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR36","doi-asserted-by":"publisher","unstructured":"Audrito, G., Damiani, F., Viroli, M., Casadei, R.: Run-time management of computation domains in field calculus. In: IEEE International Workshops on Foundations and Applications of Self* Systems, pp. 192\u2013197. IEEE (2016). \nhttps:\/\/doi.org\/10.1109\/FAS-W.2016.50","DOI":"10.1109\/FAS-W.2016.50"},{"issue":"1","key":"21_CR37","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TSE.1987.232563","volume":"13","author":"FCH Lin","year":"1987","unstructured":"Lin, F.C.H., Keller, R.M.: The gradient model load balancing method. IEEE Trans. Softw. Eng. 13(1), 32\u201338 (1987). \nhttps:\/\/doi.org\/10.1109\/TSE.1987.232563","journal-title":"IEEE Trans. Softw. Eng."},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Beal, J., Bachrach, J., Vickery, D., Tobenkin, M.: Fast self-healing gradients. In: 2008 Proceedings of ACM SAC, pp. 1969\u20131975. ACM (2008)","DOI":"10.1145\/1363686.1364163"},{"key":"21_CR39","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Damiani, F., Viroli, M.: Compositional blocks for optimal self-healing gradients. In: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO, pp. 91\u2013100. IEEE Computer Society (2017). \nhttps:\/\/doi.org\/10.1109\/SASO.2017.18","DOI":"10.1109\/SASO.2017.18"},{"key":"21_CR40","doi-asserted-by":"publisher","unstructured":"Viroli, M., Beal, J., Damiani, F., Pianini, D.: Efficient engineering of complex self-organising systems by self-stabilising fields. In: 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp. 81\u201390. IEEE, September 2015. \nhttps:\/\/doi.org\/10.1109\/SASO.2015.16","DOI":"10.1109\/SASO.2015.16"},{"key":"21_CR41","doi-asserted-by":"publisher","unstructured":"Damiani, F., Viroli, M.: Type-based self-stabilisation for computational fields. Logical Methods Comput. Sci. 11(4) (2015). \nhttps:\/\/doi.org\/10.2168\/LMCS-11(4:21)2015","DOI":"10.2168\/LMCS-11(4:21)2015"},{"key":"21_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-92408-3_1","volume-title":"Coordination Models and Languages","author":"G Audrito","year":"2018","unstructured":"Audrito, G., Beal, J., Damiani, F., Viroli, M.: Space-time universality of field calculus. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 1\u201320. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-92408-3_1"},{"issue":"3","key":"21_CR43","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/s11036-012-0411-1","volume":"18","author":"S Montagna","year":"2013","unstructured":"Montagna, S., Viroli, M., Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Zambonelli, F.: Injecting self-organisation into pervasive service ecosystems. Mobile Netw. Appl. 18(3), 398\u2013412 (2013). \nhttps:\/\/doi.org\/10.1007\/s11036-012-0411-1","journal-title":"Mobile Netw. Appl."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61470-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T18:14:15Z","timestamp":1603736055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61470-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030614690","9783030614706"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61470-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"27 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}