April 2022 - Haskell - Haskell.org

Erlang 2022 - Call for Papers
by Erlang Workshop 13 Apr '22

13 Apr '22

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang's VM. The workshop is welcoming contributions related to any and all systems like those mentioned above. The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc. # Topics This year we invite three types of submissions: * Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent and distributed programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Practice and application papers describing uses of Erlang and related languages in the “real-world”, libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve particular problems, etc. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome. * Lightning talks describing topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry. Presentations in this category will be given at most an hour of shared simultaneous presentation time, will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous. # Important dates Submission deadline : Fri, Jun 3rd 2022 (strict) Notification : Tue, Jul 5th 2022 Camera ready deadline : Wed, Jul 20th 2022 Workshop : Sun, Sep 11th 2022 # More information You can read more about submission on the workshop's website: https://icfp22.sigplan.org/home/erlang-2022#Call-for-Papers # Workshop Co-Chairs * Stavros Aronis, Erlang Solutions, Sweden * Burcu Kulahcioglu Ozkan, Delft University of Technology, Netherlands # Program Committee (Note: the Workshop Co-Chairs are also committee members) * Laura M. Mastro, University of A Coruña, Spain * Kiko Fernandez-Reyes, Klarna, Sweden * Lars-Åke Fredlund, Universidad Politécnica de Madrid, Spain * Andreas Löscher, WhatsApp Inc., United Kingdom * Stefan Marr, University of Kent, United Kingdom * Adolfo Neto, Federal University of Technology - Paraná, Brazil * Peer Stritzinger, Peer Stritzinger GmbH, Germany * Melinda Tóth, Eötvös Loránd University, Hungary * Cons T Åhs, Cisco, Sweden

1 0

ICFP 2022 Student Research Competition: Call for Submissions
by Danel Ahman 11 Apr '22

11 Apr '22

ICFP 2022 Student Research Competition Call for Submissions ICFP 2022 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2022 * Finalists' presentations at ICFP 2022 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2022. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 8 June 2022 (Wednesday) * Author Notification: 24 June 2022 (Friday) * ICFP 2022 Conference in Ljubljana, Slovenia: 11 September 2022 (Sunday) - 16 September 2022 (Friday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp22src.hotcrp.com <https://icfp22src.hotcrp.com/> Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions <https://www.acm.org/publications/authors/submissions>. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format <http://sigplan.org/Resources/Author/#acmart-format>. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp22.sigplan.org/track/icfp-2022-student-research-competition <https://icfp22.sigplan.org/track/icfp-2022-student-research-competition> ### PROGRAM COMMITTEE Danel Ahman (University of Ljubljana) (co-chair) Maria I. Gorinova (Twitter) Daniel Hillerström (University of Edinburgh) (co-chair) Shin-ya Katsumata (National Institute of Informatics) Jennifer Paykin (Galois) François Pottier (Inria) Nikhil Swamy (Microsoft Research)

1 0

Utrecht Summer School on Advanced Functional Programming 2022
by Swierstra, W.S. (Wouter) 08 Apr '22

08 Apr '22

# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 04 July – 08 July 2022 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. After running remotely for the past two years, we're thrilled to announce that this year's edition will take place on site in Utrecht. We are monitoring the pandemic closely - and will make contingency plans if we cannot meet in person; at the moment, we do not have plans for remote participation. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS * Gabriele Keller * Trevor McDonell * Wouter Swierstra ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Soft registration deadline: 24 June, 2022 School: 04 July – 08 July 2022 ## COSTS 750 euro - Profession registration only 250 euro - Student registration fee 200 euro - Housing fee We will charge a registration fee of 750 euros (or 250 euros for students) to cover our expenses. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school

1 0

Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
by Achim D. Brucker 03 Apr '22

03 Apr '22

We have two fully funded PhD scholarships for UK applicants in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following topics: * safety or security of (software) systems, * formal modelling or formal reasoning/verification, * program analysis or program verification, * language-based security, * semantics of programming languages, * theorem proving, model checking, * cryptographic protocols, * distributed systems (e.g., blockchain), * software security, * cyber-physical systems, * specification-based testing, and * design and implementation of security architectures. The positions offer the flexibility to define the PhD topic jointly between the successful candidate and the supervisors. Interested candidates should contact the potential supervisor Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler (d.marmsoler(a)exeter.ac.uk) to discuss their application. For more details, please consult the official advertisements: * Compositional Verification of Smart Contracts in Isabelle: https://www.exeter.ac.uk/study/funding/award/?id=4326 * Formal Verification for Safety- or Security-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4328 The closing date for applications is midnight on the 29th April 2022. Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.ch/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

TERMGRAPH 2022 Workshop: Second Call for Papers
by Clemens Grabmayer 03 Apr '22

03 Apr '22

