January 2025 - Haskell

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 16 Jan '25

16 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