March 2023 - Haskell - Haskell.org

[CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)
by Daniel Hillerström 30 Mar '23

30 Mar '23

TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. ---------------------------------------------------------------------- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 4, 2023 Seattle, Washington, USA (the day before ICFP 2023) https://icfp23.sigplan.org/home/hope-2023 HOPE 2023 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom(a)ed.ac.uk) and Max S. New (maxsnew(a)umich.edu) Deadline for talk proposals: May 31, 2023 (Wednesday) Notification of acceptance: June 29, 2022 (Wednesday) Workshop: September 4, 2023 (Monday) The submission website is now open: https://hope23.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Casper Bach Poulsen (TU Delft) Craig McLaughlin (University of New South Wales) Cristina Matache (The University of Edinburgh) Daniel Hillerström (co-chair) (Huawei Zurich Research Center) Fredrik Nordvall Forsberg (University of Strathclyde) James Noble Małgorzata Biernacka (University of Wroclaw) Matias Toro (University of Chile) Max S. New (co-chair) (University of Michigan) Shin-ya Katsumata (National Institute of Informatics) --------------------- Goals of the Workshop --------------------- A recurring theme in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

1 0

CFP: Haskell Symposium 2023
by Trevor McDonell 24 Mar '23

24 Mar '23

=============================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2023 Seattle, WA, USA Fri 8 -- Sat 9 September, 2023 http://www.haskell.org/haskell-symposium/2023/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2023 will be co-located with the 2023 International Conference on Functional Programming (ICFP). As with last year, Haskell'23 will use a single-track submission process. That is, we will only have the regular track and no early track. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. Like an experience report and a functional pearl, tutorials should make a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2023 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors' own related work should be in the third person (e.g., not "We build on our previous work" but rather "We build on the work of "). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymised). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Paper submission: 1 June 2023 (Thu) Notification: 4 July 2023 (Tue) Camera ready: 18 July 2023 (Tue) Deadlines are anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/) and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism) Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell23.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymised and non-anonymised supplementary material. Anonymised supplementary material will be visible to reviewers immediately; non-anonymised supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html) Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Artefacts ========= Authors are encouraged to make auxiliary material (artefacts like source code, test data, etc.) available with their paper. Authors can opt to have these artefacts published alongside their paper in the ACM Digital Library (copyright of artefacts remains with the authors). Artefacts must be included as part of their submission to HotCRP and should consist of a .zip file containing the artefact materials, a README explaining the contents of the artefact and how it should be used, and a LICENSE file. If an accepted paper's artefacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artefact badge (https://www.acm.org/publications/policies/artifact-review-badging) Program Committee ================= Alexander Green Standard Chartered, UK David Thrane Christiansen The Haskell Foundation, Denmark Edsko de Vries Well-Typed LLP, Netherlands Exequiel Rivas Tallinn University of Technology Facundo Domínguez Tweag Florian Zuleger TU Vienna, Austria Graham Hutton University of Nottingham, UK Jasper Van der Jeugt Snyk, Switzerland Jennifer Paykin Intel, USA Jesper Cockx Delft University of Technology, Netherlands Jose Nuno Oliveira University of Minho & INESC TEC, Portugal Michael Sperber Active Group GmbH, Germany Michel Steuwer University of Edinburgh, UK Niki Vazou (chair) IMDEA Software Institute, Spain Rumyana Neykova Brunel University London, UK Trevor L. McDonell (co-chair) Utrecht University, Netherlands Ugo Dal Lago University of Bologna, Italy & INRIA, France Wen Kokke University of Edinburgh, UK Leonidas Lampropoulos University of Maryland, College Park, USA If you have questions, please contact the chairs at niki.vazou(a)imdea.org and t.l.mcdonell(a)uu.nl. ================================================================================

1 0

LOPSTR 2023 - Call for Papers
by Daniel Jurjo 22 Mar '23

22 Mar '23

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Abstract submission: May 19, 2023 (AoE) - Paper submission: May 26, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI-methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security, cyber-physical and distributed system - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References do NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page, and use their proceedings templates, either for LaTeX (available also in overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You might have a look at the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr)

1 0

ERLANG 2023 CFP - 22nd ACM SIGPLAN Erlang Workshop @ ICFP
by Kiko Fernandez-reyes A 20 Mar '23