======================================================================== Second Call for Papers TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022 Technion, Haifa, Israel Monday, 1st August 2022 *) A Workshop that is part of FLoC 2022 ======================================================================== *) preliminary, due to room capacity decisions the FLoC organizers can reschedule to Sunday, 31st July 2022 (decision on 15 June 2022) Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modeling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term-/graph rewriting (term-graph and graph rewriting), and applications of graph transformations in programming, automated reasoning and symbolic computation, including: * Theory of first-order and higher-order term graph rewriting * Graph rewriting in lambda calculus (sharing graphs, optimality) * Term-/graph based models of computation * Graph grammars * Term-/graph based languages and modelling frameworks * Term-/graph rewriting tools: -- system descriptions and case studies * Applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- bioinformatics The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Invited Speaker(s): ------------------- Joerg Endrullis, Vrije Universiteit Amsterdam, The Netherlands (Second invited speaker to be announced in April) Submissions and Publication: ---------------------------- We invite submissions of extended abstracts of at most 8 pages typeset in EPTCS (Electronic Proceedings in Theoretical Computer Science) style. This may include, concerning any of the topics above: -- original work, -- tutorials, -- work in progress, -- system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 10 May 2022 (AoE) electronically (pdf) via the EasyChair submission site: https://easychair.org/conferences/?conf=termgraph2022 Papers will be judged on relevance, originality, correctness, and usefulness. Preliminary proceedings will be available for the workshop. After the workshop, authors will be invited to submit a longer version of their work (a 15-pages paper) for the publication of the Workshop Post-Proceedings in EPTCS. These submissions will undergo a second round of refereeing with: submission deadline in the mid of October 2022, notification in December 2022, publication in February or March 2023. Important Dates: ---------------- Submission deadline: 10 May 2022 Notification: 7 June 2022 Program publication: 15 June 2022 PreProceedings version due: 21 June 2022 Workshop: 1 August 2022 (see proviso (*) above) Programme Committee: -------------------- Sandra Alves, Universidade do Porto, Portugal Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark Thierry Boy de la Tour, CNRS, France Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy Wolfram Kahl, McMaster University, Canada Ian Mackie, LIX, France Koko Muroya, Kyoto University, Japan Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands Adrian Rutle, Western Norway University, Norway Kazunori Ueda, Waseda University, Japan Contact: -------- Clemens Grabmayer clemens.grabmayer(a)gssi.it ========================================================================

1 0

CfP: HLPP 2022: The 15th International Symposium on High-level Parallel Programming and Applications
by Clemens Grelck 01 Apr '22

01 Apr '22

--------------- CALL FOR PAPERS --------------- HLPP 2022 The 15th International Symposium on High-level Parallel Programming and Applications Porto, Portugal, 7-8 July, 2022 https://hlpp2022.dcc.fc.up.pt/ ---------------------- Aims and scope of HLPP ---------------------- As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 15th Symposium on High-Level Parallel Programming and Applications will be held in the Porto, Portugal. ------ Topics ------ HLPP 2022 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: * High-level programming, performance models (BSP, CGM, LogP, MPM, etc.) and tools * Declarative parallel programming methodologies * Algorithmic skeletons and constructive methods * Declarative parallel programming languages and libraries: semantics and implementation * Verification of declarative parallel and distributed programs * Software synthesis, automatic code generation for parallel programming * Model-driven software engineering with parallel programs * High-level programming models for heterogeneous/hierarchical platforms * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel systems using high-level languages and tools * Formal models of timing and real-time verification for parallel systems ------------------ Program Chairs ------------------ Inês Dutra, University of Porto, Portugal Jorge Barbosa, University of Porto, Portugal Miguel Areias, University of Porto, Portugal ------------------ Publicity Chair ------------------ Carlos Ferreira, Polytechnic Institute of Porto ----------------- Program Committee ----------------- Marco Aldinucci, University of Torino, Italy Murray Cole, The University of Edinburgh, UK Iacopo Colonnelli, University of Torino, Italy Frédéric Dabrowski, LIFO - Université d'Orléans, France Marco Danelutto University of Pisa, Italy João Gama, University of Porto, Portugal Arturo Gonzalez-Escribano, The University of Valladolid, Spain Clemens Grelck, University of Amsterdam, Netherlands Dalvan Griebler, PUCRS/SETREM, Brasil Gaétan Hains, Huawei Paris Research Center, France Ali Jannesari, Iowa State University, USA Christoph Kessler, Linköping University, Sweden Peter Kilpatrick, Queen's University Belfast, UK Herbert Kuchen, University of Münster, German Kiminori Matsuzaki, Kochi University of Technology, Japan Virginia Niculescu, Babeș-Bolyai University, Romania Aleksandar Prokopec, Ecole Polytechnique Fédérale de Lausanne, Switzerland Nuno Roma, University of Lisbon, Portugal Kostis Sagonas, Uppsala University, Sweden João Sobral, University of Minho, Portugal Massimo Torquati, University of Pisa, Italy ---------------- Important dates ---------------- Submission deadline: April 15, 2022(AoE) Author notification: June 3, 2022 Camera-ready for draft proceedings: July 1, 2022 Early registration deadline: June 8, 2022 Symposium: July 7-8 (Thursday/Friday) IJPP (HLPP special issue) submission deadline: October 28, 2022 IJPP (HLPP special issue) camera-ready for journal publication: December 2, 2022 ---------------- Paper submission ---------------- Papers submitted to HLPP 2022 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package using the single column option (\documentclass[smallextended]{svjour3}) and submitted via the EasyChair Conference Management System as one pdf file. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the international technical program committee. Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. After the symposium the authors of the accepted papers will have ample time to revise their papers and to incorporate the potential comments and remarks of their colleagues. We expect the HLPP 2022 special issue of the International Journal of Parallel Programming (IJPP) to appear online-first by the end of the year and the printed edition in mid-2023. ----------- Proceedings ----------- Accepted papers will be distributed as informal draft proceedings during the symposium and will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). ----- Venue ----- HLPP 2022 will be hosted by the Dept. of Computer Science (GPS coords 41.152545, -8.640758) of the Faculty of Sciences of the University of Porto (FCUP). Participants may reserve rooms in several of the nearby Hotels. As the symposium will be held in the tourist season, the organizers recommend a timely reservation of rooms. -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director MSc Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Systems and Networking Lab F +31 (0) 20 525 7490 Parallel Computing Systems Group Office C3.109 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0