- Haskell - Haskell.org

PADL 2025: First Call for Papers
by Germán Vidal 02 Sep '24

02 Sep '24

============================================================================== Call for Papers 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) https://popl25.sigplan.org/home/PADL-2025 Denver, Colorado, United States, January 20-21, 2025 Co-located with ACM POPL 2025 ============================================================================== 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 2025 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. PADL 2025 will take place on January 20th and 21st, 2025, as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person. Important Dates --------------- Abstract submission: October 4, 2024 (AoE) Paper submission: October 11, 2024 (AoE) Notification: November 11, 2024 Symposium: January 20-21, 2025 Submissions ----------- PADL 2025 welcomes regular papers (max. 15 pages) and short papers (max. 8 pages) that describe original and previously unpublished research results on - complex and/or real-world applications in industry or in other areas of research, that rely on an innovative use of declarative languages, - tools and/or systems developed for such applications, and/or to improve practical aspects of declarative languages, - technical results related to the practical aspects of declarative languages. Application and systems descriptions, engineering solutions, and real-world experiences (both positive and negative) are in particular solicited. Regular and short papers will be published in the formal proceedings. PADL 2025 also welcomes extended abstracts (max. 3 pages) on the topics above, that describe 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 2025 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 acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version -for example, details of proofs- may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. 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 2025 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. Previous PADL proceedings can be found on SpringerLink. Papers should be submitted electronically via EquinOCS (registration is required if you do not have an account): https://equinocs.springernature.com/service/padl2025 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), and for papers related to functional programming, in Journal of Functional Programming (JFP). 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 2025 PC Co-Chairs ---------------------- - Esra Erdem, Sabanci University, Turkey - German Vidal, Universitat Politecnica de Valencia, Spain Programme Committee ------------------- TBD Contact Addresses ----------------- esraerdem _AT_ sabanciuniv.edu gvidal _AT_ dsic.upv.es

1 0

FSEN 2025 - Final Call for Papers
by Petra van den Bos 02 Sep '24

02 Sep '24

FINAL CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 <https://www.easychair.org/conferences/?conf=fsen2025>. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui… <http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…>) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ <http://www.ifip.org/> under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Marjan Sirjani, Malardalen University, Sweden Robbert Jongeling, Malardalen University, Sweden Antonio Cicchetti, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025>

1 0

PhD and Post-Doc Positions Available in PL
by Michael D. Adams 28 Aug '24

28 Aug '24

[Resending because the original failed to send. Apologies for any duplicates.] Hello, I am an assistant professor at NUS and have multiple PhD and post-doc positions available. I am launching an effort in the newly emerging paradigm of lattice/fixed-point oriented programming [1], but topics for these positions are negotiable. Paid internships prior to joining are also possible. My research broadly focuses on enabling programmers to write clear, concise and elegant code and doing so without sacrificing performance. This includes work on next-generation languages, compilers and optimization, domain specific and extensible languages, generic and meta-programming, duality, syntax and parsing, and static analysis/control-flow analysis. If you or someone you know might be interested in one of these positions, email me at "adamsmd AT nus.edu.sg" to arrange an informal video call. I will also be at ICFP 2023 all next week, so if you are there, please arrange to talk with me. About me and my research: - Homepage: https://michaeldadams.org/ - Research Goals: https://michaeldadams.org/vitae/research-statement.pdf - Papers: https://michaeldadams.org/papers/ [1] Lattice/Fixed-point oriented programming is an emerging programming paradigm that lets one write programs in terms of inference rules that climb a lattice. While that might sound like obscure theory, in practice, it greatly simplifies many complex algorithms in domains such as parsing, static analysis, type-checking, graph algorithms, and automata minimization. In fact, many classic algorithms such as Dijkstra's algorithm, CYK parsing, Hopcroft's automata minimization algorithm, and tree automata minimization can be expressed in only two or three executable lines of code. If you email me for more information on this, I can send you an unreleased white-paper that I am drafting on the topic. -- Michael D. Adams

1 0

[CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems
by Samir ouchani 28 Aug '24

28 Aug '24

CRiSIS 2024 : The 19th International Conference on Risks and Security of Internet and Systems November 26th - 28th, 2024 Aix-en-Provence, France https://crisis2024.univ-gustave-eiffel.fr<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcrisis202…> New Deadlines Submission Deadline : September 09th, 2024 Notification of acceptance: October 08th, 2024 Camera Ready : October 15th, 2024 Article Collections the European Transport research review ( ETRR) Special Issues (1) NASA Springer Journal is beeing Considered (2) The second will be announced The 19th International Conference on Risks and Security of Internet and Systems (CRiSIS) in 2024 continues its tradition of addressing critical security challenges in Internet-connected applications, networks, and systems. The indispensability of the Internet for information exchange among diverse user groups and organizations has led to heightened risks around security and privacy. This vulnerability is exacerbated by the sophistication of online attacks, the proliferation of cybercrime, and the readily available tools for attackers, who are increasingly motivated and skilled. The advent of complex technologies, including pervasive computing, mobile, and wireless devices and networks, introduces new security challenges, necessitating the deployment of advanced security mechanisms and techniques. These advancements are crucial for protecting critical sectors such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, and more, ensuring an acceptable level of security assurance. CRiSIS 2024 serves as an essential platform for stakeholders in computer and network security from the industrial, academic, and governmental sectors to convene, share insights, and showcase the latest developments in combating Internet-related security threats, vulnerabilities, and the necessary countermeasures to address them. GENERAL CHAIRS ============== - Frédéric Cuppens, Polytechnique Montreal, Canada. - Nora Cuppens, Polytechnique Montreal, Canada. - Jean-Paul Mizzi, Université Gustave Eiffel, France. - David Garcia, CESI Lineact, France. PROGRAM COMMITTEE CHAIRS ========================== - Simon Collart Dutilleul, Université Gustave Eiffel, France. - Samir Ouchani, CESI Lineact, France. ============================= Dr. Samir Ouchani, Ing., PhD., HDR. Research Director, CESI Lineact. Aix-en-Provence, France.

1 0

APLAS 2024 2nd Call for Participation
by Mirai Ikebuchi 25 Aug '24

25 Aug '24

2nd Call for Participation APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ Early Registration deadline: Sep 1 APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). Keynotes Albert Cohen (Google) Naoki Kobayashi (University of Tokyo: Joint with ATVA 2024) Sukyoung Ryu (KAIST, South Korea) Research Paper Sessions (18 papers) Student Research Competition and Poster Session APLAS-NIER post-conference workshop (Oct 25, 2024) Accepted Papers: A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution Thi Thu Ha Doan, Peter Thiemann Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language Bohdan Liesnikov, Jesper Cockx Comparing semantic frameworks of dependently-sorted algebraic theories Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North Effective Search Space Pruning for Testing Deep Neural Networks Bala Rangaya, Eugene Sng, Minh-Thai Trinh Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura Explaining Explanations in Probabilistic Logic Programming German Vidal Extending the Quantitative Pattern-Matching Paradigm Sandra Alves, Delia Kesner, Miguel Ramos Generic Reasoning of the Locally Nameless Representation Yicheng Ni, Yuting Wang Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions Michael Hanus Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato Non-deterministic, probabilistic, and quantum effects through the lens of event structures Vitor Fernandes, Marc de Visme, Benoît Valiron OBRA: Oracle-based, relational, algorithmic type verification Lisa Vasilenko, Gilles Barthe, Niki Vazou On Computational Indistinguishability and Logical Relations Ugo Dal Lago, Zeinab Galal, Giulia Giusti Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi Quantum Programming Without the Quantum Physics Jun Inoue Random-access lists, from EE to FP Pierre-Evariste Dagand, Titouan Quennet Relative Completeness of Incorrectness Separation Logic Yeonseok Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki

1 0

IFL 2024, final call for participation/registration
by Mart Lubbers 16 Aug '24

16 Aug '24

======================================================================= IFL 2024 36rd Symposium on Implementation and Application of Functional Languages venue: Radboud University Nijmegen, The Netherlands August 26 - 28 2024 https://ifl24.cs.ru.nl ======================================================================= ### 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 2024 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. ### Industrial track and topics of interest 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 specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - 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 ### Peer-review process Following IFL tradition, IFL 2024 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 chairs 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. ### Important dates Submission deadline of draft papers August 6th, 2024 EXTENDED Notification of acceptance for presentation August 6th, 2024 Registration deadline August 19th, 2024 IFL symposium August 26-28, 2024 Submission of papers for proceedings December 1st, 2024 Notification of acceptance February 2nd, 2025 Camera-ready version March 2nd, 2025 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl20240 Register here: https://ifl24.cs.ru.nl/Registration Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info(a)acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Mart Lubbers Radboud University, The Netherlands Local Chairs: Peter Achten Radboud University, The Netherlands Sven-Bodo Scholz, Radboud University, The Netherlands ### Program committee: Benoît Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA João Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted
by Andrei Chis 15 Aug '24

15 Aug '24

17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-21, 2024 Pasadena, California, United States --------------------------- As part of the artifact evaluation process of SLE 2024, we are looking for additional members. If you know candidates that might be interested in being part of the Artifact Evaluation Committee, please nominate them. https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation http://www.sleconf.org/2024/ArtifactEvaluation We organize nominations using the following Google form. https://forms.gle/p3eB3572rQi7WdHYA We prioritize nominations done until the 31st of August. For additional information, clarification, or answers to questions, please get in touch with the artifact evaluation co-chairs. ---------------------------

1 0

