- Haskell - Haskell.org

Eelco Visser Commemorative Symposium – 2nd Call for Papers
by Andrei Chis 21 Sep '22

21 Sep '22

Due to the untimely passing of Eelco Visser, members of his former research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working Groups 2.11 & 2.16 have joined in organizing the Eelco Visser Commemorative Symposium. The event will be held on the occasion of the first anniversary of his passing in April of next year. You are cordially invited to contribute to this symposium, by writing a paper and giving a presentation related to Eelco and his influential work, or by just attending. Please see the CfP below. Best regards, The EVCS Organizing Committee ------------------------------------------------------------------------ ------------------------------------------------------------------------ Eelco Visser Commemorative Symposium (EVCS) 5 April 2023 Delft, The Netherlands https://symposium.eelcovisser.org ------------------------------------------------------------------------ Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importance in both the scientific and industrial communities. He was a founding member of IFIP Working Groups 2.11 (Program Generation) and 2.16 (Programming Language Design). Eelco Visser’s work on the cutting-edge language workbench Spoofax started with a ground-breaking publication in 2010, for which he received a Most Influential Paper award at OOPSLA 2020. As a strong advocate of tool-supported programming education, he led the development of WebLab, a learning management system that is in use for a range of programming languages and courses at TU Delft. He also led the design, implementation and use of conf.researchr.org, a content management system for scientific events used for hundreds of international events since 2014. --------------------------- Call for Papers --------------------------- A commemorative symposium for Eelco Visser is to be held on the first anniversary of his untimely passing in April 2022. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities. --------------------------- Topics of Interest --------------------------- Topics of interest include, but are not limited to: - Language engineering - Program transformation - Language workbenches - Declarative language specification - Name binding and scope graphs - Type soundness and intrinsically-typed interpreters - Language specification testing - Language implementation generation - Domain-specific programming languages - DSLs for software deployment - DSLs for web application development - Tool-supported programming education --------------------------- Important Dates --------------------------- - Friday 30 September 2022: Declaration of intent to submit - Friday 28 October 2022: Paper submission deadline - Monday 28 November 2022: Notifications - Wednesday 5 April 2023: Symposium --------------------------- Types of Submissions --------------------------- - **Unpublished research**: These are extended abstracts of novel research contributions related to Eelco Visser’s work. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by selected members of the relevant research communities. Subsequent submission of full papers including the same results to other venues is encouraged. - **On the relationship between Eelco Visser's work and other frameworks**: These are papers that present some framework and explain its relationship to his work, but without novel research contributions. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by experts on the relevant topics. - **Personal reflections on Eelco Visser's activities**: These are short papers that recall and reflect upon personal experiences of his contributions in academia or industry. Papers may range from 1 to 4 pages in length, including bibliography. Papers will be lightly reviewed for relevance. --------------------------- Submissions --------------------------- The submission website is on EasyChair (https://easychair.org/my/conference?conf=evcs2023) **Declaration of intent to submit is optional**, but helpful for allocation of appropriate reviewers. It is to include a provisional title, the type of submission, and an indication of the topics covered. **Submitted papers** should be formatted using LaTeX according to the author instructions for the Dagstuhl OpenAccess Series in Informatics (OASIcs) (https://submission.dagstuhl.de/series/details/4#author) respecting the page limits indicated above. --------------------------- Publication --------------------------- All accepted papers will appear in the Proceedings of the EVCS, to be published as a volume in the Dagstuhl OpenAccess Series in Informatics (OASIcs) (https://www.dagstuhl.de/en/publications/oasics) Authors retain copyright. --------------------------- Presentations --------------------------- All accepted papers are to be presented at the symposium. Presenters may choose between 5, 10, and 15-minute slots (including questions) subject to availability. Remote presentations are possible. --------------------------- Organising Committee --------------------------- - Jonathan Aldrich, Carnegie Mellon University - Benoit Combemale, University of Rennes, Inria, and IRISA - Paul Klint, CWI and University of Amsterdam - Ralf Lämmel, University of Koblenz - Peter Mosses (chair), TU Delft and Swansea University - Friedrich Steimann, Fernuniversität in Hagen - Tijs van der Storm, CWI and University of Groningen - Eric Van Wyk, University of Minnesota --------------------------- Local Organisation Committee --------------------------- - Arie van Deursen - Peter Mosses - Roniet Sharabi - Shémara van der Zwet --------------------------- Contact --------------------------- For all enquiries about the symposium, please use the contact form (https://symposium.eelcovisser.org/contact) or email symposium(a)eelcovisser.org

