February 2025 - Haskell

CFP - Haskell Implementors' Workshop 2025
by Andreas Herrmann 27 Mar '25

27 Mar '25

Call for proposals for the Haskell Implementors' Workshop https://haskell.foundation/events/2025-haskell-implementors-workshop.html June 6, 2025 Organized by the Haskell Community Co-located with ZuriHac 2025 and Haskell Ecosystem Workshop 2025 Hosted by the Haskell Foundation at Eastern Switzerland University of Applied Sciences (OST) https://www.ost.ch/en/university-of-applied-sciences/campus/rapperswil-jona… ## Overview * Deadline: April 4, 2025 * Notification: May 5, 2025 * Workshop: June 6, 2025 The 17th Haskell Implementors' Workshop is to be held alongside ZuriHac 2025 this year near Zurich. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and lightning talks. In the past the Haskell Implementors’ Workshop was co-located with ICFP (International Conference on Functional Programming). However, in recent years it has become more and more challenging to attract a large enough audience and sufficiently many speakers for an appealing program. ZuriHac and the Haskell Ecosystem Workshop have become an important annual gathering of a large part of the Haskell community. This year the Haskell Implementors’ Workshop will be co-located with these events to be accessible to a broader audience. ## Scope and Target Audience The Haskell Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop - we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimization and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment ## Talks We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Submissions can be made via the form linked below until April 4, 2025 (anywhere on earth). https://docs.google.com/forms/d/e/1FAIpQLSdczGbxJYGc4eusvPrxwBbZl561PnKeYno… We will also have a lightning talks session. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. ## Program Committee * Luite Stegeman * Jaro Reinders * Emily Pillmore * Rodrigo Mesquita * Ian-Woo Kim * Andreas Herrmann (chair) ## Contact * Andreas Herrmann

1 1

Midlands Graduate School - registration now open
by Graham Hutton 18 Mar '25

18 Mar '25

Dear all, Registration is now open for the Midlands Graduate School (MGS) in the Foundations of Computing Science, 7-11 April 2025, Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Spaces are limited, so please register early to secure your place. Please share in your communities! 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 - 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 REGISTRATION: The registration fee is £300 for academic participants, and £500 for industry participants. The fee includes all lecture courses and example classes, lunch and coffee breaks. The registration deadline is ** Monday 17th March **. Spaces are limited, so please register early to secure your place. 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. ========================================================== — Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh 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 1

MFPS 2025: Second Call for Papers
by Thorsten Wissmann 26 Feb '25

26 Feb '25

