- Haskell - Haskell.org

Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]
by Stefan Wehr 11 Oct '23

11 Oct '23

================================================================================ BOB Conference 2024 "What happens when we use what's best for a change?" https://bobkonf.de/2024/cfc.html Berlin, Mar 17 Call for Contributions Deadline: November 17, 2023 ================================================================================ You are actively engaged in advanced software engineering methods, solve ambitious problem with software and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not able to attend the conference for financial reasons. Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - effective abstractions for data analytics - … everything really that isn’t mainstream, but you think should be - … includeing rough ideas worth discussing. Presenters should provide the audience with information that is practically useful for software developers. Challenges ---------- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development We're especially interested in experience reports. Other topics are also relevant, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) Organisation ------------ - Direct questions to konferenz at bobkonf dot de - Proposal deadline: November 17, 2023 - Notification: December 5, 2023 - Program: December 12, 2023 Submit here: https://pretalx.com/bob-2024/submit/ Program Committee ----------------- (more information here: https://bobkonf.de/2024/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg

1 0

Tenure-track Faculty Positions at the IMDEA Software Institute
by Manuel Hermenegildo 10 Oct '23

10 Oct '23

TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Machine Learning, including Formal Reasoning about ML Systems, Explainable AI, Data Analysis at Large Scale, etc.; Software Engineering; Systems in general, including Distributed Systems, Embedded Systems, Databases, etc.; Cyber-Physical Systems; and Privacy. Exceptional candidates in other topics within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest-ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must have an outstanding research record, recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at: https://careers.software.imdea.org/ Please select reference "2023-10-faculty-call" at the beginning of the form. For full consideration, complete applications must be received by December 15, 2023, although applications will continue to be accepted until the positions are filled. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers.

1 0

CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
by Meng Wang 03 Oct '23

03 Oct '23

Dear Haskellers, Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) ---------------------------------------------------------------------------------------------------------- ** ** CALL FOR PAPERS ** ** PEPM at POPL 2024 ** Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION ** 16th of January 2024, London, United Kingdom ** ** Submission Deadline: ** 18 October 2023 ** ** https://popl24.sigplan.org/home/pepm-2024 ** https://easychair.org/conferences/?conf=pepm24 ** ----------------------------------------------------------------------------------------------------------- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2024 =============================================================================== * Website : https://popl24.sigplan.org/home/pepm-2024 * Time : 16th January 2024 * Place : London, United Kingdom (co-located with POPL 2024) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been co-located with POPL every year since 2006. It originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2024 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2024 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Gabriele Keller (g.k.keller(a)uu.nl<mailto:g.k.keller@uu.nl>) and Meng Wang (meng.wang(a)bristol.ac.uk<mailto:meng.wang@bristol.ac.uk>). Submission categories and guidelines ------------------------------------ Three kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. * Talk Proposals may propose lectures about topics of interest for PEPM, existing work representing relevant contributions, or promising contributions that are not mature enough to be proposed as papers of the other categories. Talk Proposals must not exceed 2 pages. References and appendices are not included in page limits. Appendices may not necessarily be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via EasyChair: https://easychair.org/conferences/?conf=pepm24 Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Important dates --------------- * Paper submission deadline : **Wednesday 18th October 2023 (AoE)** * Author notification : **Wednesday 15th November 2023 (AoE)** * Workshop : **Tuesday 16th January 2024** Best paper award ---------------- PEPM 2024 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Chairs: Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK)

1 1

PADL'24: Last Call for Papers
by ICFP Publicity 02 Oct '23

02 Oct '23