1 0

[TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming
by Peter Achten 19 Sep '22

19 Sep '22

# TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers, Wednesday 23rd November, 2022 Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022 Notification: pre-symposium submissions, Friday 23rd December, 2022 Registration: Friday 6th January, 2023 TFPIE Workshop: Thursday 12th January, 2023 TFP Symposium: Friday 13th - Sunday 15th January, 2023 Submission deadline: post-symposium review, Friday 17th February, 2023 Notification: post-symposium submissions, Friday 31st March, 2023 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. This year, TFP will take place in-person at UMass Boston, Massachusetts in the United States. It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, November 23, is for authors that wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, December 16, is for authors that wish to present their work or work-in progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full article for review by the third deadline, February 17. ## Scope The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research Articles: Leading-edge, previously unpublished research work * Position Articles: On what new trends should or should not be * Project Articles: Descriptions of recently started new projects * Evaluation Articles: What lessons can be drawn from a finished project * Overview Articles: Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2023 program chair, Stephen Chang. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, a prize for the best student paper is awarded each year. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Papers must be submitted at: <https://easychair.org/conferences/?conf=tfp23> Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be resubmitted for the post-symposium formal review. ## Post-symposium formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. ## Paper categories Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. ## Program Committee Peter Achten, Radboud University Nijmegen, Netherlands Nada Amin, Harvard University, USA Ambrose Bonnaire-Sergeant, Untypable LLC, USA Laura M. Castro, University of A Coruña, Spain Stephen Chang (Chair), University of Massachusetts Boston, US John Clements, Cal Poly, USA Youyou Cong, Tokyo Institute of Technology, Japan Paul Downen, University of Massachusetts Lowell, USA Kathy Gray, Meta Platforms, Inc., UK Ben Greenman, University of Utah, USA Jason Hemann, Seton Hall University, USA Patricia Johann, Appalachian State University, USA Alexis King, Tweag, USA Julia Lawall, Inria-Paris, France Barak Pearlmutter, Maynooth University, Ireland Norman Ramsey, Tufts University, USA Ilya Sergey, National University of Singapore, Singapore Melinda Tóth, Eötvös Loránd University, Hungary Ningning Xie, University of Toronto, Canada

1 0

2nd Call for Papers: PADL 2023
by Michael Hanus 17 Sep '22

17 Sep '22

============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates --------------- Abstract submission: October 2, 2022 (AoE) Paper submission: October 9, 2022 (AoE) Notification: November 5, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs ---------------------- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee ------------------- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner Epic Games, Germany William Byrd University of Alabama at Birmingham, USA Pedro Cabalar University of Corunna, Spain Francesco Calimeri University of Calabria, Italy Stefania Costantini University of L'Aquila, Italy Esra Erdem Sabanci University, Turkey Martin Gebser University of Klagenfurt, Austria Robert Glueck University of Copenhagen, Denmark Gopal Gupta University of Texas at Dallas, USA Michael Hanus CAU Kiel, Germany (co-chair) Daniela Inclezan Miami University, USA (co-chair) Tomi Janhunen Tampere University, Finland Patricia Johann Appalachian State University, USA Yukiyoshi Kameyama University of Tsukuba, Japan Ekaterina Komendantskaya Heriot-Watt University, UK Simona Perri University of Calabria, Italy Enrico Pontelli New Mexico State University, USA Tom Schrijvers Katholieke Universiteit Leuven, Belgium Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Peter Van Roy Universite catholique de Louvain, Belgium Janis Voigtlaender University of Duisburg-Essen, Germany Ningning Xie University of Cambridge, UK Contact Address --------------- padl2023 _AT_ easychair.org -------------------------------------------------------------------------------

1 0

CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs
by Delphine Demange 15 Sep '22

15 Sep '22

[ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional Languages" to be held at the end of January 2023 in the French Alps. ] - Merci de faire circuler : premier appel à communications - JFLA'2023 http://jfla.inria.fr/jfla2023.html Journées Francophones des Langages Applicatifs 31 janvier au 3 février 2023 Praz-sur-Arly (Haute-Savoie) Les 34-ièmes Journées Francophones des Langages Applicatifs (JFLA) se tiendront en Haute-Savoie, à Praz-sur-Arly, au coeur des Alpes, du mardi 31 janvier 2023 au vendredi 3 février 2023. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques. - Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. - Spécification, prototypage, développements formels d'algorithmes. - Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! * Dates importantes Soumission des résumés 7 octobre 2022 Soumission des articles 14 octobre 2022 Notification aux auteurs 25 novembre 2022 Version finale 14 décembre 2022 Clôture des inscriptions 6 janvier 2023 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (hors bibliographie), portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. Nous encourageons aussi la soumission de "perles", ces articles présentant avec élégance un résultat connu sous un angle nouveau. - Article court de huit pages au plus (hors bibliographie) pour rechercher de l'aide pour résoudre un problème particulier ou pour reparler d'un papier déjà publié. - Proposition de tutoriel d'une page exposant son intérêt et ses objectifs ainsi que l'environnement informatique nécessaire à sa réalisation. - Proposition de démonstration d'un outil ou d'un prototype de deux pages décrivant pourquoi ce logiciel est intéressant ainsi que ses spécificités. Dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, et les auteurs seront invités à faire une présentation lors des journées. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2023 -- Timothy Bourke et Delphine Demange

1 0

[CfP] - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022
by Francesco Calimeri 13 Sep '22

13 Sep '22

- apologize for multiple postings - ================================================================== First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 November 28 - December 2, 2022, University of Udine, Udine, Italy https://sites.google.com/unical.it/hcaixia2022 CO-LOCATED with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) ================================================================== = Background = In the latest years we have been witnessing the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in the field of medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain became a major research topics, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. As a consequence, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. In order to move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to health-care and clinical problems. = The Workshop = The HX@AIxIA workshop aims at gathering researchers from academia, industry and medical centers for presenting and discussing the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, but are not limited to: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; two types of submissions are invited: - full papers, possibly already submitted to other conferences or journals - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. In particular, we also invite submissions of systems or prototype software descriptions; systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2022 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by AIxIA. = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site, including a link to the original publication, if already published. The organizers are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of quality papers is collected. In such a case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal. = IMPORTANT DATES (tentative) = Abstract submission: October 7, 2022 Paper submission: October 14, 2022 Notification to authors: November 11, 2022 Camera-ready copy due: November 17, 2022 Main Workshop starts: November 28, 2022 (maybe subject to slight adjustments, please check the website regularly))

1 0

GHC Proposals session at Haskell Symposium at ICFP
by Joachim Breitner 30 Aug '22

30 Aug '22

Dear friends of GHC, this year’s Haskell Symposium will host a special “GHC Proposals session” where current, future and past GHC Proposals can be presented and discussed: https://icfp22.sigplan.org/home/haskellsymp-2022#GHC-Proposals-Session I invite all GHC Proposal authors (or otherwise interested party) who are in Ljubljana to present your ideas and plans; just e-mail me if you want a slot. I also invite everyone else – users, developers, educators – to join the session for the discussions of these proposals. Your chance to get your voice heard, and not just your writing on GitHub! Cheers, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Certified Programs and Proofs (CPP) 2023 Call for Papers
by Steve Zdancewic 16 Aug '22

16 Aug '22

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17 January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts, United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2023 will welcome contributions from all members of the community. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers. IMPORTANT DATES * Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h) * Notification (tentative): 21 November 2022 * Camera Ready Deadline (tentative): 12 December 2022 * Conference: 16-17 January 2023 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2023 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2023.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2023 will employ a lightweight double-blind reviewing process following the process from previous years. To facilitate this, the submissions 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 PC and external reviewers come to an initial judgment 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 it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. Note that POPL 2023 itself will employ full double-blind reviewing, which differs from the light-weight CPP process. This FAQ from previous SIGPLAN conference addresses many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R… We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism) Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2023 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp) For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html) PROGRAM COMMITTEE Steve Zdancewic, University of Pennsylvania, USA (co-chair) Brigitte Peintka, McGill University, Canada (co-chair) Reynald Affeldt, AIST, Japan Tej Chajed, MIT, USA Koen Claessen, Chalmers, Sweden Ranald Clouston, ANU, Australia Leonardo de Moura, Microsoft Research, USA Xinyu Feng, Nanjing University, China Denis Firsov, Tallinn University/GuardTime, Estonia Yannick Forster, Inria Nantes, France Milos Gligoric, UT Austin, USA Stephane Graham-Lengrand, SRI, USA Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA Chris Hawblitzel, Microsoft Research, US Chantal Keller , Université Paris Saclay, France Marie Kerjean, CNRS, France Yoonseung Kim, Seoul National University, Korea Kenji Maillard, INRIA, France César Muñoz, Amazon Web Services, USA Tobias Nipkow, Technical University of Munich, Germany Lawrence Paulson, Cambridge, UK Pierre-Marie Pédrot, INRIA, France Anja Petković Komel, TU Wien, Vienna Clément Pit-Claudel, EPFL, France Christine Rizkallah, University of Melbourne, Australia Cody Roux, AWS, USA Kazuhiko Sakaguchi, University of Tsukuba, Japan Anna Slobodova, Intel, USA Aaron Stump, University of Iowa, USA René Thiemann, University of Innsbruck, Austria Amin Timany, Aarhus University, Denmark Josef Urban, CIIRC (Prague), Czech Republic Viktor Vafeiadis, MPI-SWS, Germany Yuting Wang, Shanghai Jiao Tong University, China Tjark Weber, Uppsala University, Sweden ORGANIZERS Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Robbert Krebbers, Radboud University, Netherlands (conference co-chair) Brigitte Peintka, McGill University, Canada (PC co-chair) Steve Zdancewic, University of Pennsylvania, United States (PC co-chair) CONTACT For any questions please contact the two PC chairs: Steve Zdancewic <stevez(a)seas.upenn.edu> Brigitte Pientka <bpientka(a)cs.mcgill.ca>