======================================================================= SECOND CALL FOR PAPERS: MFPS XLI (MFPS 2025) 41st Conference on Mathematical Foundations of Programming Semantics June 18-20, 2025 in Glasgow, Scotland Joint with CALCO https://coalg.org/calco-mfps-2025/mfps/ ** Updated: invited speakers ** ======================================================================= IMPORTANT DATES (anywhere on earth): Abstract Submission: March 27, 2025 Paper Submission: April 3, 2025 Notification: May 12, 2023 Pre-proceedings: May 24, 2023 Final (post-proceeding) versions: Autumn 2025 ========================================================================= We are delighted to announce the 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2025). It will take place at the University of Strathclyde in Glasgow, Scotland. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming language theory; quantum computation; security; topological models; logic; type systems; type theory; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas. Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa. ----------------------------------------------------------------------- INVITED SPEAKERS: * Gordon Plotkin (keynote; joint with CALCO) * Chris Heunen * Delia Kesner * Jurriaan Rot ----------------------------------------------------------------------- SPECIAL SESSIONS: * Quantitative Semantics, organized by Ugo Dal Lago (joint session with CALCO) * Mathematics of Natural Language, organized by Mehrnoosh Sadrzadeh * Types and the Extraction of Correct Programs, organized by Ulrich Berger ----------------------------------------------------------------------- PROGRAM COMMITTEE: Sandra Alves, University of Porto, Portugal Giorgio Bacci, Aalborg University, Denmark Lars Birkedal, University of Arhus, Denmark Florence Clerc, Heriot-Watt University, Edinburgh, Scotland Robin Cockett, University of Calgary, Canada Claudia Faggian, IRIF Paris, France Giulio Guerrieri, University of Sussex, UK Shin-ya Katsumata, NII, Tokyo, Japan S. Krishna, IIT Bombay, India Clemens Kupke, University of Strathclyde, Scotland (co-chair) Elena di Lavore, University of Pisa, Italy Paul Levy, University of Birmingham, UK Isabella Mastroeni, University of Verona, Italy Stefan Milius, FAU Erlangen-Nürnberg, Germany (co-chair) Daniele Nantes-Sobrinho, Imperial College London, UK Fredrik Nordvall Forsberg, University of Strathclyde, Scotland Catuscia Palamidessi, Inria, France Prakash Panangaden, McGill University, Montreal, Canada Simon Perdrix, Inria LORIA, France Elaine Pimentel, University College London, UK Alex Simpson, University of Ljubljana, Slovenia Sam Staton, University of Oxford, UK Dario Stein, Radboud University Nijmegen, The Netherlands Qiyi Tang, University of Liverpool, UK Stelios Tsampas, FAU Erlangen-Nürnberg, Germany ----------------------------------------------------------------------- MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Lars Birkedal, Aarhus University, Denmark Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Marie Kerjean, LIPN, Paris Clemens Kupke, University of Strathclyde, Scotland Paul Levy, University of Birmingham, UK Catherine Meadows, Naval Research Laboratory, USA Stefan Milius, FAU Erlangen-Nürnberg, Germany Michael Mislove, Tulane University, USA Joël Ouaknine, Max Planck Institute for Software Systems, Germany Valeria de Paiva, Topos Institute, USA Prakash Panangaden, McGill University, Canada Alexandra Silva, Cornell University, USA Alex Simpson, University of Ljubljana, Slovenia Sam Staton, University of Oxford, UK ----------------------------------------------------------------------- LOCAL ORGANIZER: Clemens Kupke, University of Strathclyde Bob Atkey, University of Strathclyde Dilsat Bilal Yuksel, University of Strathclyde ----------------------------------------------------------------------- SUBMISSION INSTRUCTIONS: Submissions are made through EasyChair (https://easychair.org/conferences/?conf=mfps2025) Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros (https://mfpsconf.org/submissions-to-mfps/) ----------------------------------------------------------------------- PROCEEDINGS: A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. ----------------------------------------------------------------------- CONTACT: For any further information about MFPS 2025, please contact the co-chairs: Clemens Kupke and Stefan Milius (mfps2025(a)easychair.org)

1 0

CALCO 2025: Final Call for Papers
by Thorsten Wissmann 26 Feb '25

26 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

Senior Research Associate in Programming Languages at Bristol
by Meng Wang 26 Feb '25

26 Feb '25

Dear Haskellers, I am recruiting a Postdoctoral Researcher in Programming Languages to join my group at Bristol [1,2]. The successful candidate will have the freedom to pursue self-directed research in areas such as functional programming, program verification/analysis, program synthesis, and type theory. Applicants must demonstrate a strong track record of high-quality research and possess excellent interpersonal skills. In return, the post holder will benefit from a dynamic research environment, strong career support, and extensive collaboration opportunities. The position is initially for 18 months, with the possibility of extension. The application deadline is 26 March 2025. Please pass this message on to whoever may be interested. Many thanks! Best regards, Meng Meng Wang, PhD (Oxon) Reader of Programming Languages Head of Bristol PL research group Head of Core computer science School of Computer Science, University of Bristol [1] https://plrg-bristol.github.io/ [2] https://www.bristol.ac.uk/jobs/find/details/?jobId=372879&jobTitle=Senior%2…

1 0

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