============================================================================== Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2024 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2024 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… The review process of PADL 2024 is *double-anonymous*. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgements that might identify you. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2024 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshop proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://padl2024.hotcrp.com Important Dates --------------- Paper submission: October 5, 2023 (AoE) Notification: November 9, 2023 Symposium: January 15-16, 2024 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… , and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2024 PC Co-Chairs ---------------------- Martin Gebser, University of Klagenfurt, Austria Ilya Sergey, National University of Singapore, Singapore Programme Committee ------------------- Alexandra Mendes University of Porto & INESC TEC, Portugal Annie Liu Stony Brook University, USA Anton Trunov Fuel Labs, UAE Arnaud Spiwack Tweag, France Daniela Inclezan Miami University, USA Emilia Oikarinen University of Helsinki, Finland Enrico Pontelli New Mexico State University, USA Esra Erdem Sabanci University, Turkey Gopal Gupta University of Texas at Dallas, USA Jesper Cockx Delft University of Technology, Netherlands Jessica Zangari University of Calabria, Italy Johannes Wallner Graz University of Technology, Austria Leo White Jane Street, UK Magnus Myreen Chalmers University of Technology, Sweden Manuel Carro IMDEA Software Institute, Spain Marcello Balduccini Saint Joseph's University, USA Matthew Flatt University of Utah, USA Mukund Raghothaman University of Southern California, USA Patrick Bahr University of Copenhagen, Denmark Roland Yap National University of Singapore, Singapore Simon Fowler University of Glasgow, UK Stefania Costantini University of L'Aquila, Italy Tom Schrijvers KU Leuven, Belgium Tomi Janhunen Tampere University, Finland Weronika T. Adrian University of Krakow, Poland Youyou Cong Tokyo Institute of Technology, Japan Zeynep G. Saribatur TU Wien, Austria

1 0

APLAS 2023: Call for Participation
by Sato, Ryosuke 25 Sep '23

25 Sep '23

====================================================================== CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023 ====================================================================== The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII. APLAS 2023 will be held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Sunday 26th November 2023. There is also a student research competition and an associated poster session. ====================================================================== # Participation ====================================================================== Registration information is available at the homepage: https://conf.researchr.org/home/aplas-2023 Early registration deadline: 25 October 2023. Please register soon! ====================================================================== # Keynote Speakers ====================================================================== * Hakjoo Oh, Korea University. * Bow-Yaw Wang, Academia Sinica. A third keynote speaker will be announced soon. ====================================================================== # Accepted Papers ====================================================================== * A Diamond Machine for Strong Evaluation. Beniamino Accattoli (Inria & École Polytechnique), and Pablo Barenbaum (National University of Quilmes (CONICET) & University of Buenos Aires). * Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. Yannick Forster (Inria), Dominik Kirst (Ben-Gurion University), and Niklas Mück (Saarland University). * m-CFA Exhibits Perfect Stack Precision. Kimball Germane (Brigham Young University). * Typed Non-determinism in Functional and Concurrent Calculi. Bas van den Heuvel (University of Groningen), Joseph W. N. Paulus (University of Groningen), Daniele Nantes-Sobrinho (University of Brasília and Imperial College London), and Jorge Perez (University of Groningen) * Argument Reduction of Constrained Horn Clauses Using Equality Constraints. Ryo Ikeda (The University of Tokyo), Ryosuke Sato (The University of Tokyo), and Naoki Kobayashi (The University of Tokyo). * Transport via Partial Galois Connections and Equivalences. Kevin Kappelmann (Technical University of Munich). * Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li (National University Singapore), Quang Loc Le (University College London), Yahui Song (National University of Singapore), and Wei-Ngan Chin (National University of Singapore). * Types and Semantics for Extensible Data Types. Cas van der Rest (Delft University of Technology), and Casper Bach Poulsen (Delft University of Technology). * Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq. Ayumu Saito (Tokyo Institute of Technology), Reynald Affeldt (National Institute of Advanced Industrial, and Science and Technology (AIST)). * TorchProbe: Fuzzing Dynamic Deep Learning Compilers. Qidong Su (University of Toronto / Vector Institute), Chuqin Geng (McGill University), Gennady Pekhimenko (University of Toronto / Vector Institute), and Xujie Si (University of Toronto) * What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study. Ke Sun (Peking University), Sheng Chen (University of Louisiana at Lafayette), Meng Wang (University of Bristol), and Dan Hao(Peking University). * Compilation Semantics for a Programming Language with Versions. Yudai Tanabe (Kyoto University), Luthfan Anshar Lubis (Tokyo Institute of Technology), Tomoyuki Aotani (Sanyo-Onoda City University), and Hidehiko Masuhara (Tokyo Institute of Technology). * A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Sean Watters (University of Strathclyde), Fredrik Nordvall Forsberg (University of Strathclyde), and Clemens Kupke (University of Strathclyde). * Proofs as Terms, Terms as Graphs. Jui-Hsuan Wu (Institut Polytechnique de Paris). * Towards a Framework for Developing Verified Assemblers for the ELF Format. Jinhua Wu (Shanghai Jiao Tong University), Yuting Wang (Shanghai Jiao Tong University), Meng Sun (Shanghai Jiao Tong University), Xiangzhe Xu (Purdue University), and Yichen Song (Shanghai Jiao Tong University). ====================================================================== # NIER Workshop ====================================================================== * λGT: A Functional Language with Graphs as First-Class Data Kazunori Ueda and Jin Sano * Environment-Friendly Monadic Equational Reasoning for OCaml Jacques Garrigue, Reynald Affeldt and Takafumi Saikawa * Counterfactual Explanations for Sequential Models through Computational Complexity Anthony Widjaja Lin * Bottom-Up Construction of Sublist Trees Shin-Cheng Mu * A Neural-Network-Guided Approach to Program Verification and Synthesis Naoki Kobayashi ====================================================================== # POSTERS and STUDENT RESEARCH COMPETITION ENTRIES ====================================================================== * [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language Kento Takyu, Kazunori Ueda * [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development YungYu Zhuang, Wei-Hsin Yen, Yin-Jung Huang * [SRC] Multiple Screen States for Programming with Small Screens Jin Ishikawa * [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework Kazuki Matsuoka * [SRC] Separate Compilation for Compositional Programming via Extensible Records Yaozhu Sun * [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs Yong Qi Foo ====================================================================== # ORGANIZERS ====================================================================== General Chair: Shin-Cheng Mu, Academia Sinica, Taiwan Program Chair: Chung-Kil Hur, Seoul National University, Korea Publicity Chair: Ryosuke Sato, University of Tokyo, Japan SRC and Posters Chair: Hsiang-Shang ‘Josh’ Ko, Academia Sinica, Taiwan Program Committee: * Soham Chakraborty, TU Delft, Netherlands * Yu-Fang Chen, Academia Sinica, Taiwan * Ronghui Gu, Columbia University, USA * Ichiro Hasuo, National Institute of Informatics, Japan * Ralf Jung, ETH Zurich, Switzerland * Ohad Kammar, University of Edinburgh, UK * Jeehoon Kang, KAIST, Korea * Jieung Kim, Inha University, Korea * Robbert Krebbers, Radboud University Nijmegen, Netherlands * Ori Lahav, Tel Aviv University, Israel * Doug Lea, State University of New York at Oswego, USA * Woosuk Lee, Hanyang University, Korea * Hongjin Liang, Nanjing University, China * Nuno P. Lopes, University of Lisbon, Portugal * Chandrakana Nandi, Certora and UW, USA * Liam O'Connor, The University of Edinburgh, UK * Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong * Jihyeok Park, Korea University, Korea * Clément Pit-Claudel, EPFL, Switzerland * Matthieu Sozeau, Inria, France * Kohei Suenaga, Kyoto University, Japan * Tarmo Uustalu, Reykjavik University, Iceland * John Wickerson, Imperial College London, UK * Danfeng Zhang, Penn State University, USA Posters Selection Committee * Jacques Garrigue, Nagoya University, Japan * Jeremy Gibbons, University of Oxford, UK * Chih-Duo Hong, University of Oxford, UK * Oleg Kiselyov, Tohoku University, Japan * Akimasa Morihata, University of Tokyo, Japan * Dominic Orchard, University of Kent, UK and University of Cambridge, UK * Taro Sekiyama, National Institute of Informatics, Japan * Chung-chieh Shan, Indiana University, United States * Youngju Song, MPI-SWS, Germany * Tachio Terauchi, Waseda University, Japan * Chuangjie Xu, Sonar Source, Germany

1 0

LAST reminder - DEADLINE September 20th - HC@AIxIA 2023
by Francesco Calimeri 18 Sep '23

