February 2024 - Haskell

HC@AIxIA: AI&Health Seminar Series (2024) - MARCH 8th
by Francesco Calimeri 29 Feb '24

29 Feb '24

[apologize for multiple postings] The THIRD seminar of the "AI & Health" series as hosted by HC@AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence, is announced. *Save the date: 8 March.* We hope you will attend and participate in the discussion on the relevant topics that will be presented and by our speakers. *Feel free to share this with those potentially interested.* Please find some details below. All directions for participating are available at https://aixia.it/gruppi/hc/. *== Are you interested in Joining the group? ==* Please head to https://aixia.it/en/gruppi/hc/ fo find out how. Do not hesitate to contact us at hc-aixia(a)googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC@AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC@AIxIA working group) *== March 2024 seminar ==* *Link to participate*: https://unimib.webex.com/unimib/j.php?MTID=m42fa53368d1f644d66bb75fbd173b7dc *2024 MARCH 8 - 4:30PM CET* *Andrea Palladino and Margherita Bodini* GSK (Siena, Italy) *Title*: Natural language processing and deep learning for genome classification *Abstract*: Machine learning classification of entire genome sequences would find many important applications in the bacteriology field. Among the most relevant, there are population genomics, antibiotic resistance monitoring, and outbreak investigation. Despite the prosperous application of AI to genetic sequences, especially in eukaryotes (Y. Ji et al. Bioinformatics (2021), Z. Avsec et al., Nature Methods (2021)), it is still challenging to use machine learning on the complete genome sequence of an organism. In this seminar we will show various approaches to apply Natural Language Processing (NLP) to biological sequences. We will guide attendants in understanding the relevance and some details of such methods and show practical examples of application to Neisseria meningitidis genome. We will describe our recent work on the classification of B/non-B capsules and on the identification of strains that colonize asymptomatically the nasopharynx (carrier) from those that cause meningitis or sepsis (disease), comparing with the state of the art methodology. Finally, we will show how deep learning can be applied to the same scopes, with practical examples. *Short Bio*: Andrea Palladino is a physicist by formation, working in the field of artificial intelligence since 2020. He is senior data scientist at GSK in the group of systems vaccinology, applying machine learning algorithms to human data in the context of immuno-senescence, to investigate the relationship between chronological age and "age” of the immune system. *Short Bio*: Margherita Bodini is a Bioinformatician, with PhD in computational biology at the University of Milan. She works as senior data scientist at GSK in the group of bacterial computational genomics, applying genomic data analysis and machine learning towards research, development, and life cycle management of vaccine products.

1 0

APLAS 2024: Call for Papers
by Mirai Ikebuchi 28 Feb '24

28 Feb '24

Call for Papers APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: 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, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue (Nagoya U.) Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 0

RV: EXTRAAMAS2024 - DEADLINE EXTENSION
by Contreras Ordoñez Victor Hugo 27 Feb '24

27 Feb '24

Dear colleague, We have received several requests for a deadline extension. Therefore, the new deadline for paper submission is: EXTRAAMAS submission deadline : 10 March 2024 EXTRAAMAS website: https://extraamas.ehealth.hevs.ch/ We look forward to see you in New Zaeland. Full Call for Papers: Please check the call for paper here: https://extraamas.ehealth.hevs.ch/docs/CfP_EXTRAAMAS24.pdf Important Dates: Deadline for submissions: 10.03.2024 Notification of acceptance: 25.03.2024 Registration Instructions: 05.04.2024 Workshop day: 6.05.2024 Camera-ready: 15.06.2024 Workshop tracks: Track 1: XAI in symbolic and subsymbolic AI Track 2: XAI in negotiation and conflict resolution Track 3: Prompts, Interactive Explainability and Dialogues Track 4: XAI in Law and Ethics. Best regards, EXTRAAMAS Program Chairs.

1 0

TYPES 2024 - Call for Contributions
by Patrick Bahr 25 Feb '24

25 Feb '24

