{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:32:17Z","timestamp":1770294737980,"version":"3.49.0"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030720186","type":"print"},{"value":"9783030720193","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,3,23]],"date-time":"2021-03-23T00:00:00Z","timestamp":1616457600000},"content-version":"vor","delay-in-days":81,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes. Remarkably, we prove that type equality is decidable by exhibiting a reduction to trace equivalence of deterministic first-order grammars. Recognizing the high theoretical complexity of the latter, we also propose a novel type equality algorithm and prove its soundness. We observe that the algorithm is surprisingly efficient and, despite its incompleteness, sufficient for all our examples. We have implemented our ideas by extending the Rast programming language with nested session types. We conclude with several examples illustrating the expressivity of our enhanced type system.<\/jats:p>","DOI":"10.1007\/978-3-030-72019-3_7","type":"book-chapter","created":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T14:03:10Z","timestamp":1616421790000},"page":"178-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Nested Session Types"],"prefix":"10.1007","author":[{"given":"Ankush","family":"Das","sequence":"first","affiliation":[]},{"given":"Henry","family":"DeYoung","sequence":"additional","affiliation":[]},{"given":"Andreia","family":"Mordido","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,3,23]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Almeida, B., Mordido, A., Vasconcelos, V.T.: Deciding the bisimilarity of context-free session types. In: Biere, A., Parker, D. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science, vol. 12079, pp. 39\u201356. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45237-7_3, https:\/\/doi.org\/10.1007\/978-3-030-45237-7","DOI":"10.1007\/978-3-030-45237-7_3"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Klop, J.W.: Acp$$\\tau $$ a universal axiom system for process specification. In: Wirsing, M., Bergstra, J.A. (eds.) Algebraic Methods: Theory, Tools and Applications. pp. 445\u2013463. Springer Berlin Heidelberg, Berlin, Heidelberg (1989)","DOI":"10.1007\/BFb0015048"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Bird, R.S., Meertens, L.G.L.T.: Nested datatypes. In: Jeuring, J. (ed.) Mathematics of Program Construction, MPC\u201998, Marstrand, Sweden, June 15-17, 1998, Proceedings. Lecture Notes in Computer Science, vol.\u00a01422, pp. 52\u201367. Springer (1998). https:\/\/doi.org\/10.1007\/BFb0054285","DOI":"10.1007\/BFb0054285"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Bono, V., Padovani, L.: Polymorphic endpoint types for copyless message passing. In: Silva, A., Bliudze, S., Bruni, R., Carbone, M. (eds.) Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS, vol.\u00a059, pp. 52\u201367 (2011). https:\/\/doi.org\/10.4204\/EPTCS.59.5","DOI":"10.4204\/EPTCS.59.5"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bono, V., Padovani, L.: Typing copyless message passing. Log. Methods Comput. Sci. 8(1) (2012). https:\/\/doi.org\/10.2168\/LMCS-8(1:17)2012","DOI":"10.2168\/LMCS-8(1:17)2012"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Caires, L., P\u00e9rez, J.A., Pfenning, F., Toninho, B.: Behavioral polymorphism and parametricity in session-based communication. In: Felleisen, M., Gardner, P. (eds.) Programming Languages and Systems. pp. 330\u2013349. Springer, Berlin Heidelberg, Berlin, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37036-6_19"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: P. Gastin, F. Laroussinie (eds.) Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010). pp. 222\u2013236. Springer LNCS 6269, Paris, France (Aug 2010)","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Caires, L., Pfenning, F., Toninho, B.: Linear logic propositions as session types. Mathematical Structures in Computer Science 760 (11 2014)","DOI":"10.1017\/S0960129514000218"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Cervesato, I., Scedrov, A.: Relating state-based and process-based concurrency through linear logic (full-version). Information and Computation 207(10), 1044 \u2013 1077 (2009). https:\/\/doi.org\/10.1016\/j.ic.2008.11.006, special issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006)","DOI":"10.1016\/j.ic.2008.11.006"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Connelly, R.H., Morris, F.L.: A generalisation of the trie data structure. Mathematical Structures in Computer Science 5(3), 381\u2013418 (1995)","DOI":"10.1017\/S0960129500000803"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Dardha, O.: Recursive session types revisited. In: Carbone, M. (ed.) Third Workshop on Behavioural Types (BEAT 2014). pp. 27\u201334. EPTCS 162 (Sep 2014)","DOI":"10.4204\/EPTCS.162.4"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. Inf. Comput. 256, 253\u2013286 (2017). https:\/\/doi.org\/10.1016\/j.ic.2017.06.002","DOI":"10.1016\/j.ic.2017.06.002"},{"key":"7_CR13","unstructured":"Das, A., Derakhshan, F., Pfenning, F.: Rast implementation. https:\/\/bitbucket.org\/fpfenning\/rast\/src\/master\/ (2019), accessed: 2019-11-11"},{"key":"7_CR14","unstructured":"Das, A., DeYoung, H., Mordido, A., Pfenning, F.: Nested polymorphic session types (2020), https:\/\/arxiv.org\/abs\/2010.06482"},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Das, A., Hoffmann, J., Pfenning, F.: Parallel complexity analysis with temporal session types. Proc. ACM Program. Lang. 2(ICFP), 91:1\u201391:30 (Jul 2018). https:\/\/doi.org\/10.1145\/3236786","DOI":"10.1145\/3236786"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Das, A., Hoffmann, J., Pfenning, F.: Work analysis with resource-aware session types. In: Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science. pp. 305\u2013314. LICS \u201918, ACM, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3209108.3209146","DOI":"10.1145\/3209108.3209146"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Das, A., Pfenning, F.: Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). In: Ariola, Z.M. (ed.) 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0167, pp. 33:1\u201333:17. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2020). https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2020.33","DOI":"10.4230\/LIPIcs.FSCD.2020.33"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Das, A., Pfenning, F.: Session Types with Arithmetic Refinements. In: Konnov, I., Kov\u00e1cs, L. (eds.) 31st International Conference on Concurrency Theory (CONCUR 2020). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0171, pp. 13:1\u201313:18. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2020). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.13","DOI":"10.4230\/LIPIcs.CONCUR.2020.13"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Das, A., Pfenning, F.: Verified linear session-typed concurrent programming. In: 22nd International Symposium on Principles and Practice of Declarative Programming. PPDP \u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3414080.3414087","DOI":"10.1145\/3414080.3414087"},{"key":"7_CR20","unstructured":"Derakhshan, F., Pfenning, F.: Circular Proofs as Session-Typed Processes: A Local Validity Condition. arXiv e-prints $${\\rm arXiv{:}1908.01909}$$ (Aug 2019)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Dyck: Gruppentheoretische studien. (mit drei lithographirten tafeln.). Mathematische Annalen 20, 1\u201344 (1882), http:\/\/eudml.org\/doc\/157013","DOI":"10.1007\/BF01443322"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Friedman, E.P.: The inclusion problem for simple languages. Theor. Comput. Sci. 1(4), 297\u2013316 (1976). https:\/\/doi.org\/10.1016\/0304-3975(76)90074-8","DOI":"10.1016\/0304-3975(76)90074-8"},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Gay, S., Hole, M.: Subtyping for session types in the pi calculus. Acta Informatica 42(2), 191\u2013225 (Nov 2005). https:\/\/doi.org\/10.1007\/s00236-005-0177-z","DOI":"10.1007\/s00236-005-0177-z"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Gay, S.J.: Bounded polymorphism in session types. Math. Struct. Comput. Sci. 18(5), 895\u2013930 (2008). https:\/\/doi.org\/10.1017\/S0960129508006944","DOI":"10.1017\/S0960129508006944"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Girard, J.Y., Lafont, Y.: Linear logic and lazy computation. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT \u201987. pp. 52\u201366. Springer Berlin Heidelberg, Berlin, Heidelberg (1987)","DOI":"10.1007\/BFb0014972"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Griffith, D.: Polarized Substructural Session Types. Ph.D. thesis, University of Illinois at Urbana-Champaign (Apr 2016)","DOI":"10.2172\/1562827"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Henry, P., S\u00e9nizergues, G.: Lalblc a program testing the equivalence of dpda\u2019s. In: International Conference on Implementation and Application of Automata. pp. 169\u2013180. Springer (2013)","DOI":"10.1007\/978-3-642-39274-0_16"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Hinze, R.: Generalizing generalized tries. Journal of Functional Pogramming 10(4), 327\u2013351 (Jul 2010)","DOI":"10.1017\/S0956796800003713"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR\u201993. pp. 509\u2013523. Springer, Berlin Heidelberg, Berlin, Heidelberg (1993)","DOI":"10.1007\/3-540-57208-2_35"},{"key":"7_CR30","unstructured":"Jan\u010dar, P.: Short decidability proof for DPDA language equivalence via 1st order grammar bisimilarity. CoRR abs\/1010.4760 (2010), http:\/\/arxiv.org\/abs\/1010.4760"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Jancar, P.: Bisimilarity on basic process algebra is in 2-exptime (an explicit proof). arXiv preprint $${\\rm arXiv{:}1207.2479}$$ (2012)","DOI":"10.2168\/LMCS-9(1:10)2013"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Johann, P., Ghani, N.: Haskell programming with nested types: A principled approach. Higher-Order and Symbolic Computation 22(2), 155\u2013189 (Jun 2009)","DOI":"10.1007\/s10990-009-9047-7"},{"key":"7_CR33","doi-asserted-by":"publisher","unstructured":"Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU\/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Lecture Notes in Computer Science, vol.\u00a02757, pp. 439\u2013453. Springer (2002). https:\/\/doi.org\/10.1007\/978-3-540-40007-3_26","DOI":"10.1007\/978-3-540-40007-3_26"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Korenjak, A.J., Hopcroft, J.E.: Simple deterministic languages. In: 7th Annual Symposium on Switching and Automata Theory (swat 1966). pp. 36\u201346. IEEE (1966)","DOI":"10.1109\/SWAT.1966.22"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Lindley, S., Morris, J.G.: Talking bananas: Structural recursion for session types. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. p. 434\u2013447. ICFP 2016, Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2951913.2951921","DOI":"10.1145\/2951913.2951921"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Mycroft, A.: Polymorphic type schemes and recursive definitions. In: Paul, M., Robinet, B. (eds.) International Symposium on Programming. pp. 217\u2013228. Springer Berlin Heidelberg, Berlin, Heidelberg (1984)","DOI":"10.1007\/3-540-12925-1_41"},{"key":"7_CR37","unstructured":"Okasaki, C.: Purely Functional Data Structures. Ph.D. thesis, Department of Computer Science, Carnegie Mellon University (1996)"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J.A., Caires, L., Pfenning, F., Toninho, B.: Linear logical relations and observational equivalences for session-based concurrency. Information and Computation 239, 254\u2013302 (2014)","DOI":"10.1016\/j.ic.2014.08.001"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Griffith, D.: Polarized substructural session types. In: Pitts, A. (ed.) Foundations of Software Science and Computation Structures. pp. 3\u201322. Springer Berlin Heidelberg, Berlin, Heidelberg (2015)","DOI":"10.1007\/978-3-662-46678-0_1"},{"key":"7_CR40","doi-asserted-by":"publisher","unstructured":"Pierce, B.C., Turner, D.N.: Local type inference. ACM Trans. Program. Lang. Syst. 22(1), 1\u201344 (Jan 2000). https:\/\/doi.org\/10.1145\/345099.345100","DOI":"10.1145\/345099.345100"},{"key":"7_CR41","doi-asserted-by":"publisher","unstructured":"S\u00e9nizergues, G.: L(a)=l(b)? A simplified decidability proof. Theor. Comput. Sci. 281(1-2), 555\u2013608 (2002). https:\/\/doi.org\/10.1016\/S0304-3975(02)00027-0","DOI":"10.1016\/S0304-3975(02)00027-0"},{"key":"7_CR42","doi-asserted-by":"publisher","unstructured":"Solomon, M.H.: Type definitions with parameters. In: Aho, A.V., Zilles, S.N., Szymanski, T.G. (eds.) Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978. pp. 31\u201338. ACM Press (1978). https:\/\/doi.org\/10.1145\/512760.512765","DOI":"10.1145\/512760.512765"},{"key":"7_CR43","doi-asserted-by":"publisher","unstructured":"Stirling, C.: Decidability of DPDA equivalence. Theor. Comput. Sci. 255(1-2), 1\u201331 (2001). https:\/\/doi.org\/10.1016\/S0304-3975(00)00389-3","DOI":"10.1016\/S0304-3975(00)00389-3"},{"key":"7_CR44","doi-asserted-by":"publisher","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Maritsas, D.G., Philokyprou, G., Theodoridis, S. (eds.) PARLE \u201994: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Lecture Notes in Computer Science, vol.\u00a0817, pp. 398\u2013413. Springer (1994). https:\/\/doi.org\/10.1007\/3-540-58184-7_118","DOI":"10.1007\/3-540-58184-7_118"},{"key":"7_CR45","doi-asserted-by":"publisher","unstructured":"Thiemann, P., Vasconcelos, V.T.: Context-free session types. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Japan. pp. 462\u2013475. ACM (2016). https:\/\/doi.org\/10.1145\/2951913.2951926, https:\/\/doi.org\/10.1145\/2951913","DOI":"10.1145\/2951913.2951926"},{"key":"7_CR46","doi-asserted-by":"publisher","unstructured":"Thiemann, P., Vasconcelos, V.T.: Label-dependent session types. Proceedings of the ACM on Programming Languages 4(POPL), 67:1\u201367:29 (2020). https:\/\/doi.org\/10.1145\/3371135","DOI":"10.1145\/3371135"},{"key":"7_CR47","doi-asserted-by":"publisher","unstructured":"Wadler, P.: Propositions as sessions. In: Thiemann, P., Findler, R.B. (eds.) ACM SIGPLAN International Conference on Functional Programming, ICFP\u201912, Copenhagen, Denmark, September 9-15, 2012. pp. 273\u2013286. ACM (2012). https:\/\/doi.org\/10.1145\/2364527.2364568, https:\/\/doi.org\/10.1145\/2364527.2364568","DOI":"10.1145\/2364527.2364568"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-72019-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T03:06:16Z","timestamp":1635131176000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-72019-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030720186","9783030720193"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-72019-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"23 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 April 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2021\/esop","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"79","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference took place virtually due to the COVID-19 pandemic","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}