18 Sep '23

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

1 0

LOPSTR 2023 - Call for Participation
by Daniel Jurjo 14 Sep '23

14 Sep '23

** Apologies for multiple postings ** ---------------------------------------------------------------------- Call for Participation Early registration deadline: September 22 LOPSTR 2023 The 33rd International Symposium on Logic-based Program Synthesis and Transformation Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023 Colocated with PPDP 23 as part of SPLASH 23 https://lopstr.github.io/2023/ ---------------------------------------------------------------------- Registration is now open for LOPSTR 2023! The 33rd International Symposium on Logic-based Program Synthesis and Transformation will be co-located with PPDP 2023 as part of SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 23-24. REGISTRATION *Early bird registration deadline: September 22* Registration to be completed through the SPLASH registration pages; see instructions at: https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration https://2023.splashcon.org/attending/Registration INVITED SPEAKERS - Maribel Fernandez Unification Modulo Equational Theories in Languages with Binding Operators - Manuel V. Hermenegildo On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFly. ACCEPTED PAPERS - Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in (Constraint) Logic Programming - Bach Nguyentrong, Kanae Tsushima and Zhenjiang Hu. Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples - John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and Pedro Lopez-Garcia. Transforming big-step to small-step semantics using interpreter specialisation - Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus for automated resource analyses - Jordina Francès de Mas and Juliana Bowles. A novel EGs-based framework for systematic propositional-formula simplification - Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel V. Hermenegildo. A rule-based approach for designing and composing abstract domains - Marija Kulas. A term matching algorithm and substitution generality - Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical Interpretation of Asynchronous Multiparty Compatibility - Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access Control Policies via Attribute-Based Category Mining - Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz and Ekaterina Komendantskaya. Towards a Certified Proof Checker for Deep Neural Network Verification - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. Constrained Horn Clauses Satisfiability via Catamorphic Abstractions - Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry Boulytchev. Relational Solver for Java Generics Type System

1 0

CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs
by Delphine Demange 13 Sep '23

13 Sep '23

Spam detection software, running on the system "mail.haskell.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: This message is intentionally written in French. It is a call for papers for the âFrancophone Days on Functional Languagesâ to be held at the end of January 2024 in Brittany. Papers can be written in English, but the presentations themselves are expected to be given in French. [...] Content analysis details: (5.8 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 5.0 UNWANTED_LANGUAGE_BODY BODY: Message written in an undesired language 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.5000]

1 0

S-REPLS 13 / Fun in the Afternoon, Bristol, UK
by Alex Kavvos 11 Sep '23

11 Sep '23

============================================ S-REPLS 13 / Fun in the Afternoon Joint meeting on Programming Languages Wednesday, 1 November 2023, 10:00 - 17:00 Engine Shed, Bristol BS1 6HQ https://plrg-bristol.github.io/fir/ ============================================ Overview S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. A joint meeting of these two communities will be hosted by the Programming Languages Research Group at the University of Bristol. The meeting will take place at Engine Shed, Bristol BS1 6HQ from 10am to 5pm on Wednesday 1st November. Submitting a talk Talks are typically 20-30 minutes long and should be given in person. We invite proposals for talks on any topic related to programming languages. Subjects related to functional programming, and submissions from industrial professionals and junior researchers (postdocs and students) are especially welcome. Please e-mail Alex Kavvos and Steven Ramsay on <pl-rg(a)bristol.ac.uk> with the subject "FITR talk proposal", giving a draft title and an abstract by the end of Mon, 2 October 2023

1 0

ESOP 2024 Call For Papers
by Stephanie Weirich 11 Sep '23

11 Sep '23

