- Haskell - Haskell.org

CALCO 2025: Second Call for Papers
by Thorsten Wissmann 06 Feb '25

06 Feb '25

===================== CALCO Call for Papers ===================== ========================================================= CALL FOR PAPERS: CALCO 2025 11th International Conference on Algebra and Coalgebra in Computer Science June 16-20, 2025 University of Strathclyde, UK Co-located with MFPS XLI https://coalg.org/calco-mfps-2025/ ========================================================== Abstract submission: March 3, 2025 (AoE) Full Paper submission: March 6, 2025 (AoE) Author notification: Apr 16, 2025 (AoE) Final version due: May 30, 2025 ========================================================== Invited Speakers ---------------- * Ugo dal Lago (University of Bologna) (joint special session on Quantitative Semantics) * Gordon Plotkin (University of Edinburgh) (joint keynote speaker) * Elena di Lavore (University of Pisa) * Alexander Kurz (Chapman University) Scope ----- Algebraic and coalgebraic methods and tools are a mainstay of computer science. >From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers and practitioners with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Bloomington, Indiana (US, 2023), Salzburg (Austria, 2021), London (UK, 2019), Ljubljana (Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland, 2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway, 2007), Swansea (Wales, 2005). The 11th edition will be held in Glasgow, UK, co-located with MFPS XLI. It is planned as a physical, in-person event. It is expected that at least one author of each accepted paper will attend and give the presentation is person; exceptions can be made in case of unexpected travel/visa problems. Submission Categories --------------------- CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. Regular papers that report * results on theoretical foundations, * novel methods and techniques for software development, * experiences with technology transfer to industry. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. Early ideas abstracts that lead to * presentations of work in progress, * proposals for original venues of research. Tool presentation papers that * report on the features and uses of algebraic/coalgebraic tools. Topics of Interest ------------------ All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems - Behavioural metrics * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformations) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submission Guidelines --------------------- All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco25 The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is planned. ### Regular papers Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. ### (Co)algebraic pearls This is a recent submission category. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. ### Early ideas abstracts Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. ### Tool papers Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Best Paper and Best Presentation Awards --------------------------------------- This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.

1 0

Call for Papers: PPDP 2025
by Michael Hanus 05 Feb '25

05 Feb '25

The 27th International Symposium on Principles and Practice of Declarative Programming September 10-11, 2025 University of Calabria, Rende, Italy https://ppdp25.github.io/site/ Collocated with ICLP 2025. https://iclp25.demacs.unical.it/ # Important dates - Title and abstract registration: 18 May 2025 (AoE) - Paper submission: 30 May 2025 (AoE) - Author notification: 7 July 2025 - Final paper version: 21 July 2025 # Overview The PPDP 2025 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. PPDP 25 will be held at University of Calabria, Rende, Italy, as part of ICLP 2025 (https://iclp25.demacs.unical.it/) At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. # Paper Submission Submissions can be made in three categories: - Regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted. Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. # Submission Guidelines Submissions will be made via EasyChair. The submission webpage for PPDP 25 is https://easychair.org/conferences/?conf=iclp25 (select PPDP track). For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at (https://www.acm.org/publications/proceedings-template) You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. Authors should note ACM's statement on author's rights (http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy) # Note About the New ACM Open Access 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. # Program Chairs Małgorzata Biernacka (Institute of Computer Science, University of Wrocław, Poland) Carlos Olarte (LIPN and University Sorbonne Paris Nord, France). # Program Committee Salvador Abreu (University of Évora, Portugal) Sandra Alves (University of Porto, Portugal) Roman Barták (Charles University, Czech Republic) Alessandro Bruni (IT-University of Copenhagen, Denmark) Moreno Falaschi (University of Siena, Italy) Fabio Gadducci (University of Pisa, Italy) Cinzia di Giusto (Université Côte d’Azur, France) Michael Hanus (University of Kiel, Germany) Thomas Hildebrandt (University of Copenhagen, Denmark) Yukiyoshi Kameyama (University of Tsukuba, Japan). Delia Kesner (University Paris Cité, France) Cosimo Laneve (University of Bologna, Italy) Alberto Momigliano (University of Milan, Italy) Ruben Rubio (Universidad Complutense de Madrid, Spain) Claudio Sacerdoti Coen (University of Bologna, Italy) Filip Sieczkowski (Heriot-Watt University, UK) Bernardo Toninho (NOVA FCT and NOVA LINCS, Portugal) Frank Valencia (LIX, École Polytechnique de Paris, France) Germán Vidal (Universitat Politecnica de Valencia, Spain)

1 0

PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)
by Achim D. Brucker 04 Feb '25

04 Feb '25

We have an exciting funded opportunity for a PhD on developing "Verification Environment for Distributed Systems Implemented in Go". The main objectives are to define a formal semantics of Go and its CSP-inspired concurrency model in an interactive theorem prover (e.g., Isabelle/HOL) as well as developing a calculus for program verification. This is a unique opportunity to work in the intersection of theory and application and while doing so, contributing to improving the state of the art in software correctness and security. A detailed description of the PhD proposal is available at: * https://www.exeter.ac.uk/v8media/recruitmentsites/documents/A_Verification_… Information about the funding and application process is available at: * https://www.exeter.ac.uk/study/funding/award/?id=5477 Application deadline is the midnight GMT on 10th of February 2025. Please reach out to me, if you have any questions. Best, Achim -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Midlands Graduate School 2025
by Graham Hutton 27 Jan '25

27 Jan '25

Dear all, The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Please share! Best wishes, Graham Hutton ========================================================== Midlands Graduate School 2025 7-11 April 2025, Sheffield, UK https://tinyurl.com/MGS-2025 BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Eight courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Invited course - Proof-Theoretic Semantics, David Pym Introductory courses - Category Theory, Thorsten Altenkirch - The Curry-Howard Correspondence, Anupam Das - Quantum Computing, Venanzio Capretta Advanced courses - Coalgebra, Paul Blain Levy - Linear Logic, Abhishek De and Charles Grellois - Modular Proofs in Isabelle/HOL, Chelsea Edmonds - Refinement Types in Haskell, Brandon Hewer REGISTRATION: Will be open shortly; further details to be announced. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ========================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

[ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
by Francesco Calimeri 21 Jan '25

21 Jan '25

*[apologize for multiple postings]* Preliminary Call for Papers 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ SCOPE Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Theoretical Foundations: Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. Language Design and Programming Methodologies: Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming Program Analysis and Optimization: Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. Implementation Methodologies: Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces. IMPORTANT DATES (TENTATIVE): - Paper registration (regular papers): April 13, 2025 - Paper submission (regular papers): April 18, 2025 - Notification to authors (regular papers): May 25, 2025 - Paper submission (short papers): June 15, 2025 - Revision submission (regular papers): June 15, 2025 - Final notification to authors: July 6, 2025 - Main conference: September 15-19, 2025 Paper submission will be through EasyChair, following the link https://easychair.org/conferences/?conf=iclp25. Accepted regular papers will appear in the journal Theory and Practice of Logic Programming (TPLP). Accepted short papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). The respective paper formats are described at: - https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… - http://style.eptcs.org/ AFFILIATED EVENTS: - Workshops: September 12-14, 2025 - Doctoral Consortium: September 12-14, 2025 - Autumn School in Computational Logic: September 12-14, 2025 - Thematic Tracks (to be announced) - International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) - Logic-based Program Synthesis and Transformation (LOPSTR 2025) VENUE: ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, in September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. ORGANIZATION: General Chair: Francesco Ricca Program Co-chairs: Daniela Inclezan and Martin Gebser Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta

1 0

2nd Call for Participation: BOB 2025 (Berlin, Mar 14)
by Stefan Wehr 17 Jan '25

17 Jan '25

The early-bird deadline is Jan 17 (TODAY)! ========================================================================= BOB 2025 Conference “What happens if we simply use what’s best?” March 14, 2025, Berlin https://bobkonf.de/2025/ Program: https://bobkonf.de/2025/program.html Registration: https://bobkonf.de/2025/registration.html ========================================================================= BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 16 talks and 8 tutorials on current topics: https://bobkonf.de/2025/program.html Talk subjects includes functional programming, property-based testing, language server implementation, domain-specific languages, domain-driven design, local-first software, formal methods, and microservices. BOB tutorial include sessions on frontend development, local-first programming, data science, Elixir, and software documentation, combining mob programming, TDD, and AI. Annette Bieniusa will give the keynote talk. Registration is open - many discount options are available, as are grants for members of groups underrepresented in tech. Early-bird discounts apply until Jan 17. https://bobkonf.de/2025/registration.html

1 0

HC@AIxIA: AI&Health Seminar Series (2025) - JANUARY 22
by Francesco Calimeri 17 Jan '25

17 Jan '25

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the FIRST seminar of the *"AI & Health: Seminars 2025" *series as hosted by HC@AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence. **** Save the date: 22 JANUARY 2025. 3:30 CET **** We hope you will attend and participate in the discussion on the relevant topics that will be presented and by our speakers. *Feel free to share this with those potentially interested.* Please find some details below, and a poster attached. All directions for participating are available at https://aixia.it/en/gruppi/hc/. *== October 2024 seminar ==* *2024 January 22 - 3:30PM CET* *Mor Peleg, PhD, *Professor of Information Systems, University of Haifa (HAifa, Israel), EIC of Journal of Biomedical Informatics *Title:* Current topics in AI in medicine and health informatics: current challenges and a look ahead *Abstract:* In this talk I will review current challenges, current work by the biomedical informatics community, and future topics related to AI. I draw the information from a paper[1] that a group of informatics editors and other respected members of the community co-authored and published in 2023 in the Journal of Healthcare Informatics Research. There, we identified focus areas that should be addressed in the next ten years, specifically learning from new challenges that emerged in the Covid-19 epidemic. I will also present my analysis of current and emerging topics of papers published in the Journal of Biomedical Informatics (JBI) in the past two years, and current calls for special issue papers. I will also touch upon the role of international collaboration in emerging research areas (in JBI). [1] Combi C, Facelli JC, Haddawy P, Holmes JH, Koch S, Liu H, Meyer J, Peleg M, Pozzi G, Stiglic G, Veltri P. The IHI Rochester report 2022 on healthcare informatics research: Resuming after the covid-19. Journal of healthcare informatics research. 2023 Jun;7(2):169-202. *Short Bio:* Mor Peleg is Full Professor of information systems and Founding Director of the University of Haifa’s Data Science Research Center, former Chair of the Data Science BSc program of the University of Haifa, and former Chair of the Department of Information Systems. She is Editor-in-Chief of the Journal of Biomedical Informatics, which focuses on novel biomedical informatics methods. Mor's BSc and MSc degrees in biology and her PhD in Information Systems – are from the Technion -- Israel Institute of Technology, and her 4-year postdoc was at Stanford University's Center for Biomedical Informatics Research. Mor’s research focuses on clinical guideline-based decision support systems (CDSS) for patients and physicians. She led the large-scale European project MobiGuide and was a PI in the CAncer PAtients Better Life Experience ( CAPABLE project https://capable-project.eu/) There she uses machine learning methods to personalize triggers for health behavior change, utilizing behavioral theories. Web-site: https://mpeleg.hevra.haifa.ac.il/ Flyer: https://drive.google.com/open?id=1pYIdbkk63mS52wRbOiiEpwaDJmsraZJL&usp=driv… *Link to participate: * https://unimib.webex.com/unimib/j.php?MTID=m8e6e76b39cc5aa47f15922dddb167a25 (PLEASE CHECK the site https://aixia.it/en/gruppi/hc/ for any changes or updates) ==== *Some notes* Serving as coordinators of the working group on AI for Healthcare of the Italian Association of Artificial Intelligence (AIxIA, see: https://aixia.it/en/gruppi/hc/) part of our commitment consists of fostering contamination and collaboration between AI researchers and experts and operators in Medicine and Healthcare; in particular, we aim to contribute in building a two-way road for informing healthcare operators about AI results and opportunities, while also raising awareness among AI researchers about challenges and problems in medicine and healthcare. Therefore, the 2025 seminar series, in the trail of the 2024 edition, will feature a number of experts presenting research results, projects, best practices, ideas, and more to a mixed audience of AI researchers and healthcare operators. *== Are you interested in Joining the group? ==* Please head to https://aixia.it/en/gruppi/hc/ fo find out how. Do not hesitate to contact us at hc-aixia(a)googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC@AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC@AIxIA working group) [image: HC@AIxIA - Seminars AI & Health 2025 - Locandina 01 gennaio.png]

1 0

ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16
by ICFP Publicity 10 Jan '25

10 Jan '25

ACM SIGPLAN ICFP 2025 and SPLASH 2025 invite proposals for workshops and co-located events to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025. This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing. All co-located events must submit a proposal — workshops, tutorials, symposiums, or side meetings: https://icfpsplash25events.hotcrp.com/ Important Deadlines <https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-workshop…> - Deadline for Proposal Submission for Workshops: January 16, 2025 - Notification of Acceptance: January 31, 2025 - Deadline for Proposal Submission for Tutorials: May 8, 2025 For more information, please see: https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-workshops We look forward to your proposals and hope to see you in Singapore!

1 0

Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025
by Andrei Popescu 09 Jan '25

09 Jan '25

LMS/BCS-FACS Seminar 2025 Wednesday 15 January 2025, from 19:00 (GMT) Online via Zoom https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2025 In association with the British Computer Society Formal Aspects of Computing Science (BCS-FACS), the LMS hosts an annual online seminar on aspects of the computer science–mathematics interface. These events are free to anyone who wishes to attend and have attracted high-quality speakers. We are happy to have this verification talk from a wonderful speaker just one day after World Logic Day. Speaker: Annabelle McIver (Macquarie University) Probabilistic Datatypes: automating verification for abstract probabilistic reasoning Abstract: Datatypes - in which data is encapsulated together with methods that access it - play an important role in the organisation of large software projects. Correctness of datatypes has traditionally been carried out using simulation relations to simplify the verification by separating concerns: the datatype can be verified independently from the programs that use it, whilst those programs themselves can be verified using the specifications of the datatype's methods. Use of these principles enables complex programs to be brought within reach of automated proof. When probabilistic choice is included, however, it turns out that obtaining similar simplifications of the verification problem will require distinguishing between "hidden" and "observable" probabilistic behaviour - if demonic choice is allowed in the surrounding program. And that is not required in the non-probabilistic setting: the crucial issue is the potential interaction of probabilistic- and demonic choice. In the main part of this talk I will use examples to explain why the interaction is problematic, and I will suggest how extension of existing pGCL-based automated reasoning-tools, will by taking that interaction into account, enable automated probabilistic abstract reasoning about "hard to crack" probabilistic programs. Registration: To attend remotely via Zoom, please complete the registration form here: https://www.lms.ac.uk/civicrm/event/info?reset=1&id=139 You will receive the link to the meeting upon registration, as well as an automated reminder email sent 24 hours before the event is scheduled to start. For all queries regarding the seminar, please contact lmscomputerscience(a)lms.ac.uk.

1 0

2nd CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 20 Dec '24

20 Dec '24

18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025) 12-13 June 2025 Koblenz, Germany https://www.sleconf.org/2025/ https://x.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE) which is devoted to the principles of software languages: their design, their implementation, and their evolution. The SLE 2025 conference will be co-located with STAF 2025 and hosted in Koblenz, Germany, on 12-13 June 2025. --------------------------- Important Dates --------------------------- * Abstract submission: Fri 7 Feb 2025 * Paper submission: Fri 14 Feb 2025 * Authors response period: Tue 1 Apr - Sat 5 Apr 2025 * Notification: Tue 15 Apr 2025 * Conference: Thu 12 June - Fri 13 June 2025 (co-located with STAF) All dates are Anywhere on Earth. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches - AI-assisted language design and optimisation * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages - Model-based testing - AI-assisted validation * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms - AI-assisted refactoring * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and emerging/promising research areas - Generative AI in language engineering (e.g., AI-based language modelling, AI-driven code generation tools) - AI and ML language engineering (e.g., ML compiler testing, code classification) - Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: * Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. * New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. * SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. In this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations, and case study papers on the SLE topics. These can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. * Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. Workshops: Workshops will be organised by STAF. Please inform us and contact STAF 2025 organisers if you would like to organise a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the STAF 2025 Website. --------------------------- Submission --------------------------- SLE 2025 has a single submission round for papers, including a mandatory abstract registration and a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. Authors of accepted research papers will be invited to submit artefacts. --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” ( https://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colours remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle25.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( https://www.sigplan.org/Resources/Policies/Republication/) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( https://www.acm.org/publications/policies/plagiarism-overview) Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects ( https://www.acm.org/publications/policies/research-involving-human-particip…) If submissions are found to be violating this policy, they will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. For research papers, authors will get a chance to respond to the reviews before a final decision is made. --------------------------- Artefact Evaluation --------------------------- SLE will use an evaluation process to assess the quality of artefacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artefacts. --------------------------- Awards --------------------------- * Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * Distinguished artefact: Award for the artefact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artefact evaluation committee. * Distinguished reviewer: Award for the programme committee member that produced the most useful reviews as assessed by paper authors. * Most Influential Paper: Award for the SLE 2015 paper with the greatest impact, as judged by the SLE Steering Committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: 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. --------------------------- Organisation --------------------------- * General chair: Görel Hedin, Lunds Universitet, Sweden * PC co-chair: Regina Hebig, Universität Rostock, Germany * PC co-chair: Vadim Zaytsev, Universiteit Twente, The Netherlands * Publicity chair: Andrei Chiş, feenk gmbh, Switzerland * Local chair: Ralf Lämmel, Universität Koblenz, Germany --------------------------- Contact --------------------------- For additional information, clarification, or answers to any questions, please get in touch with the program co-chairs (regina.hebig(a)uni-rostock.de and vadim(a)grammarware.net)

1 0