1 0

IFL22: Early registration deadline August 15th
by Pieter Koopman 15 Aug '22

15 Aug '22

*IFL 2022Frederiksberg Campus of Faculty of Science, UCPH, CopenhagenAugust 31s-September 2nd, 2022* *Early registration deadline: August 15th AoE * *See **https://ifl22.github.io/* <https://ifl22.github.io/>* for more information.* *CALL FOR PARTICIPATION:* The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022) Copenhagen, August 31st-September 2nd, 2022 *Important dates* Submission deadline of draft papers August 8th, 2022 (EXPIRED) Notification of acceptance August 9th, 2022 (EXPIRED) Early registration deadline August 15th, 2022 (AoE) Late registration deadline August 31st, 2022, 12:59 CET (UTC+2) IFL Symposium August 31st - September 2nd, 2022 (We-Fr) *Scope* The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. IFL 2022 is held in beautiful Copenhagen, Denmark and is a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming. *Invited speakers* IFL 2022 is pleased to announce keynote talks by the following three invited speakers: * Peter Sestoft, Professor, Head of Department, IT University of Copenhagen, Denmark: "Abstract machines and functional language implementation" * Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new functional-logic language" * Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides: "Talk title to be announced" *Venue and registration* The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Days 1 and 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditorium at Bülowsvej 17. For registration and fees, please consult the symposium web site at https://ifl22.github.io/. Please notice that the early registration date is August 15, 2022 (AoE). *Accepted papers* * Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer. * Heuristics-based Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk and Jurriaan Hage. * Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo Pizani Flor and Wouter Swierstra. * Creating Interactive Visualizations of TopHat Programs. Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden. * An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin. * A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen. * How to fold and color a map: Comparing Use-Cases of Tree-Fold vs Fold-Left. Jim Newton. * Compiling a functional array language with non-semantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen. * Systems of partial values and their applications in Haskell. Natasha England-Elbro. * First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer. * Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette Bieniusa. * Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and Mart Lubbers. * Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel Rodrigues, Marcos Viera and João Saraiva. * Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage. * Jeopardy: An invertible functional programming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen. * The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alexey Radul and Adam Paszke. * Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen, Niki Vazou and Lindsey Kuper. * Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix Mikkelsen, Robert Glück and Maja Hanne Kirkeby. * A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto Hamana. * On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz. * Compiling Haskell for Energy Efficiency: Analysis of Individual Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto Pardo. *Post-symposium peer review * Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers have been screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that draft papers that are accepted for presentation be presented physically at the symposium. After the symposium the authors are invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper will be accepted or rejected for the formal proceedings. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. *Peter Landin Prize* The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. *Sponsors* IFL 2022 is financially supported by - Meta (Silver sponsor), - Well-typed (Bronze sponsor), - Funktionelle Københavnere (Bronze sponsor), and - University of Copenhagen (administrative support, host). *Organisation* General chair Fritz Henglein, University of Copenhagen Program chair Martin Elsman, University of Copenhagen Communications chair Troels Henriksen, University of Copenhagen *Program committee* Laura M. Castro Universidade da Coruña, Spain David Christiansen Haskell Foundation Martin Elsman University of Copenhagen, Denmark (chair) Matthew Fluet Rochester Institute of Technology, USA Clemens Grelck Universiteit van Amsterdam, The Netherlands Zhenjiang Hu Peking University, China Robin Kaarsgaard University of Edinburgh, Scotland Gabriele Keller Utrecht University, The Netherlands Oleg Kiselyov Tohoku University, Japan Neil Mitchell Facebook Stefan Monnier Universite de Montreal, Canada Magnus Myreen Chalmers University, Sweden Cyrus Omar University of Michigan, USA Romain Péchoux University of Lorraine, Inria, France Rinus Plasmeijer Radboud University, The Netherlands Morten Rhiger Roskilde University, Denmark Peter van Roy Catholic University of Louvain, Belgium Olin Shivers Northeastern University, USA Peter Thiemann University of Freiburg, Germany Marcos Viera Universidad de la República, Uruguay Meng Wang University of Bristol, UK [image: beacon]