Call for Contributions TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk OVERVIEW -------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. CONTRIBUTED TALKS ----------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. IMPORTANT DATES --------------- * Submission of abstract 4 March 2024 AoE * Author notification 19 April 2024 AoE * Camera-ready version of abstract 10 May 2024 AoE * Conference 10 - 14 June 2024 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ---------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2024. PROGRAMME COMMITTEE ------------------- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft, The Netherlands) Greta Coraglia (University of Milan, Italy) Peter Dybjer (Chalmers University of Technology, Sweden) Yannick Forster (INRIA, France) Hugo Herbelin (INRIA, France) Patricia Johann (Appalachian State University, USA) Marie Kerjean (CNRS, France) Ekaterina Komendantskaya (University of Southampton, United Kingdom) Meven Lennon-Bertrand (University of Cambridge, United Kingdom) Assia Mahboubi (INRIA, France) Sonia Marin (University of Birmingham, United Kingdom) Anders Mörtberg (Stockholm University, Sweden) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (co-chair) Benjamin Pierce (University of Pennsylvania, USA) Jakob Rehof (Technical University of Dortmund, Germany) Simona Ronchi Della Rocca (University of Turin, Italy) Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands) Ana Sokolova (University of Salzburg, Austria) Bas Spitters (Aarhus University, Denmark) Wouter Swierstra (Utrecht University, The Netherlands) Philip Wadler (University of Edinburgh, United Kingdom) TYPES STEERING COMMITTEE ------------------------ Sandra Alves (University of Porto, Portugal) Eduardo Hermo Reyes (Formal Vindications, Spain) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Paige Randall North (Utrecht University, The Netherlands) (chair) Matthieu Sozeau (INRIA & Université de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023). CONTACT ------- Email: types2024(a)easychair.org ORGANIZERS ---------- Patrick Bahr (IT University of Copenhagen, Denmark) Marco Carbone (IT University of Copenhagen, Denmark) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)

1 0

Deadline Extended---Fourth Call for Papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
by Huibiao Zhu 22 Feb '24

22 Feb '24

TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering July 29 - August 1, Guiyang City, China https://tase2024.github.io/ ***Submission Deadline Extended Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission: March 5, 2024 (extended) Overview --------------------------------------------------------------------------------------------- The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Conference website: https://tase2024.github.io/ Topics of Interest --------------------------------------------------------------------------------------------- Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates --------------------------------------------------------------------------------------------- Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission: March 5, 2024 (extended) Workshop Proposal Submission: March 10, 2024 Workshop Proposal Notification: March 21, 2024 Author Notification: April 10, 2024 Camera-ready Versions: May 10, 2024 Conference: July 29 - August 1, 2024 Submission --------------------------------------------------------------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers --------------------------------------------------------------------------------------------- Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees --------------------------------------------------------------------------------------------- * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universität Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

Haskell Foundation Board is looking for new members
by Andres Löh 20 Feb '24

20 Feb '24

Hi everyone! The yearly elections for Haskell Foundation Board members are upcoming. You can self-nominate! See https://discourse.haskell.org/t/2024-call-for-nominations-for-the-haskell-f… for more information! Best, Andres

1 0

ICFP 2024: Second Call for Papers
by ICFP Publicity 09 Feb '24

09 Feb '24

