- Haskell - Haskell.org

Deadline extension (9 April): GPCE 2025
by Jeremy Yallop 28 Mar '25

28 Mar '25

[Update: submission deadline extended to 9 April] ========================================================= GPCE 2025 24th International Conference on Generative Programming: Concepts & Experiences -- 3-4 July, 2025, co-located with ECOOP Bergen, Norway CALL FOR PAPERS https://2025.ecoop.org/home/gpce-2025 ========================================================= The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. This is the 24th edition of the conference, co-located with the ECOOP 2025 conference in Bergen, Norway. ================== Topics of Interest =================== GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * domain engineering, * software product lines, configurable software, * feature interactions, * applications and properties of code generation, * language implementation, * AI/ML techniques for generative programming, * generative programming for AI/ML techniques, * low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. =================== Paper Categories ==================== GPCE solicits four kinds of submissions: Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. Generative Pearls: are elegant essays about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography, and must have the text “(Generative Pearl)” appended to their titles. =================== Paper Selection ===================== The GPCE program committee will evaluate each submission according to the following selection criteria: Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. Clarity. The paper must present its contributions and results clearly. ==================== Important Dates ==================== Paper Submission: Wed 9 Apr 2025 Review Notification: Fri 9 May 2025 Author Response: Mon 12 May 2025 Final Notification: Mon 19 May 2025 Conference: Thu 3 - Fri 4 July, 2025 ===================== Organization ====================== PC Chair: Nada Amin, Harvard General Co-Chair: Sebastian Erdweg, JGU Mainz General Co-Chair: Amir Shaikhha, University of Edinburgh Publicity Chair: Jeremy Yallop, University of Cambridge ======================= PC Members ====================== Bernhard Rumpe, RWTH Aachen University Casper Bach Poulsen, University of Southern Denmark Cyrus Omar, University of Michigan Eli Tilevich, Virginia Tech Elisa Gonzalez Boix, Vrije Universiteit Brussel Geoffrey Mainland, Drexel University Georg Ofenbeck Guillaume Allais, University of Strathclyde Jeremy Yallop, University of Cambridge Judith Michael, RWTH Aachen University Julia Lawall, Inria Kenichi Asai, Ochanomizu University Klaus Ostermann, University of Tuebingen L. Thomas van Binsbergen, University of Amsterdam Lionel Parreaux, The Hong Kong University of Science and Technology Malte Lochau, University of Siegen Maryam Mehri Dehnavi, University of Toronto Michel Steuwer, Technische Universität Berlin Ondřej Lhoták, University of Waterloo Parisa Ataei, Cornell University Philiip Wadler, University of Edinburgh Robert Glück, DIKU, Dept. of Computer Science, Univ. of Copenhagen Ruby Tahboub, University of Illinois Urbana-Champaign Sandro Stucki, Amazon Prime Video Automated Reasoning Sheng Chen, UL Lafayette Shigeru Chiba, University of Tokyo Shoaib Kamil, Adobe Research Simon Fowler, University of Glasgow Tijs van der Storm, CWI Ulrik Pagh Schultz Lundquist, University of Southern Denmark Vadim Zaytsev, Universiteit Twente Walter Binder, Università della Svizzera italiana (USI) Yukiyoshi Kameyama, University of Tsukuba Zena Ariola, University of Oregon

1 0

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

[ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 26 Mar '25

26 Mar '25

*Second 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, Theory reasoning, 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 and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *IMPORTANT DATES* - Paper registration (regular papers): April 13, 2025 - Paper submission (regular papers): April 18, 2025 - Notification (regular papers): May 25, 2025 - Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025 - Revision submission (TPLP papers): June 15, 2025 - Final notification: July 6, 2025 - Final version: July 27, 2025 - Main conference: September 15-19, 2025 *TRACKS AND SPECIAL SESSIONS* In addition to the main track, ICLP’25 will host: - IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP. - Recently Published Research Track: Detailed information will be announced separately. *AFFILIATED EVENTS* - Workshops: September 12-14, 2025 - Autumn School in Computational Logic: September 12-14, 2025 - Doctoral Consortium: September 12-14, 2025 - Logic Programming Contest: September 16 or 17, 2025 - International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) - International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025) *SUBMISSION DETAILS* All submissions must be written in English. Papers accepted at ICLP may appear either in - The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… - The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: http://style.eptcs.org Submissions may have one of two forms: 1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing: - The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable - The paper ID of the IJCAI’25 submission - The authors listed on the IJCAI’25 submission - The title of the IJCAI’25 submission - The original PDF submitted to IJCAI’25 - The IJCAI’25 reviews, including scores and text evaluations The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification. Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere. 2) Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings. Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25 All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings. All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. *VENUE* ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 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: Martin Gebser and Daniela Inclezan Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta *PROGRAM COMMITTEE* TBA

1 0

WPTE 2025 - Call for Papers - Rewriting Techniques for Program Transformations and Evaluation
by Janis Voigtländer 25 Mar '25

25 Mar '25

First Call for Papers --------------------------------------------------------------------------- WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK) 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 20th, 2025) Web: https://wpte2025.github.io/ Deadline: 9th May 2025 --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020--2023 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for this year's edition. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: 9th May 2025 (AoE) Notification of acceptance: 13th June 2025 Final version for informal proceedings: 30th June 2025 Workshop: 20th July 2025 Submission to post-proceedings/special issue: autumn 2025 (tbd) Program Committee --------------------------------------------------------------------------- Cynthia Kop, Radboud University, The Netherlands (co-chair) Janis Voigtländer, University of Duisburg-Essen, Germany (co-chair) === other members to be finalized and listed on the webpage near term ===

1 0

Utrecht Summer School on Advanced Functional Programming
by Wouter Swierstra 20 Mar '25

20 Mar '25

# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 07 July – 11 July 2025 http://www.afp.school **Please register before June 15th ** ## ABOUT The Advanced Functional Programming summer school has been running for more than fifteen years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school will be held in Utrecht and consists of a mix of lectures, labs, and a busy social program. ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Registration deadline: June 15th, 2025 School: 07 July – 11 July 2025 ## COSTS € 950 euro - Profession registration fee € 500 euro - Student registration fee € 200 euro - Housing fee We will charge a registration fee of €950 (or €500 for students) to cover our expenses. This fee includes all lunches, dinners, and coffee breaks - you won't need to budget much else besides your travel. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school

1 0

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

CALCO 2025: Deadline Extension
by Thorsten Wissmann 04 Mar '25

04 Mar '25

===================== CALCO Call for Papers ===================== ***Update: Deadline-Extension by one week!*** ========================================================= 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 10, 2025 (AoE) (Extended!) Full Paper submission: March 13, 2025 (AoE) (Extended!) 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

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