20 Mar '23

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency 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 | 12 May 2023 | | Notification | 30 June 2023 | | Workshop | 4 Sept. 2023 | Deadlines are anywhere on Earth. WORKSHOP CO-CHAIRS * Burcu Kulahcioglu Ozkan, Delft University of Technology, Netherlands * Kiko Fernandez-Reyes, Ericsson, Sweden PROGRAM COMMITTEE (Note: the Workshop Co-Chairs are also committee members) * Dino Distefano, Facebook London * Thomas Arts, Quivq, Sweden * Laura Bocchi, Kent University, UK * Emanuele D'Osulado, MPI-SWS, Germany * Juliana Franco, DeepMind, UK * Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium * Torben Hoffmann, Erlang Solutions, Denmark * Marjan Sirjani, Reykjavik University and Malardalen University, Iceland and Sweden * Silvia Tapia Tarifa, University of Oslo, Norway * Phil Trinder, University of Glasgow, Scotland * Peter Van Roy, Université catholique de Louvain, Belgium * Mirko Viroli, University of Bologna, Italy * Tobias Wrigstad, Uppsala University, Sweden SUBMISSON Submissions must adhere to SIGPLAN’s republication policy (http://sigplan.org/Resources/Policies/Republication/) and authors should be aware of ACM’s policies on plagiarism (https://www.acm.org/publications/policies/plagiarism) Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. Papers must be submitted online via HotCRP at: https://erlang2023.hotcrp.com<https://erlang2023.hotcrp.com/> Lightning talks can be submitted to the workshop's co-chairs via e- mail. FORMATTING Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. SUPPLEMENTARY MATERIAL Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. ARTIFACTS Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper’s artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge ( https://www.acm.org/publications/policies/artifact-review-badging#available ). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC co-chairs. PROCEEDINGS As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html) Accepted lightning talks will be posted on the workshop's website but not formally published in the proceedings.

1 0

PPDP 2023 - Preliminary Call for Papers
by Santiago Escobar 19 Mar '23

19 Mar '23

** Apologies for multiple postings ** ========================= PPDP 2023 Preliminary Call for Papers ========================= 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of SPLASH 2023 and co-located with LOPSTR 2023 =================================== Important Dates --------------------- - 15.05.2023 AoE title and abstract submission - 22.05.2023 AoE paper submission - 28.06.2023 rebuttal period (48 hours) - 09.07.2023 notification - 30.07.2023 final paper - 22.10.2023 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope -------- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. Submission Categories --------------------- Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages (including figures, but excluding bibliography) and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages including references. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in clearly marked appendices beyond the above-mentioned page limits. Reviewers are not required to read extended versions or any material beyond the respective page limit. ------------------------------------------------------------------ Program committee chair: Santiago Escobar, Universitat Politecnica de Valencia, Spain Steering committee chair: James Cheney, Edinburgh University, UK ------------------------------------------------------------------

1 0

SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT): Change of conference date and due dates
by Ali BENZERBADJ 16 Mar '23

16 Mar '23

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ **************************************************************************** The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 4, 2023 (Extended) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers) ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -------------- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees

1 0

MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC: Change of conference date and due dates
by Ali BENZERBADJ 16 Mar '23

16 Mar '23

---------------------------------------------------------------------------- The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC- solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2023 will provide a leading-edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 4, 2023 (Extended) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All MobiSPC 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2023 will be held in conjunction with the 18th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-23/) MobiSPC 2023 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Cristina Seceleanu, Malardalen University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Sohail Jabbar, The University of Faisalabad, Pakistan Orven E. Llantos, MSU-IIT, Philippines Jake Speiran, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-23/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

Utrecht Summer School on Advanced Functional Programming 2023
by Swierstra, W.S. (Wouter) 16 Mar '23

16 Mar '23

# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 03 July – 07 July 2023 http://www.afp.school **Please register before June 15th ** ## 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. 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 will be held in Utrecht and consists of a mix of lectures, labs, and a busy social program. ## 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 **Registration deadline: June 15th, 2023** School: 03 July – 07 July 2023 ## COSTS 750 euro - Profession registration fee 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

Call for Papers, Functional Software Architecture - FP in the Large
by Graham Hutton 16 Mar '23

16 Mar '23