PACMPL Volume 7, Issue ICFP 2024 Call for Papers Accepted papers to be invited for presentation at The 29th ACM SIGPLAN International Conference on Functional Programming Milan, Italy ### Important dates (All dates are in 2023 at 11.59pm Anywhere on Earth.) Paper Submission -- Wed 28 Feb 2024 (AOE) Paper Author Response -- Mon 29 Apr 12:00 - Wed 1 May 12:00 2024 Paper Notification --Mon 20 May 2024 ### NEW THIS YEAR ------------------- * Full double blind reviewing ### Scope ------------------- PACMPL issue ICFP 2024 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modularity; components and composition; meta-programming; macros; pattern matching; type systems; type inference; dependent types; effect types; gradual types; refinement types; session types; interoperability; domain-specific languages; imperative programming; object-oriented programming; logic programming; probabilistic programming; reactive programming; generic programming; bidirectional programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimisation; garbage collection and memory management; runtime systems; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling; build systems; program synthesis. * Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; computational effects; continuations; control; state; names and binding; program verification. * Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed systems and web programming; hardware design; databases; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security. * Education: teaching introductory programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2024 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such when submitted and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. In an effort to achieve a balanced, diverse program, each author may be listed as a (co)author on a maximum of four submissions. Submissions from underrepresented groups are encouraged. Authors who require financial support to attend the conference can apply for PAC funding ( http://www.sigplan.org/PAC/) The General Chair and PC Chair may not submit papers. PC members (other than the PC Chair) may submit papers. Please contact the Program Chair if you have questions or are concerned about the appropriateness of a topic. ### Full Double-Blind Reviewing Process ICFP 2024 will use a full double-blind reviewing process (similar to the one used for POPL 2024 but different from the lightweight double-blind process used in previous years). This means that identities of authors will not be made visible to reviewers until after conditional-acceptance decisions have been made, and then only for the conditionally-accepted papers. The use of full double-blind reviewing has several consequences for authors. * Submissions: Authors must omit their names and institutions from their paper submissions. In addition, references to authors’ own prior work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). * Supplementary material: Authors are permitted to provide supplementary material (e.g., detailed proofs, proof scripts, system implementations, or experimental data) along with their submission, which reviewers may (but are not required to) examine. This material may take the form of a single file, such as a PDF or a tarball. Authors must fully anonymize any supplementary material. Links to supplementary material on external websites are not permitted. * Author response: In responding to reviews, authors should not say anything that reveals their identity, since author identities will not be revealed to reviewers at that stage of the reviewing process. * Dissemination of work under submission: Authors are welcome to disseminate their ideas and post draft versions of their paper(s) on their personal website, institutional repository, or arXiv (reviewers will be asked to turn off arXiv notifications during the review period). But authors should not take steps that would almost certainly reveal their identities to members of the Program Committee, e.g., directly contacting PC members or publicizing the work on widely-visible social media or major mailing lists used by the community. The purpose of the above restrictions is to help the Program Committee and external reviewers come to a judgment about the paper without bias, not to make it impossible for them to discover the authors’ identities if they were to try. In particular, nothing should be done in the name of anonymity that weakens the quality of the submission. However, there are occasionally cases where adhering to the above restrictions is truly difficult or impossible for one reason or another. In such cases, the authors should contact the Program Chair to discuss the situation and how to handle it. ### Preparation of submissions ------------------------------- * Deadline: The deadline for submissions is Wednesday, 28 February , 2024, Anywhere on Earth (https://www.timeanddate.com/time/zones/aoe) This deadline will be strictly enforced. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper and interpretable by common PDF tools. All submissions must adhere to the “ACM Small” template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. There is a limit of 25 pages for a full paper or Functional Pearl and 12 pages for an Experience Report; in either case, the bibliography and an optional clearly marked appendix will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. See also PACMPL’s Information and Guidelines for Authors at https://pacmpl.acm.org/authors.cfm. * Submission: Submissions will be accepted at https://icfp24.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. * Author Response Period: Authors will have a 72-hour period, starting at 12:00 (noon) AOE on Monday, 29 April, 2024, to read reviews and respond to them. * Appendix and Supplementary Material: Authors have the option to include a clearly marked appendix and/or to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at such an appendix or supplementary material. Supplementary material may be uploaded as a separate PDF document or tarball. Any supplementary material must be uploaded at submission time, not by providing a URL in the paper that points to an external repository. All supplementary material must be anonymised. * Authorship Policies: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at https://www.acm.org/publications/authors/information-for-authors. * Republication Policies: Each submission must adhere to SIGPLAN’s republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. * ORCID: ORCID provides a persistent digital identifier (an ORCID iD) that you own and control, and that distinguishes you from every other researcher: https://orcid.org/. ACM now require an ORCID iD for every author of a paper, not just the corresponding author. So, the author who is filling out the permission form should make sure they have the ORCID iDs for all of their coauthors before filling out the form. Any authors who do not yet have an ORCID iD can go to https://orcid.org/register to have one assigned. ### Review Process ------------------- This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2024. New this year, ICFP 2024 will adapt a full double-blind reviewing process. More information see below. ICFP 2024 will have an Associate Chair who will help the PC Chair monitor reviews, solicit external expert reviews for submissions when there is not enough expertise on the committee, and facilitate reviewer discussions. PACMPL issue ICFP 2024 will employ a two-stage review process. The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. As a result of the review process, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on 20 May, 2024. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. By 11 June, 2024, the authors should provide a second revised submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can feasibly be addressed within three weeks. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. ### Information for Authors of Accepted Papers ---------------------------------------------- As a condition of acceptance, final versions of all papers must adhere to the ACM Small format. The page limit for the final versions of papers will be increased by two pages to help authors respond to reviewer comments and mandatory revisions: 27 pages plus bibliography for a regular paper or Functional Pearl, 14 pages plus bibliography for an Experience Report. Authors of accepted submissions will be required to agree to one of the three ACM licensing options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article Why CC-BY? published by OASPA, the Open Access Scholarly Publishers Association. The other options are copyright transfer to ACM or retaining copyright but granting ACM exclusive publication rights. PACMPL is a Gold Open Access journal, and authors are encouraged to publish their work under a CC-BY license. Gold Open Access guarantees permanent free online access to the definitive version in the ACM Digital Library, and the recommended CC-BY option also allows anyone to copy and distribute the work with attribution. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit http://www.acm.org/publications/acm-author-izer-service to learn how to create links for free downloads from the ACM DL. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Authors of each accepted submission are invited to attend and be available for the presentation of that paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. ### Artifact Evaluation ----------------------- Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as “source materials” in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. ### Special categories of papers ------------------------------- In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. * Functional Pearls - A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: - a new and thought-provoking way of looking at an old idea - an instructive example of program calculation or proof - a nifty presentation of an old or new data structure - an interesting application of functional programming techniques - a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much-specialised knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page and should contain the words “Functional Pearl” somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference’s acceptance rate. * Experience Reports The purpose of an Experience Report is to describe the experience of using functional programming in practice, whether in industrial application, tool development, programming education, or any other area. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using functional programming - comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum - project-management, business, or legal issues encountered when using functional programming in a real-world project - curricular issues encountered when using functional programming in education - real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. Both in the papers and in any citations, the title of each accepted Experience Report must end with the words “(Experience Report)” in parentheses. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. Experience Report submissions can be at most 12 pages long, excluding bibliography. Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience Reports may be asked to give shorter talks. Because the purpose of Experience Reports is to enable our community to understand the application of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the report describes an illuminating experience with functional programming, or provides evidence for a clear thesis about the use of functional programming. The experience or thesis must be relevant to ICFP, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the paper to illuminate some aspect of the use of functional programming. Anecdotal evidence will be acceptable provided it is well-argued and the author explains what efforts were made to gather as much evidence as possible. Typically, papers that show how functional programming was used are more convincing than papers that say only that functional programming was used. It can be especially effective to present comparisons of the situations before and after the experience described in the paper, but other kinds of evidence would also make sense, depending on context. Experience drawn from a single person’s experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point. For an industrial project, it should make a claim about how well functional programming worked and why; for a pedagogy paper, it might make a claim about the suitability of a particular teaching style or educational exercise. Either way, it should produce evidence to substantiate the claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarise the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the experience and its implementation, but the paper should characterise it and its context well enough so that readers can judge to what degree this experience is relevant to their own circumstances. The paper should take care to highlight any unusual aspects; specifics about the experience are more valuable than generalities about functional programming. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better to submit it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The Program Chair will be happy to advise on any concerns about which category to submit to. ### About PACMPL ---------------- Proceedings of the ACM on Programming Languages (PACMPL https://pacmpl.acm.org/) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicised Calls for Papers, like this one. ### ICFP Organisers General Chair: Marco Gaboardi (Boston University, USA) Programme Chair: Brigitte Pientka (McGill University, Canada) Associate Programme Chair: Gabriele Keller (Utrecht University, Netherlands) Publicity Chair: Ilya Sergey (National University of Singapore, Singapore) Programme Committee: https://icfp24.sigplan.org/committee/icfp-2024-papers-icfp-papers-and-events

