From Graham.Hutton at nottingham.ac.uk Mon Sep 4 06:52:09 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 4 Sep 2023 06:52:09 +0000 Subject: [Haskell] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Message-ID: ================================================================== JFP Special Issue on Program Calculation https://tinyurl.com/prog-calc We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. Notification of intent : 20 October 2023 Submission deadline : 1 December 2023 *** If you are attending the ICFP conference in Seattle this week, please feel free to speak with Nicolas Wu if you have any questions about submitting for the special issue *** SCOPE The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years. TOPICS Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: - Program derivation and transformation; - Inductive and co-inductive methods; - Recursion and co-recursion schemes; - Categorical and graphical methods; - Tool support and proof assistants; - Efficiency and resource usage; - Functional algorithm design; - Calculation case studies. The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. NOTIFICATION OF INTENT Authors must notify the special issue editors of their intent to submit by 20 October 2023. The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: tinyurl.com/intent-to-submit If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors. SUBMISSIONS Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system. Choose "Program Calculation" as the paper type, so it gets assigned to the special issue. Further author instructions are available from: tinyurl.com/JFP-instructions We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance. SPECIAL-ISSUE EDITORS Graham Hutton Nicolas Wu IMPORTANT DATES We anticipate the following schedule: 20 October 2023 : Notification-of-intent deadline 1 December 2023 : Submission deadline 22 March 2024 : First round of reviews 12 July 2024 : Revision deadline 4 October 2024 : Second round of reviews, if applicable 29 November 2024 : Final versions due ================================================================== 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. From calimeri at mat.unical.it Wed Sep 6 17:07:42 2023 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Wed, 6 Sep 2023 19:07:42 +0200 Subject: [Haskell] [CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 Message-ID: [apologize for multiple postings] ================================================================== Second AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023) ================================================================== ******************** *** NEW DEADLINE *** ******************** = IMPORTANT DATES (updated) = Abstract submission: September 20, 2023 (NEW) Paper submission: September 20, 2023 (NEW) Notification to authors: October 03, 2023 (NEW) Camera-ready copy due: October 10, 2023 (NEW) Main Workshop starts: November 06, 2023 (may be subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = 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 = Following the success of the first edition, the HC at 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: - 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; four types of submissions are invited: - full papers; - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions: they must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome. - papers already submitted to other conferences or journals, suitable for dissemination and opening discussion. 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=hcaixia2023 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. 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: - register to AIxIA 2023; - attend HC at AIxIA 2023 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = 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. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of the international journal "Progress in Artificial Intelligence", published by Springer (ISSN: 2192-6352) - provided that a sufficient amount of quality papers is collected. In such case, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A second review formal process will be run in order to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, that will be held right after the workshop. = IMPORTANT DATES (UPDATED) = Abstract submission: September 05, 2023 Paper submission: September 13, 2023 Notification to authors: October 02, 2023 Camera-ready copy due: October 09, 2023 Main Workshop starts: November 06, 2023 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop -------------- next part -------------- An HTML attachment was scrubbed... URL: From meng.wang at bristol.ac.uk Thu Sep 7 07:52:03 2023 From: meng.wang at bristol.ac.uk (Meng Wang) Date: Thu, 7 Sep 2023 07:52:03 +0000 Subject: [Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Message-ID: Dear Haskellers, Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) ---------------------------------------------------------------------------------------------------------- ** ** CALL FOR PAPERS ** ** PEPM at POPL 2024 ** Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION ** 16th of January 2024, London, United Kingdom ** ** Submission Deadline: ** 18 October 2023 ** ** https://popl24.sigplan.org/home/pepm-2024 ** https://easychair.org/conferences/?conf=pepm24 ** ----------------------------------------------------------------------------------------------------------- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2024 =============================================================================== * Website : https://popl24.sigplan.org/home/pepm-2024 * Time : 16th January 2024 * Place : London, United Kingdom (co-located with POPL 2024) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been co-located with POPL every year since 2006. It originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2024 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2024 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Gabriele Keller (g.k.keller at uu.nl) and Meng Wang (meng.wang at bristol.ac.uk). Submission categories and guidelines ------------------------------------ Three kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. * Talk Proposals may propose lectures about topics of interest for PEPM, existing work representing relevant contributions, or promising contributions that are not mature enough to be proposed as papers of the other categories. Talk Proposals must not exceed 2 pages. References and appendices are not included in page limits. Appendices may not necessarily be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via EasyChair: https://easychair.org/conferences/?conf=pepm24 Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Important dates --------------- * Paper submission deadline : **Wednesday 18th October 2023 (AoE)** * Author notification : **Wednesday 15th November 2023 (AoE)** * Workshop : **Tuesday 16th January 2024** Best paper award ---------------- PEPM 2024 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Chairs: Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) -------------- next part -------------- An HTML attachment was scrubbed... URL: From louis.rustenholz at imdea.org Fri Sep 8 11:19:39 2023 From: louis.rustenholz at imdea.org (Louis Rustenholz) Date: Fri, 08 Sep 2023 13:19:39 +0200 Subject: [Haskell] SAS 2023 - Call for Participation - Early deadline: Sept 22 Message-ID: <87y1hgc3p0.fsf@louis.rustenholz@imdea.org> ---------------------------------------------------------------------- Call for Participation Early registration deadline: September 22 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 Colocated with SPLASH 23 https://2023.splashcon.org/home/sas-2023 ---------------------------------------------------------------------- Registration is now open for SAS 2023! The 30th Static Analysis Symposium (SAS 2023) will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 22-24. REGISTRATION *Early bird registration deadline: September 22* Registration to be completed through the SPLASH registration pages; see instructions at: https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration https://2023.splashcon.org/attending/Registration INVITED SPEAKERS - Loris D'Antoni Verifying Infinitely Many Programs at Once - Bor-Yuh Evan Chang Goal-Directed Abstract Interpretation and Event-Driven Frameworks - Daniel Kästner Abstract Interpretation in Industry - Experience and Lessons Learned - Gagandeep Singh Building Trust and Safety in Artificial Intelligence with Abstract Interpretation ACCEPTED PAPERS - Mutual Refinements of Context-Free Language Reachability Shuo Ding and Qirun Zhang - Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Rosa Abbasi Boroujeni and Eva Darulova - How fitting is your abstract domain? Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni - BREWasm: A General Static Binary Rewriting Framework for WebAssembly Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang - Scaling up Roundoff Analysis of Functional Data Structure Programs Anastasia Isychev and Eva Darulova - Octagons Revisited - Elegant Proofs and Simplified Algorithms Michael Schwarz and Helmut Seidl - Error Invariants for Fault Localization via Abstract Interpretation Aleksandar S. Dimovski - Symbolic transformation of expressions in modular arithmetic Jérôme Boillot and Jérôme Feret - ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses Florian Frohn and Jürgen Giesl - Unconstrained Variable Oracles for Faster Static Analyses Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella - Generalized Program Sketching by Abstract Interpretation and Logical Abduction Aleksandar S. Dimovski - Domain Precision in Galois Connection-less Abstract Interpretation Isabella Mastroeni and Michele Pasqua - A Formal Framework to Measure the Incompleteness of Abstract Interpretations Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi - Error Localization for Sequential Effect Systems Colin S. Gordon and Chaewon Yun - Lifting On-Demand Analysis to Higher-Order Languages Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang - A Product of Shape and Sequence Abstractions Josselin Giet, Félix Ridoux and Xavier Rival - Quantum Constant Propagation Yanbin Chen and Yannick Stade - Polynomial Analysis of Modular Arithmetic Thomas Seed, Andy King, Neil Evans and Chris Coppins - Boosting Multi-Neuron Convex Relaxation for Neural Network Verification Xuezhou Tang, Ye Zheng and Jiaxiang Liu - Reverse Template Processing using Abstract Interpretation Matthieu Lemerre - Mutual Refinements of Context-Free Language Reachability Shuo Ding and Qirun Zhang - Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Rosa Abbasi Boroujeni and Eva Darulova - How fitting is your abstract domain? Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni - BREWasm: A General Static Binary Rewriting Framework for WebAssembly Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang - Scaling up Roundoff Analysis of Functional Data Structure Programs Anastasia Isychev and Eva Darulova - Octagons Revisited - Elegant Proofs and Simplified Algorithms Michael Schwarz and Helmut Seidl - Error Invariants for Fault Localization via Abstract Interpretation Aleksandar S. Dimovski - Symbolic transformation of expressions in modular arithmetic Jérôme Boillot and Jérôme Feret - ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses Florian Frohn and Jürgen Giesl - Unconstrained Variable Oracles for Faster Static Analyses Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella - Generalized Program Sketching by Abstract Interpretation and Logical Abduction Aleksandar S. Dimovski - Domain Precision in Galois Connection-less Abstract Interpretation Isabella Mastroeni and Michele Pasqua - A Formal Framework to Measure the Incompleteness of Abstract Interpretations Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi - Error Localization for Sequential Effect Systems Colin S. Gordon and Chaewon Yun - Lifting On-Demand Analysis to Higher-Order Languages Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang - A Product of Shape and Sequence Abstractions Josselin Giet, Félix Ridoux and Xavier Rival - Quantum Constant Propagation Yanbin Chen and Yannick Stade - Polynomial Analysis of Modular Arithmetic Thomas Seed, Andy King, Neil Evans and Chris Coppins - Boosting Multi-Neuron Convex Relaxation for Neural Network Verification Xuezhou Tang, Ye Zheng and Jiaxiang Liu - Reverse Template Processing using Abstract Interpretation Matthieu Lemerre From sweirich at seas.upenn.edu Mon Sep 11 18:54:38 2023 From: sweirich at seas.upenn.edu (Stephanie Weirich) Date: Mon, 11 Sep 2023 14:54:38 -0400 Subject: [Haskell] ESOP 2024 Call For Papers Message-ID: ******************************************************************************* CALL FOR PAPERS 33rd European Symposium on Programming ESOP 2024 organized within ETAPS 2024 Luxembourg City, Luxembourg, 6-11 April 2024 ******************************************************************************* NEW! In addition to Research Papers, ESOP 2024 solicits two new forms of contributions: Experience Reports and Fresh Perspectives NEW! Papers submitted in the Research Papers category may use any formatting and have no fixed page limit. Important Dates AoE (UTC-12) - Paper submission: October 12, 2023 - Rebuttal: Tuesday 5 December - Thursday 7 December, 2023 - Paper notification: December 21, 2023 - Artifact submission: January 4, 2024 - Paper final version: January 23, 2024 - Artifact notification: February 8, 2024 Scope ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: programming paradigms and styles, methods and tools to specify and reason about programs and languages, programming language foundations, methods and tools for implementation, concurrency and distribution, applications and emerging topics. Contributions bridging the gap between theory and practice are particularly welcome. Submission Categories Research Papers are articles that advance the state-of-the-art on the theory and practice of programming languages and systems. For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM's PACMPL, or ACM's TOPLAS format. There is no page limit for submissions, but authors should be aware that reviewers are likely to balance the review time for all papers and that camera-ready papers may not exceed 25 pages (excluding bibliography) and must be formatted in Springer’s LNCS. Experience Reports are articles reporting on systems and techniques developed in practice, such as artifacts, tools, mechanized proofs, and educational systems, both in academic and industrial settings. These articles must include a critical evaluation of the experience reported. Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Fresh Perspectives are articles that promote new insights on programming languages and systems in a particularly elegant way. These papers may offer new tutorial perspectives of known concepts or they may introduce fresh new insights and ideas that could lead to relevant future developments. Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Springer's formatting style files and other information can be found on the Springer website: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Review Process The review process is double-blind with a rebuttal phase. In submitted papers, authors should omit names and institutions; refer to prior work in the third person; and should not include acknowledgements that might reveal their identity. During the evaluation period authors are free to speak publicly about their work and distribute preprints of their submitted papers. However, authors should avoid actions that would reveal their identities, such as directly contacting PC members. Submission link: https://easychair.org/conferences/?conf=esop2024 Accepted papers will be published in Springer's Lecture Notes in Computer Science series. Artifact Evaluation ESOP 2024 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Note: Artifacts may be submitted with an accompanying short 5 page experience report (including 1 page bibliography), that will appear in the conference proceedings. Journal-After Submissions Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January at a predefined date after the ESOP notification, and to which all accepted papers may apply. A first light review round will be performed by the ESOP PC, to reach Reject or Revise decisions. Papers with Revise decisions will proceed to a second thorough review round, in which additional reviews will be coordinated with TOPLAS, towards a final Reject or Accept decision. Program Chair Stephanie Weirich (University of Pennsylvania) Program Committee Ana Bove, Chalmers, Sweden Loris D'Antoni, U Wisconsin-Madison, USA Ugo Dal Lago, Bologna, Italy Ornela Dardha, Glasgow, UK Mike Dodds, Galois, USA Sophia Drossopoulou, Imperial, UK Robert Findler, Northwestern, USA Amir Goharshady, HKUST, Hong Kong Andrew Gordon, Microsoft, UK Alexey Gotsman, IMDEA Software Institute, Spain Limin Jia, Carnegie Mellon University, USA Josh Ko, Academia Sinica, Taiwan András Kovács, Eötvös Loránd University, Hungary Kazutaka Matsuda, Tohoku University, Japan Anders Miltner, Simon Fraser, Canada Santosh Nagarakatte, Rutgers University, USA Dominic Orchard, University Kent and Cambridge, UK Frank Pfenning, Carnegie Mellon University, USA Clément Pit-Claudel, EPFL, Switzerland François Pottier, INRIA Paris, France Matija Pretnar, U Ljubljana, Slovenia Azalea Raad, Imperial College London, UK James Riely, DePaul, USA Tom Schrijvers, KU Leuven, Belgium Peter Sewell, Cambridge, UK Takeshi Tsukada, Chiba University, Japan Benoît Valiron, Centrale Supélec and Paris Saclay, France Dimitrios Vytiniotis, DeepMind, UK Elena Zucca, DIBRIS - University of Genova, Italy Steering Committee Luis Caires (Universidade Nova de Lisboa) Brigitte Pientka (McGill University) Ilya Sergey (National University of Singapore) Stephanie Weirich (University of Pennsylvania) Thomas Wies (New York University) Nobuko Yoshida (Imperial College London) -------------- next part -------------- An HTML attachment was scrubbed... URL: From alex.kavvos at bristol.ac.uk Mon Sep 11 19:41:20 2023 From: alex.kavvos at bristol.ac.uk (Alex Kavvos) Date: Mon, 11 Sep 2023 19:41:20 +0000 Subject: [Haskell] S-REPLS 13 / Fun in the Afternoon, Bristol, UK Message-ID: ============================================   S-REPLS 13 / Fun in the Afternoon   Joint meeting on Programming Languages   Wednesday, 1 November 2023, 10:00 - 17:00   Engine Shed, Bristol BS1 6HQ   https://plrg-bristol.github.io/fir/ ============================================ Overview S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics.  A joint meeting of these two communities will be hosted by the Programming Languages Research Group at the University of Bristol.  The meeting will take place at Engine Shed, Bristol BS1 6HQ from 10am to 5pm on Wednesday 1st November. Submitting a talk Talks are typically 20-30 minutes long and should be given in person.  We invite proposals for talks on any topic related to programming languages.  Subjects related to functional programming, and submissions from industrial professionals and junior researchers (postdocs and students) are especially welcome. Please e-mail Alex Kavvos and Steven Ramsay on with the subject "FITR talk proposal", giving a draft title and an abstract by the end of     Mon, 2 October 2023 From delphine.demange at irisa.fr Wed Sep 13 07:52:26 2023 From: delphine.demange at irisa.fr (Delphine Demange) Date: Wed, 13 Sep 2023 09:52:26 +0200 Subject: [Haskell] =?utf-8?q?CFP_-_JFLA_2024_-_Journ=C3=A9es_Francophones_?= =?utf-8?q?des_Langages_Applicatifs?= Message-ID: Spam detection software, running on the system "mail.haskell.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: 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 2024 in Brittany. Papers can be written in English, but the presentations themselves are expected to be given in French. [...] Content analysis details: (5.8 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 5.0 UNWANTED_LANGUAGE_BODY BODY: Message written in an undesired language 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.5000] -------------- next part -------------- An embedded message was scrubbed... From: Delphine Demange Subject: CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs Date: Wed, 13 Sep 2023 09:52:26 +0200 Size: 7183 URL: From daniel.jurjo at imdea.org Thu Sep 14 14:02:07 2023 From: daniel.jurjo at imdea.org (Daniel Jurjo) Date: Thu, 14 Sep 2023 16:02:07 +0200 Subject: [Haskell] LOPSTR 2023 - Call for Participation Message-ID: <676030a8-60ef-add7-3095-7dbd72d0cd4d@imdea.org> ** Apologies for multiple postings ** ----------------------------------------------------------------------                          Call for Participation                Early registration deadline: September 22                                 LOPSTR 2023                The 33rd International Symposium on Logic-based                    Program Synthesis and Transformation        Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023                   Colocated with PPDP 23 as part of SPLASH 23 https://lopstr.github.io/2023/ ----------------------------------------------------------------------   Registration is now open for LOPSTR 2023!   The 33rd International Symposium on Logic-based Program Synthesis and   Transformation will be co-located with PPDP 2023 as part of SPLASH   2023 in Cascais (Lisbon), Portugal and held on October 23-24.   REGISTRATION   *Early bird registration deadline: September 22*   Registration to be completed through the SPLASH registration pages;   see instructions at: https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration https://2023.splashcon.org/attending/Registration   INVITED SPEAKERS   - Maribel Fernandez     Unification Modulo Equational Theories in Languages with Binding     Operators   - Manuel V. Hermenegildo     On-The-Fly Verification via Incremental, Interactive Abstract     Interpretation with CiaoPP and VeriFly.   ACCEPTED PAPERS   - Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in     (Constraint) Logic Programming   - Bach Nguyentrong, Kanae Tsushima and Zhenjiang Hu. Design Datalog     Templates for Synthesizing Bidirectional Programs from Tabular     Examples   - John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and     Pedro Lopez-Garcia. Transforming big-step to small-step semantics     using interpreter specialisation   - Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus     for automated resource analyses   - Jordina Francès de Mas and Juliana Bowles. A novel EGs-based     framework for systematic propositional-formula simplification   - Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel     V. Hermenegildo. A rule-based approach for designing and composing     abstract domains   - Marija Kulas. A term matching algorithm and substitution generality   - Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical     Interpretation of Asynchronous Multiparty Compatibility   - Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access     Control Policies via Attribute-Based Category Mining   - Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz     and Ekaterina Komendantskaya. Towards a Certified Proof Checker for     Deep Neural Network Verification   - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and     Maurizio Proietti. Constrained Horn Clauses Satisfiability via     Catamorphic Abstractions   - Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry     Boulytchev. Relational Solver for Java Generics Type System -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Mon Sep 18 10:56:48 2023 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 18 Sep 2023 12:56:48 +0200 Subject: [Haskell] LAST reminder - DEADLINE September 20th - HC@AIxIA 2023 Message-ID: * Apologies for multiple postings * ================================================================== Second AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023) ================================================================== = IMPORTANT DATES (updated) = Abstract submission: September 20, 2023 (NEW) Paper submission: September 20, 2023 (NEW) Notification to authors: October 03, 2023 (NEW) Camera-ready copy due: October 10, 2023 (NEW) Main Workshop starts: November 06, 2023 (may be subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = 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 = Following the success of the first edition, the HC at 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: - 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; four types of submissions are invited: - full papers; - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions: they must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome. - papers already submitted to other conferences or journals, suitable for dissemination and opening discussion. 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=hcaixia2023 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. 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: - register to AIxIA 2023; - attend HC at AIxIA 2023 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = 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. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of the international journal "Progress in Artificial Intelligence", published by Springer (ISSN: 2192-6352) - provided that a sufficient amount of quality papers is collected. In such case, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A second review formal process will be run in order to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, that will be held right after the workshop. -------------- next part -------------- An HTML attachment was scrubbed... URL: From rsato at is.s.u-tokyo.ac.jp Mon Sep 25 01:30:33 2023 From: rsato at is.s.u-tokyo.ac.jp (Sato, Ryosuke) Date: Mon, 25 Sep 2023 10:30:33 +0900 Subject: [Haskell] APLAS 2023: Call for Participation Message-ID: ====================================================================== CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023 ====================================================================== The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII. APLAS 2023 will be held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Sunday 26th November 2023. There is also a student research competition and an associated poster session. ====================================================================== # Participation ====================================================================== Registration information is available at the homepage: https://conf.researchr.org/home/aplas-2023 Early registration deadline: 25 October 2023. Please register soon! ====================================================================== # Keynote Speakers ====================================================================== * Hakjoo Oh, Korea University. * Bow-Yaw Wang, Academia Sinica. A third keynote speaker will be announced soon. ====================================================================== # Accepted Papers ====================================================================== * A Diamond Machine for Strong Evaluation. Beniamino Accattoli (Inria & École Polytechnique), and Pablo Barenbaum (National University of Quilmes (CONICET) & University of Buenos Aires). * Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. Yannick Forster (Inria), Dominik Kirst (Ben-Gurion University), and Niklas Mück (Saarland University). * m-CFA Exhibits Perfect Stack Precision. Kimball Germane (Brigham Young University). * Typed Non-determinism in Functional and Concurrent Calculi. Bas van den Heuvel (University of Groningen), Joseph W. N. Paulus (University of Groningen), Daniele Nantes-Sobrinho (University of Brasília and Imperial College London), and Jorge Perez (University of Groningen) * Argument Reduction of Constrained Horn Clauses Using Equality Constraints. Ryo Ikeda (The University of Tokyo), Ryosuke Sato (The University of Tokyo), and Naoki Kobayashi (The University of Tokyo). * Transport via Partial Galois Connections and Equivalences. Kevin Kappelmann (Technical University of Munich). * Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li (National University Singapore), Quang Loc Le (University College London), Yahui Song (National University of Singapore), and Wei-Ngan Chin (National University of Singapore). * Types and Semantics for Extensible Data Types. Cas van der Rest (Delft University of Technology), and Casper Bach Poulsen (Delft University of Technology). * Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq. Ayumu Saito (Tokyo Institute of Technology), Reynald Affeldt (National Institute of Advanced Industrial, and Science and Technology (AIST)). * TorchProbe: Fuzzing Dynamic Deep Learning Compilers. Qidong Su (University of Toronto / Vector Institute), Chuqin Geng (McGill University), Gennady Pekhimenko (University of Toronto / Vector Institute), and Xujie Si (University of Toronto) * What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study. Ke Sun (Peking University), Sheng Chen (University of Louisiana at Lafayette), Meng Wang (University of Bristol), and Dan Hao(Peking University). * Compilation Semantics for a Programming Language with Versions. Yudai Tanabe (Kyoto University), Luthfan Anshar Lubis (Tokyo Institute of Technology), Tomoyuki Aotani (Sanyo-Onoda City University), and Hidehiko Masuhara (Tokyo Institute of Technology). * A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Sean Watters (University of Strathclyde), Fredrik Nordvall Forsberg (University of Strathclyde), and Clemens Kupke (University of Strathclyde). * Proofs as Terms, Terms as Graphs. Jui-Hsuan Wu (Institut Polytechnique de Paris). * Towards a Framework for Developing Verified Assemblers for the ELF Format. Jinhua Wu (Shanghai Jiao Tong University), Yuting Wang (Shanghai Jiao Tong University), Meng Sun (Shanghai Jiao Tong University), Xiangzhe Xu (Purdue University), and Yichen Song (Shanghai Jiao Tong University). ====================================================================== # NIER Workshop ====================================================================== * λGT: A Functional Language with Graphs as First-Class Data Kazunori Ueda and Jin Sano * Environment-Friendly Monadic Equational Reasoning for OCaml Jacques Garrigue, Reynald Affeldt and Takafumi Saikawa * Counterfactual Explanations for Sequential Models through Computational Complexity Anthony Widjaja Lin * Bottom-Up Construction of Sublist Trees Shin-Cheng Mu * A Neural-Network-Guided Approach to Program Verification and Synthesis Naoki Kobayashi ====================================================================== # POSTERS and STUDENT RESEARCH COMPETITION ENTRIES ====================================================================== * [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language Kento Takyu, Kazunori Ueda * [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development YungYu Zhuang, Wei-Hsin Yen, Yin-Jung Huang * [SRC] Multiple Screen States for Programming with Small Screens Jin Ishikawa * [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework Kazuki Matsuoka * [SRC] Separate Compilation for Compositional Programming via Extensible Records Yaozhu Sun * [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs Yong Qi Foo ====================================================================== # ORGANIZERS ====================================================================== General Chair: Shin-Cheng Mu, Academia Sinica, Taiwan Program Chair: Chung-Kil Hur, Seoul National University, Korea Publicity Chair: Ryosuke Sato, University of Tokyo, Japan SRC and Posters Chair: Hsiang-Shang ‘Josh’ Ko, Academia Sinica, Taiwan Program Committee: * Soham Chakraborty, TU Delft, Netherlands * Yu-Fang Chen, Academia Sinica, Taiwan * Ronghui Gu, Columbia University, USA * Ichiro Hasuo, National Institute of Informatics, Japan * Ralf Jung, ETH Zurich, Switzerland * Ohad Kammar, University of Edinburgh, UK * Jeehoon Kang, KAIST, Korea * Jieung Kim, Inha University, Korea * Robbert Krebbers, Radboud University Nijmegen, Netherlands * Ori Lahav, Tel Aviv University, Israel * Doug Lea, State University of New York at Oswego, USA * Woosuk Lee, Hanyang University, Korea * Hongjin Liang, Nanjing University, China * Nuno P. Lopes, University of Lisbon, Portugal * Chandrakana Nandi, Certora and UW, USA * Liam O'Connor, The University of Edinburgh, UK * Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong * Jihyeok Park, Korea University, Korea * Clément Pit-Claudel, EPFL, Switzerland * Matthieu Sozeau, Inria, France * Kohei Suenaga, Kyoto University, Japan * Tarmo Uustalu, Reykjavik University, Iceland * John Wickerson, Imperial College London, UK * Danfeng Zhang, Penn State University, USA Posters Selection Committee * Jacques Garrigue, Nagoya University, Japan * Jeremy Gibbons, University of Oxford, UK * Chih-Duo Hong, University of Oxford, UK * Oleg Kiselyov, Tohoku University, Japan * Akimasa Morihata, University of Tokyo, Japan * Dominic Orchard, University of Kent, UK and University of Cambridge, UK * Taro Sekiyama, National Institute of Informatics, Japan * Chung-chieh Shan, Indiana University, United States * Youngju Song, MPI-SWS, Germany * Tachio Terauchi, Waseda University, Japan * Chuangjie Xu, Sonar Source, Germany