Dear all, We're delighted to announce that the first ACM SIGPLAN Workshop on "Functional Software Architecture - FP in the Large" will be held in Seattle, USA in September 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural pearls on large-scale functional programming! Best wishes, Mike Sperber and Graham Hutton Program Chairs, FUNARCH 2023 ====================================================================== *** FUNARCH 2023 -- CALL FOR PAPERS *** The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 8th September 2023, Seattle, Washington, USA Co-located with ICFP 2023 https://tinyurl.com/FUNARCH23 ====================================================================== TIMELINE: Paper submission 1st June 2023 Author notification 28th June 2023 Camera ready copy 18th July 2023 Workshop 8th Sept 2023 (date to be confirmed) BACKGROUND: "Functional Software Architecture" refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry. The goals for the workshop are: - To assemble a community interested in software architecture techniques and technologies specific to functional programming; - To identify, categorize, and document topics relevant to the field of functional software architecture; - To connect the functional programming community to the software architecture community to cross-pollinate between the two. The workshop follows on from the Functional Software Architecture open space that was held at ICFP 2022 in Slovenia. SCOPE: The workshop seeks submissions in a range of categories: - You're a member of the FP community and have thought about how to support programming in the large, for example by framing functional ideas in architectural terms or vice verse, comparing different languages in terms of their architectural capabilities, clarifying architectural roles played by formal methods, proof assistants and DSLs, or observing how functional concepts are used in other language and architecture communities. Great, submit a research paper! - You're a member of the architecture community, and have thought about how your discipline might help functional programmers, for example by applying domain-driven design, implementing hexagonal architecture, or designing self-contained systems. Excellent, submit a research paper! - You've worked on a large project using functional programming, and it's worked out well, or terribly, or a mix of both; bonus points for deriving architectural principles from your experience. Wonderful, submit an experience report! - You know a neat architectural idiom or pattern that may be useful to others developing large functional software systems. Fabulous, submit an architectural pearl! - You have something that doesn't fit the above categories, but that still relates to functional software architecture, such as something that can be written up, or that could be part of the workshop format like a panel debate or a fishbowl. Superb, submit to the open category! Research papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and architectural pearls need not necessarily report original research results. The key criterion for such papers is that they make a contribution from which others can benefit. It is not enough simply to describe a large software system, or to present ideas that are specific to a particular system. Open category submissions that are not intended for publication are not required to follow the formatting guidelines, and can submit in PDF, word or plain text format as preferred. If you are unsure whether your contribution is suitable, or if you need any kind of help with your submission, please email the program chairs at <funarch2023(a)easychair.org>. SUBMISSION: Papers must be submitted by 1st June 2023 using EasyChair, via the following link: https://tinyurl.com/FUNARCH23-submit Formatting: submissions intended for publication must be in PDF format and follow the ACM SIGPLAN style guidelines, using the acmart format and the sigplan sub-format. Please use the review option, as this enables line numbers for easy reference in reviews. For further details, see: https://tinyurl.com/sigplan-acmart If your submission is not a research paper, please mark this using a subtitle (Experience Report, Architectural Pearl, Open Category). Length: submissions must adhere to the limits specified below. However, there is no requirement or expectation that all pages are used, and authors are encouraged to strive for brevity. Research papers 5 to 12+ pages Architectural pearls 5 to 12 pages Experience reports 3 to 6 pages Open category 1 to 6 pages Publication: The proceedings of FUNARCH 2023 will be published in the ACM Digital Library, and authors of accepted papers are required to agree to one of the standard ACM licensing options. Accepted papers must be presented at the workshop by one of the authors, but in special cases we may consider remote presentation. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the workshop. PROGRAM CHAIRS: Mike Sperber Active Group, Germany Graham Hutton University of Nottingham, UK PROGRAM COMMITTEE: Joachim Breitner Germany Manuel Chakravarty Tweak & IOG, The Netherlands Ron Garcia University of British Columbia, Canada Debasish Ghosh LeadIQ, India Lars Hupel Giesecke+Devrient, Germany Andy Keep Meta, USA Shriram Krishnamurthi Brown University, USA Andres Löh Well-Typed, Germany Anil Madhavapeddy University of Cambridge, UK José Pedro Magalhães Standard Chartered, UK Simon Marlow Meta, UK Hannes Mehnert Robur, Germany Erik Meijer USA Ivan Perez KBR / NASA Ames Research Center, USA Stefanie Schirmer DuckDuckGo, Germany Perdita Stevens University of Edinburgh, UK Stefan Wehr Hochschule Offenburg, Germany Scott Wlaschin FPbridge, UK WORKSHOP VENUE: The workshop will be co-located with the ICFP 2023 conference at The Westin Seattle Hotel, Seattle, Washington, United States. ====================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023
by Manuel Hermenegildo 15 Mar '23

15 Mar '23

-------------------------------------------------------------------------------- SAS 2023 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2023 https://2023.splashcon.org/home/sas-2023 -------------------------------------------------------------------------------- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) - Full paper submission: April 24, 2023 - Artifact submission: April 29, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 17-22, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: Abstract interpretation Automated deduction Data flow analysis Debugging techniques Deductive methods Emerging applications Model-checking Data science Program optimizations and transformations Program synthesis Program verification Machine learning and verification Security analysis Tool environments and architectures Theoretical frameworks Type checking Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.

1 0