1 0

Third Call for Papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
by Huibiao Zhu 05 Feb '24

05 Feb '24

TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview --------------------------------------------------------------------------------------------- The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Conference website: https://tase2024.github.io/ Topics of Interest --------------------------------------------------------------------------------------------- Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates --------------------------------------------------------------------------------------------- Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission --------------------------------------------------------------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers --------------------------------------------------------------------------------------------- Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees --------------------------------------------------------------------------------------------- * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universität Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

LOPSTR 2024 -- Preliminary Call for Papers
by Daniel Jurjo 04 Feb '24

04 Feb '24

** Apologies for multiple postings ** 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024). Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. September 9-11, 2024 - Milan, Italy https://lopstr.github.io/2024/ Important dates: - Abstract submission: May 6, 2024 (AoE) - Paper submission: May 10, 2024 (AoE) - Author notification: June 26, 2024 (AoE) - Camera-ready: July 17, 2024 (AoE) - Symposium: September 9-11, 2024 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2024 will be held at Politecnico di Milano, Milan, Italy and, as part of FM 2024, will be co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the FM 2024 website. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI-methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References will NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page, and use their proceedings templates, either for LaTeX (available also in overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2024 PROGRAM CHAIRS Juliana Bowles, University of St Andrews, Scotland and SCCH, Austria Harald Søndergaard, The University of Melbourne, Australia PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS - TBA HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia:http://lopstr.webs.upv.es/. You can find the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr)