1 0

1st Call for Papers: PADL 2023
by Michael Hanus 09 Aug '22

09 Aug '22

============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates --------------- Abstract submission: October 2, 2022 (AoE) Paper submission: October 9, 2022 (AoE) Notification: November 5, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs ---------------------- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee ------------------- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner Epic Games, Germany William Byrd University of Alabama at Birmingham, USA Pedro Cabalar University of Corunna, Spain Francesco Calimeri University of Calabria, Italy Stefania Costantini University of L'Aquila, Italy Esra Erdem Sabanci University, Turkey Martin Gebser University of Klagenfurt, Austria Robert Glueck University of Copenhagen, Denmark Gopal Gupta University of Texas at Dallas, USA Michael Hanus CAU Kiel, Germany (co-chair) Daniela Inclezan Miami University, USA (co-chair) Tomi Janhunen Tampere University, Finland Patricia Johann Appalachian State University, USA Yukiyoshi Kameyama University of Tsukuba, Japan Ekaterina Komendantskaya Heriot-Watt University, UK Simona Perri University of Calabria, Italy Enrico Pontelli New Mexico State University, USA Tom Schrijvers Katholieke Universiteit Leuven, Belgium Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Peter Van Roy Universite catholique de Louvain, Belgium Janis Voigtlaender University of Duisburg-Essen, Germany Ningning Xie University of Cambridge, UK Contact Address --------------- padl2023 _AT_ easychair.org -------------------------------------------------------------------------------