******************************************************************************* CALL FOR PAPERS 33rd European Symposium on Programming ESOP 2024 organized within ETAPS 2024 Luxembourg City, Luxembourg, 6-11 April 2024 ******************************************************************************* NEW! In addition to Research Papers, ESOP 2024 solicits two new forms of contributions: Experience Reports and Fresh Perspectives NEW! Papers submitted in the Research Papers category may use any formatting and have no fixed page limit. Important Dates AoE (UTC-12) - Paper submission: October 12, 2023 - Rebuttal: Tuesday 5 December - Thursday 7 December, 2023 - Paper notification: December 21, 2023 - Artifact submission: January 4, 2024 - Paper final version: January 23, 2024 - Artifact notification: February 8, 2024 Scope ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: programming paradigms and styles, methods and tools to specify and reason about programs and languages, programming language foundations, methods and tools for implementation, concurrency and distribution, applications and emerging topics. Contributions bridging the gap between theory and practice are particularly welcome. Submission Categories Research Papers are articles that advance the state-of-the-art on the theory and practice of programming languages and systems. For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM's PACMPL, or ACM's TOPLAS format. There is no page limit for submissions, but authors should be aware that reviewers are likely to balance the review time for all papers and that camera-ready papers may not exceed 25 pages (excluding bibliography) and must be formatted in Springer’s LNCS. Experience Reports are articles reporting on systems and techniques developed in practice, such as artifacts, tools, mechanized proofs, and educational systems, both in academic and industrial settings. These articles must include a critical evaluation of the experience reported. Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Fresh Perspectives are articles that promote new insights on programming languages and systems in a particularly elegant way. These papers may offer new tutorial perspectives of known concepts or they may introduce fresh new insights and ideas that could lead to relevant future developments. Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Springer's formatting style files and other information can be found on the Springer website: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Review Process The review process is double-blind with a rebuttal phase. In submitted papers, authors should omit names and institutions; refer to prior work in the third person; and should not include acknowledgements that might reveal their identity. During the evaluation period authors are free to speak publicly about their work and distribute preprints of their submitted papers. However, authors should avoid actions that would reveal their identities, such as directly contacting PC members. Submission link: https://easychair.org/conferences/?conf=esop2024 Accepted papers will be published in Springer's Lecture Notes in Computer Science series. Artifact Evaluation ESOP 2024 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Note: Artifacts may be submitted with an accompanying short 5 page experience report (including 1 page bibliography), that will appear in the conference proceedings. Journal-After Submissions Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January at a predefined date after the ESOP notification, and to which all accepted papers may apply. A first light review round will be performed by the ESOP PC, to reach Reject or Revise decisions. Papers with Revise decisions will proceed to a second thorough review round, in which additional reviews will be coordinated with TOPLAS, towards a final Reject or Accept decision. Program Chair Stephanie Weirich (University of Pennsylvania) Program Committee Ana Bove, Chalmers, Sweden Loris D'Antoni, U Wisconsin-Madison, USA Ugo Dal Lago, Bologna, Italy Ornela Dardha, Glasgow, UK Mike Dodds, Galois, USA Sophia Drossopoulou, Imperial, UK Robert Findler, Northwestern, USA Amir Goharshady, HKUST, Hong Kong Andrew Gordon, Microsoft, UK Alexey Gotsman, IMDEA Software Institute, Spain Limin Jia, Carnegie Mellon University, USA Josh Ko, Academia Sinica, Taiwan András Kovács, Eötvös Loránd University, Hungary Kazutaka Matsuda, Tohoku University, Japan Anders Miltner, Simon Fraser, Canada Santosh Nagarakatte, Rutgers University, USA Dominic Orchard, University Kent and Cambridge, UK Frank Pfenning, Carnegie Mellon University, USA Clément Pit-Claudel, EPFL, Switzerland François Pottier, INRIA Paris, France Matija Pretnar, U Ljubljana, Slovenia Azalea Raad, Imperial College London, UK James Riely, DePaul, USA Tom Schrijvers, KU Leuven, Belgium Peter Sewell, Cambridge, UK Takeshi Tsukada, Chiba University, Japan Benoît Valiron, Centrale Supélec and Paris Saclay, France Dimitrios Vytiniotis, DeepMind, UK Elena Zucca, DIBRIS - University of Genova, Italy Steering Committee Luis Caires (Universidade Nova de Lisboa) Brigitte Pientka (McGill University) Ilya Sergey (National University of Singapore) Stephanie Weirich (University of Pennsylvania) Thomas Wies (New York University) Nobuko Yoshida (Imperial College London)

1 0