1 0

PhD fellowships in ”Parallel functional programming” and "Systems-level language-based security"
by Troels Henriksen 02 Feb '24

02 Feb '24

Full information, including deadlines and such: https://di.ku.dk/ominstituttet/ledige_stillinger/phd-fellowships-in-paralle… The section for Programming Languages and the Theory of Computation (PLTC) at the Department of Computer Science invites applicants for PhD fellowships in two areas: data parallel programming languages broadly construed (including design, implementation, theoretical aspects, and parallel algorithms), and the intersection of systems-level security and formal aspects of computer science (e.g., verification, type systems, programming languages, language-based security, formal methods, logic and so on). When applying, please indicate which areas are of interest to you (which can be both). Two positions, are available: # Parallel Functional Programming Parallel programming on modern massively parallel processors such as GPUs is notoriously difficult and awkward for humans, particularly for irregular problems or those with nested structure. At DIKU, we are a small team that researches programming and compilation techniques for making high-performance parallel programming more accessible to non-specialist programmers. We conduct applied research with a focus on actual real-world performance on mainstream hardware, and we use the functional array language Futhark (https://futhark-lang.org) and its implementation as our main experimental vessel. The precise research problems to be investigated by the PhD candidate depends on the interests of the candidate, but we are particularly interested in problems such as: * How to efficiently map fully or partially irregular nested parallelism to hardware, while still taking advantage of locality. * The construction of profiling tools that can precisely measure the performance of heavily compiler-transformed code and connect it to the original program, allowing the programmer to understand the high-level performance of their program. * Optimising data layout based on how it is accessed by the program; possibly also taking distributed execution or NUMA behaviour into account. * Data parallel formulations of algorithms that are historically difficult to express; e.g. syntax analysis, constraint propagation, and similar recursive and irregular problems. At a basic level, our research consists of developing a strong idea, and then demonstrating the applicability of the idea by implementing it in a practically usable compiler or tool. For more information, feel free to contact Troels Henriksen (athas(a)diku.dk) # Systems-Level Language-Based Security Systems-level security is a challenging field, particularly because it is often difficult to fully ensure the absence of errors. For example, modern operating systems use kernel extensions provided by users to add functionalities like network filters and performance tracking. These extensions, while useful, can pose significant security risks as they run with high privileges, potentially affecting the entire system or can access sensitive information. At DIKU, we are a small group that researches programming-language techniques and formal methods for improving systems-level security. We conduct both applied research and theoretical work, with Open Source software such as the Linux kernel as one of our main interests. The specific research areas for the PhD candidate will align with their interests. However, we're particularly keen on exploring topics such as: * Providing strong, formally verified security guarantees for the eBPF subsystem in the Linux kernel. * Using user-provided code, like WebAssembly or eBPF, for computational storage, ensuring these have strong security guarantees. * Using the programming language Rust for improving systems-level Open Source project, for instance the Linux kernel. Hereunder, exploring automated verification of Rust code correctness, including the development of, or contribution to existing tools for reasoning about Rust code. Our research typically involves developing a solid idea and demonstrating its practical application, either through a usable tool or a proof-of-concept. For more information, feel free to contact Ken Friis Larsen (kflarsen(a)di.ku.dk)

1 0