1 0

PPDP 2022 and LOPSTR 2022 Call for Participation
by Manuel Hermenegildo 05 Aug '22

05 Aug '22

[ Apologies for multiple postings ] ============================ PPDP 2022 - LOPSTR 2022 JOINT CALL FOR PARTICIPATION ============================ PPDP 2022 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia https://software.imdea.org/Conferences/PPDP2022/ Co-located with LOPSTR 2022 32nd International Symposium on Logic-Based Program Synthesis and Transformation 21-23 September 2022, Tbilisi, Georgia https://lopstr2022.webs.upv.es/ The conferences will be held as hybrid (blended) meetings, both in-person and virtual. Both conferences are part of CLAS 2022: http://www.viam.science.tsu.ge/clas2022/ =================================== Registration ------------ Please use the CLAS registration form on EasyChair: https://easychair.org/my/conference?conf=clas2022 * Early registration deadline August 14, 2022 * An online-only registration option is available. =================================== Invited Speakers ---------------- Niki Vazou, IMDEA Software Institute, Spain (joint PPDP-LOPSTR invited speaker) Florian Zuleger, Technische Universität Wien, Austria (joint PPDP-LOPSTR invited speaker) Torsten Grust, University of Tübingen, Germany (PPDP invited speaker) Robert Hierons, The University of Sheffield, UK. (LOPSTR invited speaker) Ornela Dardha, Elena Giachino, and Davide Sangiorgi (10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP 2012). =================================== 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. About LOPSTR ------------ 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. =================================== Please consult the conferences' webpages for the lists of accepted papers. Hope to see you in Tbilisi! The PPDP and LOPSTR chairs. Alicia Villanueva Manuel Hermenegildo Beniamino Accattoli

1 0