10 research outputs found
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Recommended from our members
The history of banking technologies in the UK: patterns of technological investment decision-making and expertise
The central role of banking in the 2008 credit crisis has been the source of much controversy about the quality and robustness of decision-making in the Financial Services sector. This paper aims to surface the influence of the historical evolution of expertise in the banking sector, on such decisions and, in so doing, to underline that the decision-making activity is strongly linked to the views of dominant expert groups in the industry in each era. The paper proposes that Technological Investment Decision Making (TIDM), as viewed historically, has been highly contingent to both technological developments in banking and the subsequent developments in banking expertise that provides the pool for decision-makers in the industry.The paper adopts an historical perspective to illustrate that, counter to popular belief, TIDM is a socially constructed process rather than the outcome of any normative exercise. History demonstrates that there is no optimal method for TIDM with rigour and accuracy of execution determining successful outcomes. On the contrary, in each era, the "right way" to perform TIDM has always been underpinned by the standpoints and beliefs of specialised practitioners who dominated the UK banking industry and by the received wisdom of a community of expert professionals, administrators and think tanks, dictating "realities" on the state of the economy, the role of banks and the value of technologies
Proceedings of the 1st International Conference on ASEAN (IC-ASEAN) "Towards a better ASEAN", September 5-6, 2019; Padang, West Sumatra, Indonesia
Since the establishment of ASEAN (Association of Southeast Asian Nations) as a regional organization in 1967, it has played a significant role most importantly related to regional affairs and has also given notable contribution to the international arena. Undisputedly, ASEAN has been successfully fostering good relations among its members since its foundation. After completing the first period of its vision of an integrated regional community (ASEAN Community 2015), ASEAN is now preparing for the launch of ASEAN Community Vision 2025, supported by ASEAN Connectivity 2025. As a study center focusing primarily and solely on ASEAN, in collaboration with the Directorate General of ASEAN Cooperation, Indonesian Ministry of Foreign Affairs, the Center of ASEAN Studies Andalas University, will be hosting the International Conference on ASEAN (IC-ASEAN) as a platform to evaluate past actions, to discuss present issues, and to provide an outlook for the future of ASEAN. Aims and Scope The International Conference on ASEAN (IC-ASEAN) is a multidisciplinary conference which covers a broad range of area. The sub theme will be divided into two large categories focusing on ASEAN Community 2015 and 2025 also ASEAN Connectivity 2025. The sub theme related to ASEAN Community will cover issues related to the three pillars (Political-security Community, Economic Community and Social-cultural Community). Meanwhile the ASEAN Connectivity sub theme will include issues within the key areas (Physical Connectivity, Institutional Connectivity and People-to-people Connectivity
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum