From andrei.h.popescu at gmail.com Mon Feb 3 14:37:28 2025 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Mon, 3 Feb 2025 14:37:28 +0000 Subject: [Haskell] Midlands Graduate School 2025 hosted by the University of Sheffield Message-ID: 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. From adbrucker at 0x5f.org Tue Feb 4 11:02:07 2025 From: adbrucker at 0x5f.org (Achim D. Brucker) Date: Tue, 4 Feb 2025 11:02:07 +0000 Subject: [Haskell] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10) Message-ID: 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_Environment_for_Distributed_Systems_Implemented_in_Go_EPSRC_DLA_Project_September_2025_Entry.pdf 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 From mh at informatik.uni-kiel.de Wed Feb 5 12:25:55 2025 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Wed, 5 Feb 2025 13:25:55 +0100 Subject: [Haskell] Call for Papers: PPDP 2025 Message-ID: <8087aff9-cb43-b685-2e2a-90d7ec3ca90f@informatik.uni-kiel.de> 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 at 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) From s-dgq at thorsten-wissmann.de Wed Feb 5 23:21:45 2025 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Thu, 6 Feb 2025 00:21:45 +0100 Subject: [Haskell] CALCO 2025: Second Call for Papers Message-ID: ===================== 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. From p.vandenbos at utwente.nl Fri Feb 7 13:01:24 2025 From: p.vandenbos at utwente.nl (Petra van den Bos) Date: Fri, 7 Feb 2025 14:01:24 +0100 Subject: [Haskell] FSEN 2025 - Call for Participation Message-ID: ########################## 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From simona.k at uns.ac.rs Mon Feb 17 16:38:02 2025 From: simona.k at uns.ac.rs (simona.k at uns.ac.rs) Date: Mon, 17 Feb 2025 17:38:02 +0100 (CET) Subject: [Haskell] Call for STSMs and ITC conference grants Message-ID: <48114.127.0.0.1.1739810282.squirrel@127.0.0.1> 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 From Graham.Hutton at nottingham.ac.uk Tue Feb 18 10:40:20 2025 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 18 Feb 2025 10:40:20 +0000 Subject: [Haskell] Midlands Graduate School - registration now open Message-ID: <5810DB1E-7460-49BA-BBC5-6AC4E42F3442@nottingham.ac.uk> 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. From andrei.h.popescu at gmail.com Tue Feb 18 10:30:48 2025 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Tue, 18 Feb 2025 10:30:48 +0000 Subject: [Haskell] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield In-Reply-To: References: Message-ID: Dear Colleagues, Please note that the registration for the Midlands Graduate School is now open. You can access the registration site either from the MGS 2025 site (https://tinyurl.com/MGS-2025), or directly from here: https://onlineshop.shef.ac.uk/conferences-and-events/faculty-of-engineering/computer-science/midlands-graduate-school-in-the-foundations-of-computing-science-2025 Best wishes, Andrei On Mon, Feb 3, 2025 at 2:37 PM Andrei Popescu wrote: > > 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.