[TYPES/announce] ProWeb20: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ProWeb20: 4th International Workshop on Programming Technology for the Future Web https://2020.programming-conference.org/track/proweb-2020-papers Co-located with the 2020 conference March <23rd / 24th -- TBC>, Porto, Portugal Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Papers ** The ProWeb20 workshop is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality, as well as experience reports about their usage. Relevant topics include, but are not limited to: * Quality on the new web: static and dynamic program analyses, metrics, development tools, automated testing, contract systems, type systems, migration from legacy architectures, web service APIs, API conformance checking, ... * Designing for and hosting novel languages on the web: compilation to JavaScript, WebAssembly, … * Multi-tier (or tierless) programming: frameworks for isomorphic applications, new languages and runtimes, tier-splitting compilers, type systems, ... * Data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, ... * Security on the new web: security policies, policy enforcement, membranes, vulnerability detection, dynamic patching, ... * Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSockets, Web Storage, Service Workers, Meteor, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js …) * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web, how to master and combine the myriad of tier-specific technologies required to develop a web application, … * Position papers on what the future of the web will look like This year, we are accepting two types of submission: * **Full papers and experience reports**: 6-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library. * **Presentation abstracts**: 2-page extended abstracts. Presentation abstracts will not be included in the ACM Digital Library, but will be included in an informal pre-proceedings on the website. We very much welcome presentation abstracts about work already published elsewhere, or giving an overview of an existing system, and the format is designed not to preclude future publication. Submissions should be in ACM SIGPLAN two-column format (see https://www.sigplan.org/Resources/Author/). Page limits do not include bibliographies. If you have any questions, or wonder whether your submission is in scope, please do not hesitate to contact the PC co-chairs. More information: https://2020.programming-conference.org/track/proweb-2020-papers ** Important dates (AoE) ** - Submission deadline: 15th January 2020 - Author notification: 15th February 2020 - Camera-ready version: 1st May 2020 ** Organizers ** - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland - Simon Fowler, University of Edinburgh, United Kingdom ** Program Committee ** - Saba Alimadadi, Simon Fraser University, Canada - Anton Ekblad, Chalmers University of Technology, Sweden - Maurizio Leotta, University of Genova, Italy - Kevin Moran, College of William & Mary, United States - Jens Nicolay, Vrije Universiteit Brussel, Belgium - Cesare Pautasso, Università della Svizzera italiana (USI), Switzerland - Tomas Petricek, University of Kent, United Kingdom - Gabriel Radanne, University of Freiburg, Germany - Filippo Ricca, University of Genova, Italy - Pascal Weisenburger, Technische Universität Darmstadt, Germany The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] ProWeb20: Final call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please find the final call for contributions to ProWeb20 below. The ProWeb series seeks to provide a forum for programming languages and software engineering researchers working in the domain of web technologies. In particular, please note that in addition to regular papers, we are soliciting 1-2 page presentation abstracts which can describe already-published work or work in progress; the format is designed not to preclude future publication. If you are working in this area, please do consider submitting---it would be excellent to get as many people working in this area in a room as possible! --- ProWeb20: 4th International Workshop on Programming Technology for the Future Web https://2020.programming-conference.org/track/proweb-2020-papers Co-located with the 2020 conference March 23rd, Porto, Portugal Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Papers ** The ProWeb20 workshop is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality, as well as experience reports about their usage. Relevant topics include, but are not limited to: * Quality on the new web: static and dynamic program analyses, metrics, development tools, automated testing, contract systems, type systems, migration from legacy architectures, web service APIs, API conformance checking, ... * Designing for and hosting novel languages on the web: compilation to JavaScript, WebAssembly, … * Multi-tier (or tierless) programming: frameworks for isomorphic applications, new languages and runtimes, tier-splitting compilers, type systems, ... * Data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, ... * Security on the new web: security policies, policy enforcement, membranes, vulnerability detection, dynamic patching, ... * Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSockets, Web Storage, Service Workers, Meteor, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js …) * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web, how to master and combine the myriad of tier-specific technologies required to develop a web application, … * Position papers on what the future of the web will look like This year, we are accepting two types of submission: * **Full papers and experience reports**: 6-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library. * **Presentation abstracts**: 1-2 page extended abstracts. Presentation abstracts will not be included in the ACM Digital Library, but will be included in an informal pre-proceedings on the website. We very much welcome presentation abstracts about work already published elsewhere, or giving an overview of an existing system, and the format is designed not to preclude future publication. Submissions should be in ACM SIGPLAN two-column format (see https://www.sigplan.org/Resources/Author/). Page limits do not include bibliographies. If you have any questions, or wonder whether your submission is in scope, please do not hesitate to contact the PC co-chairs. More information: https://2020.programming-conference.org/track/proweb-2020-papers ** Important dates (AoE) ** - Submission deadline: 15th January 2020 - Author notification: 15th February 2020 - Camera-ready version: 1st May 2020 ** Organizers ** - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland - Simon Fowler, University of Edinburgh, United Kingdom ** Program Committee ** - Saba Alimadadi, Simon Fraser University, Canada - Anton Ekblad, Chalmers University of Technology, Sweden - Maurizio Leotta, University of Genova, Italy - Kevin Moran, College of William & Mary, United States - Jens Nic
[TYPES/announce] ProWeb21 Call for Contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ProWeb 2021: 5th International Workshop on Programming Technology for the Future Web https://2021.programming-conference.org/track/proweb-2021-papers Co-located with the conference March 22nd - 26th, Online Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality: Google Docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP requests with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data are increasingly distributed and traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Contributions ** The ProWeb21 workshop is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses, and development tools) and formalisms for implementing web applications and for maintaining their quality, as well as experience reports about their usage. Relevant topics include, but are not limited to: * Applications of AI to web software development: code models, code prediction, change impact analysis, automated testing * Web App Quality: static and dynamic program analyses, metrics, development tools, automated testing, contract systems, type systems, migration from legacy architectures, web service APIs, API conformance checking * Designing for and hosting novel languages on the web: compilation to JavaScript, WebAssembly * Multi-tier (or tierless) programming: new languages and runtimes, tier-splitting compilers, type systems * Principles and practice of Web UI programming: data binding, reactive programming, virtual DOM * Data sharing, replication, and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication * Security on the new web: security policies, policy enforcement, membranes, vulnerability detection, dynamic patching * Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSockets, Web Storage, Service Workers, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, PureScript, ClojureScript, Amber Smalltalk, Scala.js) * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web, how to master and combine the myriad of tier-specific technologies required to develop a web application * Position papers on what the future of the web will look like This year, we are accepting three types of submission: * **Full papers, position papers, and experience reports**: 8-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library. * **Demo papers**: 4-page illustrating demonstrations of tools and prototypes. * **Presentation abstracts**: 2-page extended abstracts. Presentation abstracts will not be included in the ACM Digital Library but will be included in an informal pre-proceedings on the website. We very much welcome presentation abstracts about work already published elsewhere, or giving an overview of an existing system, and the format is designed not to preclude future publication. Submissions should be in ACM SIGPLAN two-column format (see https://www.sigplan.org/Resources/Author/). References are not counted in the page limits. If you have any questions or wonder whether your submission is in scope, please do not hesitate to contact the PC co-chairs. More information: https://2021.programming-conference.org/track/proweb-2021-papers ** Important dates (AoE) ** - Submission deadline: 1st February 2021 - Author notification: 1st March 2021 - Camera-ready version: 1st May 2021 ** Organizers ** - Simon Fowler, University of Glasgow, Scotland, United Kingdom - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland
[TYPES/announce] ProWeb21: Deadline Extension (8th February)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have decided to extend the deadline of ProWeb21, held online alongside '21; the new deadline is 8th February 2021. Please find the updated CfP below. === ProWeb21: 5th International Workshop on Programming Technology for the Future Web https://2021.programming-conference.org/track/proweb-2021-papers Co-located with the conference March 22nd - 26th, Online Submission link: https://easychair.org/conferences/?conf=proweb21 ** DEADLINE EXTENSION: 8th February 2021 ** Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality: Google Docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP requests with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data are increasingly distributed and traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Contributions ** The ProWeb21 workshop is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses, and development tools) and formalisms for implementing web applications and for maintaining their quality, as well as experience reports about their usage. Relevant topics include, but are not limited to: * Applications of AI to web software development: code models, code prediction, change impact analysis, automated testing * Web App Quality: static and dynamic program analyses, metrics, development tools, automated testing, contract systems, type systems, migration from legacy architectures, web service APIs, API conformance checking * Designing for and hosting novel languages on the web: compilation to JavaScript, WebAssembly * Multi-tier (or tierless) programming: new languages and runtimes, tier-splitting compilers, type systems * Principles and practice of Web UI programming: data binding, reactive programming, virtual DOM * Data sharing, replication, and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication * Security on the new web: security policies, policy enforcement, membranes, vulnerability detection, dynamic patching * Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSockets, Web Storage, Service Workers, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, PureScript, ClojureScript, Amber Smalltalk, Scala.js) * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web, how to master and combine the myriad of tier-specific technologies required to develop a web application * Position papers on what the future of the web will look like This year, we are accepting three types of submission: * **Full papers, position papers, and experience reports**: 8-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library. * **Demo papers**: 4-page extended abstracts illustrating demonstrations of tools and prototypes. * **Presentation abstracts**: 2-page extended abstracts. Presentation abstracts will not be included in the ACM Digital Library but will be included in an informal pre-proceedings on the website. We very much welcome presentation abstracts about work already published elsewhere, or giving an overview of an existing system, and the format is designed not to preclude future publication. Submissions should be in ACM SIGPLAN two-column format (see https://www.sigplan.org/Resources/Author/). References are not counted in the page limits. If you have any questions or wonder whether your submission is in scope, please do not hesitate to contact the PC co-chairs. More information: https://2021.programming-conference.org/track/proweb-2021-papers ** Important dates (AoE) ** - Submission deadline: 8th February 2021 (Extended) - Author notification: 1st March 2021 - Camera-ready version: 1st May 2021 ** Organizers ** - Simon Fowler, University of Glasgow, Scotland, UK - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland ** Program Committee ** - Andrea Gallidabino (USI Lugano, Switzerland) - Daniel Hillerström (University of Edinburgh, UK) - Magnus Madsen (Aarhus University, Denmark) - Jens Nicolay (Vrije Universiteit Brussel, Belgium) - Gabriela Sampaio (Imperial College London, UK)
[TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023)
reveal their identity or affiliation. The purpose is to avoid any bias based on authors’ identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers’ access to works that do not carry obvious references to the authors’ identities. As mentioned above, this is a lightweight double-blind process. Anonymization should not be a heavy burden for authors, and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted, and authors will not be penalized by for such advertisement. Papers in the “Oral communications” category need not be anonymized. For any questions concerning the double blind process, feel free to consult the ICEcreamers. We are keen to enhance the balanced, inclusive and diverse nature of the ICE community, and would particularly encourage female colleagues and members of other underrepresented groups to submit their work. === PUBLICATIONS === Accepted research papers and communications must be presented at the workshop by one of the authors. Accepted research papers will be published after the workshop in Electronic Proceedings in Theoretical Computer Science. We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier). Such contributions will be peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS (PC co-chairs) === * Clément Aubert (Augusta University, USA) - aub...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR) - cinzia.di-giu...@unice.fr * Simon Fowler (University of Glasgow, GB-SCT) - simon.fow...@glasgow.ac.uk * Larisa Safina (Inria, FR) - larisa.saf...@inria.fr === PROGRAM COMMITTEE === * Duncan Paul Attard (University of Glasgow School of Computing Science, GB-SCT) * Massimo Bartoletti (Università di Cagliari, IT) * Davide Basile (ISTI CNR, IT) * Hélène Coullon (IMT Atlantique, FR) * Jovana Dedeić (Faculty of Technical Sciences, University of Novi Sad, RS) * Luc Edixhoven (Open University of the Netherlands, NL) * Saverio Giallorenzo (University of Bologna, IT) * Keigo Imai (Gifu University, JP) * Sung-Shik Jongmans (Open University of the Netherlands, NL) * Eduard Kamburjan (University of Oslo, NO) * Sergueï Lenglet (Université de Lorraine, FR) * Diego Marmsoler (University of Exeter, GB) * Anastasia Mavridou (NASA Ames, USA) * Doriana Medić (University of Turin, IT) * Ivan Prokić (Faculty of Technical Sciences, University of Novi Sad, RS) * Matteo Sammartino (Royal Holloway, University of London, GB) * Amrita Suresh (ENS Paris Saclay, FR) * Gerard Tabone (University of Malta, MT) * Fangyi Zhou (Imperial College London and University of Oxford, GB) === STEERING COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (ENS Lyon, FR) * Sophia Knight (University of Minnesota Duluth, USA) * Ivan Lanese (University of Bologna, IT) * Alceste Scalas (Technical University of Denmark, DK) * Hugo Torres Vieira (Evidence Srl, IT) === MORE INFORMATION === For additional information, please contact the ICEcreamers (see email addresses above).
[TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker)
of research papers must omit their names and institutions from the title page, they should refer to their other work in the third person and omit acknowledgements that could reveal their identity or affiliation. The purpose is to avoid any bias based on authors’ identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers’ access to works that do not carry obvious references to the authors’ identities. As mentioned above, this is a lightweight double-blind process. Anonymization should not be a heavy burden for authors, and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted, and authors will not be penalized by for such advertisement. Papers in the “Oral communications” category need not be anonymized. For any questions concerning the double blind process, feel free to consult the ICEcreamers. We are keen to enhance the balanced, inclusive and diverse nature of the ICE community, and would particularly encourage female colleagues and members of other underrepresented groups to submit their work. === PUBLICATIONS === Accepted research papers and communications must be presented at the workshop by one of the authors. Accepted research papers will be published after the workshop in Electronic Proceedings in Theoretical Computer Science. We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier). Such contributions will be peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS (PC co-chairs) === * Clément Aubert (Augusta University, USA) - aub...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR) - cinzia.di-giu...@unice.fr * Simon Fowler (University of Glasgow, GB-SCT) - simon.fow...@glasgow.ac.uk * Larisa Safina (Inria, FR) - larisa.saf...@inria.fr === PROGRAM COMMITTEE === * Duncan Paul Attard (University of Glasgow School of Computing Science, GB-SCT) * Massimo Bartoletti (Università di Cagliari, IT) * Davide Basile (ISTI CNR, IT) * Hélène Coullon (IMT Atlantique, FR) * Jovana Dedeić (Faculty of Technical Sciences, University of Novi Sad, RS) * Luc Edixhoven (Open University of the Netherlands, NL) * Saverio Giallorenzo (University of Bologna, IT) * Keigo Imai (Gifu University, JP) * Sung-Shik Jongmans (Open University of the Netherlands, NL) * Eduard Kamburjan (University of Oslo, NO) * Sergueï Lenglet (Université de Lorraine, FR) * Diego Marmsoler (University of Exeter, GB) * Anastasia Mavridou (NASA Ames, USA) * Doriana Medić (University of Turin, IT) * Ivan Prokić (Faculty of Technical Sciences, University of Novi Sad, RS) * Matteo Sammartino (Royal Holloway, University of London, GB) * Amrita Suresh (ENS Paris Saclay, FR) * Gerard Tabone (University of Malta, MT) * Fangyi Zhou (Imperial College London and University of Oxford, GB) === STEERING COMMITTEE === * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (ENS Lyon, FR) * Sophia Knight (University of Minnesota Duluth, USA) * Ivan Lanese (University of Bologna, IT) * Alceste Scalas (Technical University of Denmark, DK) * Hugo Torres Vieira (Evidence Srl, IT) === MORE INFORMATION === For additional information, please contact the ICEcreamers (see email addresses above).
[TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in Autumn 2023. There are three studentships available: two which cover home fees (UK, including students with settled or pre-settled status), and one which covers international fees. All studentships also cover living expenses at UKRI rates (£18,622 per annum). Although the above funding is open to students in all areas of Computing Science, applications in the area of programming languages are very welcome. https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!Us3bG70ASSzMTC1daz1bqTzzPruEf9nmPIEA5I_ouGzAgdvavQ5AWpNXDV0xtQQ0mKJRtJYTNjfRf2zWAsU2dYOkrZMI2Zj13EO2LpiYo1k$ For applicants wishing to research PL, this round of studentships is available for students wishing to study with Dr Blair Archibald or Dr Simon Fowler. Applicants will typically have a BSc (2:1 or above) or MSc in Computing Science, and will have had some exposure to the field of programming languages through courses, internships, or undergraduate projects. # Supervisors and Sample Projects ## Dr Blair Archibald Potential project: Programming Languages let us describe and reason about computational processes, but what about non-computational processes? Chemistry is becoming increasingly automated: what should a "programming language" for chemistry look like? what chemistry can it describe? can we tell if a chemical protocol is safe before executing it? Applicants are invited for a novel PhD applying ideas from computer science to chemistry (no chemistry background required!). Bio: Blair Archibald's research focuses on the understanding of complex systems, specifically how we can use symbolic techniques to model and reason about them, and how we can create systems using expressive programming languages. Website: https://urldefense.com/v3/__http://www.blairarchibald.co.uk__;!!IBzWLUs!Us3bG70ASSzMTC1daz1bqTzzPruEf9nmPIEA5I_ouGzAgdvavQ5AWpNXDV0xtQQ0mKJRtJYTNjfRf2zWAsU2dYOkrZMI2Zj13EO2GEvd-8E$ E-mail: blair.archib...@glasgow.ac.uk ## Dr Simon Fowler Potential project: Behavioural type systems go beyond data types and classify the behaviour of a program (e.g., whether a program authenticates before making a privileged request). Behavioural type systems are often difficult to implement in a typechecker: algorithmic presentations of behavioural type systems are often designed on an ad-hoc basis, and often not written down or proved correct. Co-contextual type systems, originally designed for incremental type checking, have shown promise as a unifying foundation for implementing behavioural type systems. This research will investigate co-contextual versions of several behavioural type disciplines from the literature (e.g., session types and typestate), and will investigate how co-contextual typing can allow the implementation of abstractions (e.g., mixed choice) that are beyond the reach of current designs. Bio: Simon Fowler’s research focuses on the design and implementation of programming languages, primarily in the context of functional programming and its applications to concurrency and data management. He is particularly interested in multi-tier programming and behavioural type systems. Website: https://urldefense.com/v3/__http://www.simonjf.com__;!!IBzWLUs!Us3bG70ASSzMTC1daz1bqTzzPruEf9nmPIEA5I_ouGzAgdvavQ5AWpNXDV0xtQQ0mKJRtJYTNjfRf2zWAsU2dYOkrZMI2Zj13EO2sKDl78U$ E-mail: simon.fow...@glasgow.ac.uk # Application Process To apply, please contact a supervisor to discuss an application (as we will need to nominate you for these studentships). Students can apply for admission to PhD study at any time, but to be considered for the studentships we are offering at this round, we must receive your application by 31st July 2023. To discuss an application we would recommend contacting us earlier. For more information about how to apply, see https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/__;!!IBzWLUs!Us3bG70ASSzMTC1daz1bqTzzPruEf9nmPIEA5I_ouGzAgdvavQ5AWpNXDV0xtQQ0mKJRtJYTNjfRf2zWAsU2dYOkrZMI2Zj13EO2l9Moz34$ . This web page includes information about the research proposal, which is required as part of your application. # Research Environment The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland’s largest city, offers an outstanding range of cultural resources and a high quality of life. As a PhD student researching PL, you will be part of the Programming Languages Theme (https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__
