- Haskell - Haskell.org

Midlands Graduate School 2025 hosted by the University of Sheffield
by Andrei Popescu 18 Feb '25

18 Feb '25

Dear Colleagues, This year's Midlands Graduate School in the Foundations of Computing Science will take place at the University of Sheffield. We have some great lecturers and topics. (Below you can also find information about fees. The registration site will open soon.) Best wishes, Andrei 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 - Four Lectures on 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 FEES AND REGISTRATION The fees for MGS 25, which also cover catering (including coffee, pastries and lunch) during the day and optionally the conference dinner, are as follows. - Academic participant: £300, plus an optional £30 dinner ticket for Wednesday evening. - Industry participant: £500, plus an optional £30 dinner ticket for Wednesday evening. Registration will be open shortly. 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.

1 1

Call for STSMs and ITC conference grants
by simona.k＠uns.ac.rs 17 Feb '25

17 Feb '25

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for STSM is: 16th March 2025 The next deadline for ITCG is: 4th May 2025 *What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining research collaborations. *What is an ITC conference grant?* ITC Conference Grants are given to young (<= 40 years old) researchers affiliated in an Inclusiveness Target Country or Near Neighbour Country to present a work related to EuroProofNet in a high-level conference fully organized by a third party, i.e. not organized nor co-organized by EuroProofNet. STSM proposals should be between the beginning of April and the end of August. ITCG proposals should be between the end of May and the end of August. Find all the details concerning application on https:// europroofnet.github.io/grants/ Do not hesitate to contact us if you have any questions. Best wishes, Simona Prokić and Ambrus Kaposi EuroProofNet Grant Awarding Coordinators

1 0

FSEN 2025 - Call for Participation
by Petra van den Bos 07 Feb '25

07 Feb '25

########################## FSEN 2025 Call for Participation Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) 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. This year, FSEN will take place in Västerås, Sweden, on 7 and 8 April 2025. The event includes four keynote talks. The preliminary conference program can be found at: https://conf.researchr.org/program/fsen-2025/program-fsen-2025/ -- Registration -- To register for the conference please go to the following page: https://conf.researchr.org/attending/fsen-2025/Registration The registration deadlines are as follows: * *January 31st 23:59 CET:* Early-bird registration deadline for paper presenters and participants without presentation * *February 21st**23:59 CET**:* Early-bird registration deadline for poster presenters * *March 14th**23:59 CET**:* Registration deadline -- Keynote Speakers -- Işıl Dillig, University of Texas at Austin, United States Philipp Rümmer, University of Regensburg, Germany, and Uppsala University, Sweden Alexander Serebrenik, Eindhoven University of Technology, Netherlands Marielle Stoelinga, University of Twente, Neterlands, and Radboud University, Nijmegen, Netherlands -- Program Chairs -- Georgiana Caltais, University of Twente, Netherlands Hossein Hojjat, Tehran Institute for Advanced Studies, Iran -- Kind regards, Petra van den Bos Publicity Chair FSEN

1 0

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

05 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 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