APLAS 2024 Call for Participation
by Mirai Ikebuchi 13 Aug '24

13 Aug '24

Call for Participation APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ Early Registration deadline: Sep 1 APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). Keynotes Albert Cohen (Google) Naoki Kobayashi (University of Tokyo: Joint with ATVA 2024) Sukyoung Ryu (KAIST, South Korea) Research Paper Sessions (18 papers) Student Research Competition and Poster Session APLAS-NIER post-conference workshop (Oct 25, 2024) Accepted Papers: A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution Thi Thu Ha Doan, Peter Thiemann Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language Bohdan Liesnikov, Jesper Cockx Comparing semantic frameworks of dependently-sorted algebraic theories Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North Effective Search Space Pruning for Testing Deep Neural Networks Bala Rangaya, Eugene Sng, Minh-Thai Trinh Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura Explaining Explanations in Probabilistic Logic Programming German Vidal Extending the Quantitative Pattern-Matching Paradigm Sandra Alves, Delia Kesner, Miguel Ramos Generic Reasoning of the Locally Nameless Representation Yicheng Ni, Yuting Wang Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions Michael Hanus Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato Non-deterministic, probabilistic, and quantum effects through the lens of event structures Vitor Fernandes, Marc de Visme, Benoît Valiron OBRA: Oracle-based, relational, algorithmic type verification Lisa Vasilenko, Gilles Barthe, Niki Vazou On Computational Indistinguishability and Logical Relations Ugo Dal Lago, Zeinab Galal, Giulia Giusti Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi Quantum Programming Without the Quantum Physics Jun Inoue Random-access lists, from EE to FP Pierre-Evariste Dagand, Titouan Quennet Relative Completeness of Incorrectness Separation Logic Yeonseok Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki

1 0

IFL 2024 Final call for papers, extended submission deadline.
by Mart Lubbers 05 Aug '24

05 Aug '24

======================================================================= IFL 2024 36rd Symposium on Implementation and Application of Functional Languages venue: Radboud University Nijmegen, The Netherlands August 26 - 28 2024 https://ifl24.cs.ru.nl ======================================================================= ### 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 2024 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. ### Industrial track and topics of interest 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 specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - 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 ### Peer-review process Following IFL tradition, IFL 2024 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 chairs 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. ### Important dates Submission deadline of draft papers August 6th, 2024 EXTENDED Notification of acceptance for presentation August 6th, 2024 Registration deadline August 19th, 2024 IFL symposium August 26-28, 2024 Submission of papers for proceedings December 1st, 2024 Notification of acceptance February 2nd, 2025 Camera-ready version March 2nd, 2025 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl20240 Register here: https://ifl24.cs.ru.nl/Registration Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info(a)acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Mart Lubbers Radboud University, The Netherlands Local Chairs: Peter Achten Radboud University, The Netherlands Sven-Bodo Scholz, Radboud University, The Netherlands ### Program committee: Benoît Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA João Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

Call for Papers: Third AIxIA Workshop on Artificial Intelligence For Healthcare - HC@AIxIA 2024
by Francesco Calimeri 01 Aug '24

01 Aug '24

[Apologies for multiple postings] ================================================================== Third AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2024 November 25 - 28, 2024, Bolzano, Italy https://sites.google.com/unical.it/hcaixia2024 CO-LOCATED with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) ( https://aixia2024.events.unibz.it/) JOINT event with the 5th Data4SmartHealth workshop (D4SH 2024) ( https://www.data4smarthealth.it/) ================================================================== = IMPORTANT DATES (tentative) = Abstract submission: September 17, 2024 Paper submission: September 24, 2024 Notification to authors: October 6-13, 2024 Camera-ready copy due: October 20, 2024 Main Workshop starts: November 25, 2024 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = Background = In recent years, we have witnessed the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain become a major research topic, 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. Consequently, 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. 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 healthcare and clinical problems. = The Workshop = Following the success of the first two editions, the HC@AIxIA workshop aims at gathering researchers from academia, industry and medical centres to present and discuss 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 with 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 (min 10 and up to 15 pages plus references); - short papers (min 5 and up to 9 pages, including references): 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 (min 5 and up to 9 pages, including references): 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/published to other conferences or journals (no page restrictions), i.e., non-original works 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=hcaixia2024 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 2024; - attend HC@AIxIA 2024 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 website, including a link to the original publication if already published. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of an international journal (TBD), provided that a sufficient amount of quality papers is collected. In such cases, 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 review formal process will be run 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, which will be held right after the workshop. = Venue = The workshop will be held in Bolzano, Italy; the event is organized by AIxIA 2024 (aixia2024.events.unibz.it/). = Committees = See https://sites.google.com/unical.it/hcaixia2024/. = Contacts = All questions about submissions should be emailed to hc-aixia(a)googlegroups.com.

1 0