[TYPES/announce] CfA: History and Philosophy of Programming
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *HaPoP 2022* First call for Abstracts Papers on types in programming and in programming languages will be welcome /Fifth Symposium on the History and Philosophy of Programming (hybrid)/ 13 June 2022, Lille, France Maison Européenne des Sciences de l'Homme et de la Société website: https://urldefense.com/v3/__https://www.shift-society.org/hapop5/__;!!IBzWLUs!HIRTWXbB7m5yjboHEGCBZ1SmHtS1aCq7brG3nIeeLe4oZMDOhaoPkT7DhDbf7_AWa0YQs1WSfpyT7g$ Co-located with the final conference of the ANR-funded PROGRAMme project, 14-15 June 2022 (more details to follow soon). In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective. A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline. HaPoP 2022 is the fifth edition of the Symposium on the History and Philosophy of Programming, organised by HaPoC, Commission on the History and Philosophy of Computing (https://urldefense.com/v3/__http://www.hapoc.org__;!!IBzWLUs!HIRTWXbB7m5yjboHEGCBZ1SmHtS1aCq7brG3nIeeLe4oZMDOhaoPkT7DhDbf7_AWa0YQs1XaxkcSpg$ ) as a hybrid event. As in the previous editions, we are convinced that an interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, artists, computer scientists and professional software developers. WHAT IS A COMPUTER PROGRAM? This edition of the symposium will be co-located with the final conference of the ANR-funded PROGRAMme project which poses the basic question “What is a computer program?” This seemingly simple question has no simple answer today, but the responses one gives to it affect very real problems: who is responsible if a given piece of software fails; whether a program is correct or not; or whether copyright or patent law applies to programs. The project is anchored in the conviction that a new kind of foundational research is needed. The broad range of scientific and societal problems related to computing cannot be addressed by any single discipline. The question “What is a program?”, is a call for deeper critical thinking about the nature of programs that is both foundational, in the sense that it goes beyond specific problems, but also accessible, in the sense that it should be open to anyone who is willing to make an effort in understanding this basic technique from a broader horizon. In order to initiate new collaborations that critically reflect on the nature of programs and engage a broader community with the above issues, HaPoP 2022 is particularly looking for talk proposals that relate to the question “What is a computer program?” and offer a novel reflection from a variety of perspectives, including historical, practice-based, philosophical, logical, etc. SELECTED TOPICS OF INTEREST FOR THE SYMPOSIUM Possible and in no way exclusive questions of relevance to this symposium are: - What is a computer program? - Are we getting better at writing programs that solve the given problem? Is programming a specialist discipline, or will everyone in the future be a programmer? - What are the different scientific paradigms and research programmes developed through the history of computer programming? - What is a correct program? - Is a program a text? - Is it possible to eliminate errors from computer programs? - How did the notion of a program change throughout the history? - How are programs and abstractions born, used and understood? - What was and is the relationship between hardware and software developments? - How did theoretical computer science (lambda-calculus, logics, category theory) influence the development of programming languages and vice versa? - What are the novel and most interesting approaches to the design of programs? - What is the nature of the relationship between algorithms and programs? - What legal and socio-economical issues are involved in the creation, patenting and free-distribution of programs? - How do we understand the multi-faceted nature of programs combining syntax, semantics and physical implementation? - How is programming to be taught? PROGRAM COMMITTEE AND REGISTRATION HaPoP5 co-chairs are Liesbeth De Mol and Tomas Petricek. If you have any questions regarding suitability of a topic or format of the extended abstract, please contact Liesbeth at liesbeth.de-...@univ-lille.fr or
Re: [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'm sorry, the link to the advert and job application system should be: https://urldefense.com/v3/__https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=074049__;!!IBzWLUs!EA9riUAPC26JMnMljKkcqIGGp1S_froitFvaxNRG7aGpGIllGceEQPGUnJDvmXU0xBoJLoTt31uCcw$ Simon Gay On 13/12/2021 09:12, Simon Gay wrote: University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref: 074049 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – e.g. warning of potential issues – and to allow developers to continue to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. 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. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!EA9riUAPC26JMnMljKkcqIGGp1S_froitFvaxNRG7aGpGIllGceEQPGUnJDvmXU0xBoJLoSglFCL9A$ *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely if necessary. We will
[TYPES/announce] CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) 15 - 17 December 2021, Online https://urldefense.com/v3/__https://staff.math.su.se/rloukanova/LACompLing2021-web/__;!!IBzWLUs!GWVnrU2571ngRJh92GvFL7DD9IsD5GtBioBxbNK8Bgp2tqR5slJqQreEyCla8fbGl2UY9qolAEWHjg$ Online streaming by CNRS, Montpellier, France https://urldefense.com/v3/__https://malin2021.sciencesconf.org__;!!IBzWLUs!GWVnrU2571ngRJh92GvFL7DD9IsD5GtBioBxbNK8Bgp2tqR5slJqQreEyCla8fbGl2UY9qot88S6Mg$ LACompLing2021 is part of the week Mathematical Linguistics (MALIN) 2021, Université de Montpellier, LIRMM, CNRS, Montpellier, France 13--17 December 2021, Online PROGRAM WEDNESDAY DECEMBER 15 / Wed 15 Dec 09:00-9::40 Wed 15 Dec Stefan Müller (Humboldt-Universität zu Berlin, Germany) The CoreGram Project: Deriving Crosslinguisitc Generalizations with HPSG Grammars of Multiple Languages (Invited Talk) 9:40-10:20 Wed 15 Dec Lars Hellan (Norwegian University of Science and Technology, Norway) A Unified Valence Resource (Invited Talk) 10:20-10:40 Break 10:40-11:00 Wed 15 Dec Luuk Suurmeijer (Heinrich Heine University Düsseldorf), Noortje Venhuizen (Saarland University) and Harm Brouwer (Saarland University, Germany) Compositionality in Distributional Formal Semantics 11:00-12:00 Wed 15 Dec Michael Moortgat (Utrecht University, Netherlands) Dependency Relations, Modalities and the Syntax-Semantics Interface (Keynote Talk) 12:00-13:30 Lunch break 13:30-14:10 Wed 15 Dec Stepan Kuznetsov (Steklov Mathematical Institute, RAS, Russia) Complexity of the Lambek Calculus and Its Extensions (Invited Talk) 14:10-14:30 Wed 15 Dec Renhao Pei (Utrecht University, Netherlands) Generating Pragmatically Appropriate Sentences from Propositional Logic: the Case of Conditional and Biconditional 14:30-15:30 Wed 15 Dec Christian Retoré (Université de Montpellier and LIRMM-CNRS, France) Inferentialism and Natural Language Semantics, with a Focus on Quantifiers (Keynote Talk) 15:30-15:50 Break 15:50-16:30 Wed 15 Dec Denis Bechet (LS2N - University of Nantes, France) and Annie Foret (IRISA, University of Rennes 1, France) Categorial Dependency Grammars: Analysis and Learning (Invited Talk) 16:30-17:30 Wed 15 Dec Tracy King (Adobe, United States) White Roses, Red Backgrounds: Bringing Structured Representations to Search (Keynote Talk) THURSDAY DECEMBER 16 / Thu 16 Dec 09:00-09:20 Thu 16 Dec Hitomi Yanaka (The University of Tokyo, Japan) Towards Compositional Semantics and Inference System for Telicity 09:20-09:40 Thu 16 Dec Daisuke Bekki, Ribeka Tanaka and Yuta Takahashi (Ochanomizu University, Japan) Integrating Deep Neural Network with Dependent Type Semantics 09:40-10:20 Thu 16 Dec Zhaohui Luo (Dept of Computer Science, Royal Holloway, Univ of London, United Kingdom) Universes in Type-Theoretical Semantics (Invited Talk) 10:20-10:40 Break 10:40-11:20 Thu 16 Dec Kristina Liefke (Ruhr University Bochum, Germany) Meaning-Driven Combinatorial Restrictions and 'imagine *whether' (Invited Talk) 11:20-12:00 Thu 16 Dec Alexey Stukachev (Sobolev Institute of Mathematics, Novosibirsk State University, Russia) Generalized Computability and Effective Model Theory in Mathematical Linguistics (Invited Talk) 12:00-13:30 Lunch break 13:30-14:30 Thu 16 Dec Richard Moot, (Université de Montpellier and LIRMM-CNRS, Montpellier, France Graph Rewriting as a Universal Proof Theory for Modern Type-Logical Grammars (Keynote Talk) 14:30-15:30 Thu 16 Dec Randy Harris (University of Waterloo, Canada) Rhetorical Figures as Algorithms (Keynote Address) FRIDAY DECEMBER 17 / Fri 17 Dec 09:00-10:00 Fri 17 Dec Aarne Ranta (University of Gothenburg, Sweden) Abstract Wikipedia and Vastly Multilingual Natural Language Generation (Keynote Talk) 10:00-10:20 Fri 17 Dec Inari Listenmaa (Singapore Management University, Singapore), Martin Strecker (Singapore Management University, Singapore) and Warrick Macmillan (University of Gothenburg, Sweden) Natural Language Generation and Processing for the Legal Domain 10:20-10:40 Break 10:40-11:20 Fri 17 Dec Bjoern Jespersen (Utrecht University, Netherlands) Impossibilities without Impossibilia (Invited Talk) 11:20-12:00 Fri 17 Dec Marie Duzi (VSB-Technical University of Ostrava, Czechia) Questions and Answers on Dynamic Activities of Agents (Invited Talk) 12:00-13:30 Lunch break 13:30-13:50 Fri 17 Dec Symon Jory Stevensguille (The Ohio State University, United States) Decomposing Events into GOLOG 13:50-15:30 Fri 17 Dec Lasha Abzianidze (Utrecht University, Netherlands) How to Train a Theorem Prover for Natural Language Inference (Invited Talk) 15:30-16:00 Break 16:00-17:00 Fri 17 Dec Larry Moss (Indiana University Mathematics Department, United States) Monotonicity in Natural Language Inference: Theory and Practice (Keynote Talk LACL / LACompLing2021)
[TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref:074049 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the EPSRC-funded project "STARDUST: Session Types for Reliable Distributed Systems". The project is funded until 30th September 2024 and the position is available from 1st May 2022. *Project Description* Distributed software systems are an essential part of the infrastructure of modern society. Such systems typically comprise diverse software components deployed across networks of hosts. Ensuring their reliability is challenging, as software components must correctly communicate and synchronise with each other, and any of the hardware or software components may fail. Failure and service "outage" is extremely costly, with worldwide financial losses due to software failures in 2017 estimated at US$1.7tn, up from US$1.1tn in 2016. Failures can occur at all levels of the system stack: hardware, operating systems, networks, software, and users. Here we focus on using advanced programming language technologies to enable the software level to handle failures that arise from any level of the stack. Our aim is to provide software-level reliability for distributed systems by combining fault prevention with fault tolerance. The key objective is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures. The result will be a well-founded theory of reliable actor programming, supported by a collection of libraries and tools, and validated on a range of case studies. Key aims are to deliver tools that provide lightweight support for developers – e.g. warning of potential issues – and to allow developers to continue to use established idioms. By doing so we aim to deliver a step change in the engineering of reliable distributed software systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay and Professor Phil Trinder), Imperial College London (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services. *Principal Duties* The successful candidates will be responsible for conducting research into the theory and practice of session types for actor languages, and for evaluating programming language designs and implementations in relation to realistic case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, strong programming and software engineering skills, and a strong background in programming languages, including type systems and implementation. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory or practice of actor-based languages; knowledge of the theory of session types. We seek applicants at an international level of excellence. 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. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. Information about the Programming Language research theme at the University of Glasgow: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!B-BdiIRqF-DoPBSKQ-jjcD3RGvFSx63pifNxg5ezRtTWMBfbTvG62N52OFbkZfTrznKNKP8E5IYvJw$ *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely if necessary. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information about the project, please contact Professor Simon Gay or Professor Phil Trinder . *Application details* Glasgow University online application system: