From danel.ahman at fmf.uni-lj.si Wed Jun 1 08:15:32 2022 From: danel.ahman at fmf.uni-lj.si (Danel Ahman) Date: Wed, 1 Jun 2022 10:15:32 +0200 Subject: [Haskell] ICFP 2022 Student Research Competition: Final Call for Submissions Message-ID: <2FC066C1-A0D5-41A3-A391-39A9F54F0A89@fmf.uni-lj.si> ICFP 2022 Student Research Competition Call for Submissions ICFP 2022 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2022 * Finalists' presentations at ICFP 2022 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2022. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 8 June 2022 (Wednesday) * Author Notification: 24 June 2022 (Friday) * ICFP 2022 Conference in Ljubljana, Slovenia: 11 September 2022 (Sunday) - 16 September 2022 (Friday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp22src.hotcrp.com Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format . The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp22.sigplan.org/track/icfp-2022-student-research-competition ### PROGRAM COMMITTEE Danel Ahman (University of Ljubljana) (co-chair) Maria I. Gorinova (Twitter) Daniel Hillerström (University of Edinburgh) (co-chair) Shin-ya Katsumata (National Institute of Informatics) Jennifer Paykin (Galois) François Pottier (Inria) Nikhil Swamy (Microsoft Research) -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Mon Jun 6 06:22:56 2022 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Mon, 6 Jun 2022 08:22:56 +0200 Subject: [Haskell] Call for STSMs, deadline 1 July 2022 Message-ID: COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 1st July 2022 Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs *What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations. Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Tue Jun 7 08:34:21 2022 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Tue, 7 Jun 2022 16:34:21 +0800 Subject: [Haskell] ICFP 2022: Call for Tutorials, Panels, and Discussions Message-ID: CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia https://icfp22.sigplan.org/ The 27th ACM SIGPLAN International Conference on Functional Programming will be held on September 11-16, 2022 in Ljubljana, Slovenia. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. The tutorials may target an audience who is interested in commercial uses of functional programming, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on September 11 or September 15-16. ---------------------------------------------------------------------- Submission details Deadline for submission: June 24st, 2022 Notification of acceptance: July 15th, 2022 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2022 workshop co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2022 at googlegroups.com by June 24st, 2022. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 8th, 2022. The proposal form is available at: http://www.icfpconference.org/icfp2022-files/icfp22-panel-form.txt http://www.icfpconference.org/icfp2022-files/icfp22-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2022 organizing committee. Tutorials Co-Chair: Arthur Azevedo de Amorim (Boston University) Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern University) General Chair: Andrej Bauer (University of Ljubljana) Program Chair: Zena M. Ariola (University of Oregon) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2022 at googlegroups.com. From athas at sigkill.dk Fri Jun 10 18:59:07 2022 From: athas at sigkill.dk (Troels Henriksen) Date: Fri, 10 Jun 2022 20:59:07 +0200 Subject: [Haskell] 1st CfP: IFL 2022 - 34th Symposium on Implementation and Application of Functional Languages Message-ID: <87v8t8uyys.fsf@sigkill.dk> # CALL FOR PAPERS - The 34th Symposium on Implementation and Application of Functional Languages ## Important dates Draft paper submission: 7th of August 2022 Draft paper notification: 9th of August 2022 Registration deadline: 12th of August 2022 Symposium: 31th of August to 2nd of September ## Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2022 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialization * run-time code generation * partial evaluation * abstract interpretation * metaprogramming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * embedded domain specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * industrial applications ## Submissions and peer-review Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. ## Where IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU at the University of Copenhagen. See the IFL 2022 website at https://ifl22.github.io/ for more information. -- \ Troels /\ Henriksen From ifl21.publicity at gmail.com Mon Jun 13 20:25:04 2022 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Mon, 13 Jun 2022 13:25:04 -0700 Subject: [Haskell] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Message-ID: *CALL FOR PAPERS - The 34th Symposium on Implementation and Application of Functional Languages* *Important dates* Draft paper submission: 7th of August 2022 Draft paper notification: 9th of August 2022 Registration deadline: 12th of August 2022 Symposium: 31th of August to 2nd of September *Scope* The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2022 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialization * run-time code generation * partial evaluation * abstract interpretation * metaprogramming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * embedded domain specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * industrial applications *Submissions and peer-review* Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. *Where* IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU at the University of Copenhagen. See the IFL 2022 website at https://ifl22.github.io/ for more information. [image: beacon] -------------- next part -------------- An HTML attachment was scrubbed... URL: From stevez at seas.upenn.edu Tue Jun 14 20:19:22 2022 From: stevez at seas.upenn.edu (Steve Zdancewic) Date: Tue, 14 Jun 2022 16:19:22 -0400 Subject: [Haskell] Certified Programs and Proofs (CPP) 2023: Call for Papers Message-ID: <65beeb68-d772-2130-8568-3bab7cb77a0d@seas.upenn.edu> Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17 January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts, United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2023 will welcome contributions from all members of the community. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers. IMPORTANT DATES * Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h) * Notification (tentative): 21 November 2022 * Camera Ready Deadline (tentative): 12 December 2022 * Conference: 16-17 January 2023 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2023 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime   systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,   Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical   frameworks; * higher-order logics, dependent type theory, proof theory, logical systems,   separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial   systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order   logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2023.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2023 will employ a lightweight double-blind reviewing process following the process from previous years. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g.,     not "We build on our previous work ..." but rather "We build on the work of     ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. Note that POPL 2023 itself will employ full double-blind reviewing, which differs from the light-weight CPP process.  This FAQ from previous SIGPLAN conference addresses many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2023 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive     permission-to-publish license and, optionally, licenses the work under a     Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive     permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). PROGRAM COMMITTEE Steve Zdancewic, University of Pennsylvania, USA (co-chair) Brigitte Peintka, McGill University, Canada (co-chair) Reynald Affeldt, AIST, Japan Tej Chajed, MIT, USA Koen Claessen, Chalmers, Sweden Ranald Clouston, ANU, Australia Leonardo de Moura, Microsoft Research, USA Xinyu Feng, Nanjing University, China Denis Firsov, Tallinn University/GuardTime, Estonia Yannick Forster, Inria Nantes, France Milos Gligoric, UT Austin, USA Stephane Graham-Lengrand, SRI, USA Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA Chris Hawblitzel, Microsoft Research, US Chantal Keller , Université Paris Saclay, France Marie Kerjean, CNRS, France Yoonseung Kim, Seoul National University, Korea Kenji Maillard, INRIA, France César Muñoz, Amazon Web Services, USA Tobias Nipkow, Technical University of Munich, Germany Lawrence Paulson, Cambridge, UK Pierre-Marie Pédrot, INRIA, France Anja Petković Komel, TU Wien, Vienna Clément Pit-Claudel, EPFL, France Christine Rizkallah, University of Melbourne, Australia Cody Roux, AWS, USA Kazuhiko Sakaguchi, University of Tsukuba, Japan Anna Slobodova, Intel, USA Aaron Stump, University of Iowa, USA René Thiemann, University of Innsbruck, Austria Amin Timany, Aarhus University, Denmark Josef Urban, CIIRC (Prague), Czech Republic Viktor Vafeiadis, MPI-SWS, Germany Yuting Wang, Shanghai Jiao Tong University, China Tjark Weber, Uppsala University, Sweden ORGANIZERS Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Robbert Krebbers, Radboud University, Netherlands (conference co-chair) Brigitte Peintka, McGill University, Canada (PC co-chair) Steve Zdancewic, University of Pennsylvania, United States (PC co-chair) CONTACT For any questions please contact the two PC chairs: Steve Zdancewic Brigitte Pientka From clemens.grabmayer at gssi.it Fri Jun 17 13:05:06 2022 From: clemens.grabmayer at gssi.it (Clemens Grabmayer) Date: Fri, 17 Jun 2022 15:05:06 +0200 Subject: [Haskell] TERMGRAPH 2022 Workshop: First Call for Participation Message-ID: ======================================================================== First Call for Participation TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022 Technion, Haifa, Israel Monday, 1st August 2022 A Workshop that is part of FLoC 2022 ======================================================================== We invite participation for TERMGRAPH 2022, a satellite workshop of the 8th Federated Logic Conference (FLoC 2022) to be held in Haifa, Israel, from July 31 to August 12, 2022. Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modeling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term-/graph rewriting (term-graph and graph rewriting), and applications of graph transformations in programming, automated reasoning and symbolic computation. The aim of our workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Program: -------- We will have two invited talks (by Joerg Endrullis and by Delia Kesner), and 5 presentations about regular contributions. The preliminary schedule is as follows: 09.05 Opening of the workshop 09.15 - 10.15 Delia Kesner (invited talk): A Computational Interpretation of Girard's Intuitionistic Proof Nets 11.00 - 11.30 Tikhon Pshenitsyn: Transformation of DPO Grammars into Hypergraph Lambek Grammars With The Conjunctive Kleene Star 11.30 - 12.00 Vincent van Oostrom: Greedily Decomposing Proof Terms for String Rewriting into Multistep Derivations by Topological Multisorting 12.00 - 12.30 Roy Overbeek and Joerg Endrullis: A PBPO+ Graph Rewriting Tutorial 14.15 - 15.15 Jörg Endrullis (invited talk): PBPO+ Graph Rewriting in Context 16.00 - 16.30 Tim Kräuter, Harald König, Adrian Rutle, and Yngve Lamo: Formalization and analysis of BPMN using graph grammars 16.30 - 17.00 Stephen Mell, Osbert Bastani, and Steve Zdancewic: Ideograph: A Language for Expressing and Manipulating Structured Data 17.00 - 17.25 room for discussions 17.25 closing of the workshop Any changes if necessary will be announced via the webpage http://termgraph.org.uk/2022 Registration for FLoC: ---------------------- Via the FLoC webpage: https://www.floc2022.org/registration Programme Committee: -------------------- Sandra Alves, Universidade do Porto, Portugal Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark Thierry Boy de la Tour, CNRS, France Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy Wolfram Kahl, McMaster University, Canada Ian Mackie, LIX, France Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands Adrian Rutle, Western Norway University, Norway Kazunori Ueda, Waseda University, Japan Contact: -------- Clemens Grabmayer clemens.grabmayer at gssi.it ======================================================================== From kkmicins at syr.edu Sun Jun 19 00:44:00 2022 From: kkmicins at syr.edu (Kristopher K Micinski) Date: Sun, 19 Jun 2022 00:44:00 +0000 Subject: [Haskell] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE Message-ID: POPL 2023 Call for Papers (https://popl23.sigplan.org/) PACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2023 will be invited to present their work in the POPL conference in January 2023, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. # Important Dates Thu 07 Jul 2022: Submission Deadline Tue 06 Sep 2022: Start of Author Response period Fri 09 Sep 2022: End of Author Response period Tue 27 Sep 2022: Notification of Conditional Acceptance Wed 26 Oct 2022: Deadline for submission of revisions Mon 07 Nov 2022: Notification of Final Acceptance Thu 10 Nov 2022: Camera-Ready Deadline Wed 18 - Fri 20 Jan 2023: Conference For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts. Location: Boston Park Plaza, Boston, USA General chair: Andrew Myers Program chair: Amal Ahmed Program Committee members: https://popl23.sigplan.org/committee/POPL-2023-popl-research-papers-program-committee Full CFP: https://popl23.sigplan.org/track/POPL-2023-popl-research-papers#POPL-2023-Call-for-Papers NEW THIS YEAR: POPL 2023 will use a double-blind reviewing process (instead of the lightweight double-blind process used in recent years). This means that identities of authors will not be visible to reviewers until after acceptance decisions have been made. For authors, the main change is that there is no option to upload non-anonymized supplementary material; only anonymized supplementary material may be submitted. # Scope Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages. # Evaluation Criteria The Review Committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness, and clarity. Each paper must explain its scientific contribution in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Advice on writing technical papers can be found on the SIGPLAN author information page. Deadlines and formatting requirements will be strictly enforced. # Evaluation Process NEW THIS YEAR: POPL 2023 will use a double-blind reviewing process (instead of the lightweight double-blind process used in recent years). This means that identities of authors will not be visible to reviewers until after conditional-acceptance decisions have been made. For authors, the main change is that there is no option to upload non-anonymized supplementary material; only _anonymized_ supplementary material may be submitted. Also new this year: POPL 2023 will have three Associate Chairs 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. As in previous years, authors will have a multi-day period to respond to reviews, as indicated in the Important Dates table. Responses are optional. A response must be concise, addressing specific points raised in the reviews; in particular, it must not introduce new technical results. Reviewers will write a short reaction to these author responses. The Review Committee (RC) will discuss papers electronically and, new this year, also during two days of synchronous, face-to-face, virtual Review Committee meetings. There will be no physical RC meeting; this will avoid the time, cost, and environmental impact of transporting an increasingly large committee to one point on the globe. There is no formal External Review Committee, though experts outside the committee will be consulted. Reviews will be accompanied by a short summary of the reasons behind the committee's decision with the goal of clarifying the reasons behind the decision. To conform with ACM requirements for journal publication, all POPL papers will be conditionally accepted; authors will be required to submit a short description of the changes made to the final version of the paper, including how the changes address any requirements imposed by the Review Committee. That the changes are sufficient will be confirmed by the original reviewers prior to acceptance to POPL. Authors of conditionally accepted papers must submit a satisfactory revision to the Review Committee by the requested deadline or risk rejection. # Double-Blind Reviewing POPL 2023 will use double-blind reviewing. This means that author names and affiliations must be omitted from the submission. Additionally, if the submission refers to prior work done by the authors, that reference should be made in third person. These are firm submission requirements. Any supplementary material must also be anonymized. The FAQ on Double-Blind Reviewing(https://popl23.sigplan.org/track/POPL-2023-popl-research-papers#FAQ-on-Double-Blind-Reviewing) clarifies the policy for the most common scenarios. But there are many gray areas and trade-offs. If you have any doubts about how to interpret the double-blind rules, please contact the Program Chair. Make sure to contact the Program Chair for complex cases that are not fully covered by the FAQ. # Submission Guidelines The following two points are easy to overlook: - Conflicts: Each author of a submission has to log into the submission system and properly declare all potential conflicts of interest in the author profile form. A conflict caught late in the reviewing process leads to a voided review which may be infeasible to replace. - Anonymity: POPL 2023 will employ a double-blind reviewing process. Make sure that your submitted paper is fully anonymized. Prior to the paper submission deadline, the authors will upload their full anonymized paper. Each paper should have no more than 25 pages of text, excluding bibliography, using the new ACM Proceedings format. # Artifact Evaluation for Accepted Papers Authors of conditionally accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. Artifact submission is strongly encouraged but voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as "source materials" in the ACM Digital Library. # Copyright, Publication, and Presentation As a Gold Open Access journal, PACMPL is committed to making peer-reviewed scientific research free of restrictions on both access and (re-)use. Authors are strongly encouraged to support libre open access by licensing their work with the Creative Commons Attribution 4.0 International (CC BY) license, which grants readers liberal (re-)use rights. Authors of accepted papers will be required to choose one of the following publication rights: - Author licenses the work with a Creative Commons license, retains copyright, and (implicitly) grants ACM non-exclusive permission to publish (suggested choice). - Author retains copyright of the work and grants ACM a non-exclusive permission to publish license. - Author retains copyright of the work and grants ACM an exclusive permission to publish license. - Author transfers copyright of the work to ACM. These choices follow from ACM Copyright Policy and ACM Author Rights, corresponding to ACM's "author pays" option. While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge (currently, US$400), payment is not required for publication. PACMPL and SIGPLAN continue to explore the best models for funding open access, focusing on approaches that are sustainable in the long-term while reducing short-term risk. All papers will be archived by the ACM Digital Library. Authors will have the option of including supplementary material with their paper. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Authors of accepted papers are required to give a short talk (roughly 25 minutes long) at the conference, according to the conference schedule. # Distinguished Paper Awards At most 10% of the accepted papers of POPL 2023 will be designated as Distinguished Papers. This award highlights papers that the POPL Review Committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. The selection of the distinguished papers will be made based on the final version of the paper and through a second review process. From cfp at mat.unical.it Mon Jun 20 12:47:55 2022 From: cfp at mat.unical.it (cfp) Date: Mon, 20 Jun 2022 14:47:55 +0200 Subject: [Haskell] LPNMR 2022: First call for Doctoral Consortium In-Reply-To: <787c93a2-a1b6-4a13-d992-095557ab60bc@unical.it> References: <787c93a2-a1b6-4a13-d992-095557ab60bc@unical.it> Message-ID: Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser at aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser at aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Sun Jun 26 21:33:21 2022 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Sun, 26 Jun 2022 23:33:21 +0200 Subject: [Haskell] Call for STSMs, deadline 1 July 2022 In-Reply-To: References: Message-ID: COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 1st July 2022 Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs *What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations. Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Mon Jun 27 08:37:35 2022 From: cfp at mat.unical.it (cfp) Date: Mon, 27 Jun 2022 10:37:35 +0200 Subject: [Haskell] Datalog 2.0 2022 - Third Call for Papers Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- THIRD CALL FOR PAPERS 4th International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2022 https://tinyurl.com/datalog20-22 September 5, 2022, Genova - Nervi, Italy Workshop of LPNMR 2022 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKER Reinhard Pichler, Vienna University of Technology, Austria Title: Novel Techniques in Datalog Optimization Abstract: Datalog has been specifically designed for processing recursive queries. As such it seems the perfect fit for today's data analytics applications, which typically require some kind of iteration or recursion. However, basic analytical tasks such as computing shortest paths, betweenness centrality, or connected components in a graph as well as solving optimization problems by gradient descent or other methods crucially depend on aggregation. For Datalog, this poses new challenges due to the loss of the usual monotonicity properties in case of aggregation. In this talk, I will present recent work in which *) we have studied a generalization of Datalog that allows for recursive computations over general semirings (with classical Datalog corresponding to the special case of the Boolean semiring), *) we have analyzed the convergence of this generalization of Datalog, and *) we have introduced a powerful new optimization technique that covers known optimizations such as magic-set rewriting as well as new ones. This talk is mainly based on the following papers: [1] Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022. [2] Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu: Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference 2022. TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22 Up to five best regular papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). FURTHER INFORMATION WWW:https://tinyurl.com/datalog20-22 Email:datalog20-22 at easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE Marcelo Arenas, Pontificia Universidad Católica, Chile Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada Marco Calautti, University of Trento, Italy Esra Erdem, Sabanci University, Turkey Jorge Fandinno, University of Nebraska, USA Cristina Feier, University of Bremen, Germany Roman Kontchakov, Birkbeck, University of London, UK Paraschos Koutris, University of Wisconsin-Madison, USA Markus Krötzsch, TU Dresden, Germany Matthias Lanzinger, University of Oxford, UK Domenico Lembo, Sapienza University of Rome, Italy Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy Yanhong A. Liu, Stony Brook University, USA Marco Manna, University of Calabria, Italy Michael Morak, University of Klagenfurt, Austria Liat Peterfreund, Paris-Est University, France Torsten Schaub, University of Potsdam, Germany Mantas Simkus, TU Wien, Austria Tran Cao Son, New Mexico State University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Tue Jun 28 07:59:47 2022 From: cfp at mat.unical.it (cfp) Date: Tue, 28 Jun 2022 09:59:47 +0200 Subject: [Haskell] LPNMR 2022: Call for participation (Early reg. By July 20th) Message-ID: <93e8c705-fc2e-028a-cb58-b6c138da5e30@mat.unical.it> [Apologies in case of multiple posting] CALL FOR PARTICIPATION -------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://sites.google.com/view/lpnmr2022/ Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- REGISTRATION Early registration deadline is July 20th, 2022. For more information, visit: https://sites.google.com/view/lpnmr2022/registration We remind that at least one author of each accepted paper must early register in order to have the paper included in the proceedings. AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. COLOCATED WORKSHOPS (on Sept 5th) 4th International Workshop on the Resurgence of Datalog in Academia and Industry (DATALOG 2.0) 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022 at easychair.org((submission and program) lpnmr2022 at dibris.unige.it (general and local matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova$B!G(Bs old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupr?, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universit?t Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversit?t in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta -------------- next part -------------- An HTML attachment was scrubbed... URL: