May 2025 - Haskell - Haskell.org

[C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
by Manuel Alejandro Borroto Santana 31 May '25

31 May '25

Dear all, We are pleased to announce that the submission deadline has been extended to *JUNE 15, 2025*. Don't miss this opportunity to share your paper. We look forward to seeing your amazing contributions! *[apologize for multiple postings]* *Call for Papers - Deadline Extended* 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2025) September 12-13, 2025 | Rende, Italy https://carla-ws.github.io/web/ Part of ICLP 2025 https://iclp25.demacs.unical.it *IMPORTANT DATES (AoE)* - Paper Submission Deadline: *June 15, 2025 (EXTENDED)* - Notification: July 13, 2025 - Camera-Ready Deadline: July 27, 2025 Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at ICLP 2025, with virtual participation options to be confirmed. *GENERAL INFORMATION* The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent robotics by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into robotic systems. As robotics moves towards real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic logic-based systems to advance automation. *SCOPE* CARLA invites research contributions and discussions in the following focus areas: - Knowledge Representation for Robotics: Frameworks and methodologies for integrating structured knowledge into robotic architectures. - LLMs as Cognitive Engines: Leveraging LLMs to process complex commands, generate actionable insights, and facilitate human-robot communication. - Neuro-Symbolic Systems in Robotics: Hybrid approaches combining neural networks with symbolic reasoning for decision-making and task execution. - Logic Solvers in Robotic Control: Employing constraint solvers, SAT solvers, or theorem provers for autonomous planning and reliable decision-making. - Adaptive and Safe Robotic Architectures: Strategies for real-time adaptation and coordination in robotic systems using LLMs and symbolic logic. - Human-Robot Collaboration: Innovations in language-driven interactions, focusing on usability, interpretability, and reliability in diverse scenarios. - Challenges of LLM Deployment in Robotics: Addressing safety, robustness, and ethical considerations when integrating LLMs into robotic systems. - LLM-Driven Planning and Problem Solving: Enabling robots to perform dynamic planning and adapt to novel situations using LLM-guided reasoning. *SUBMISSIONS* CARLA welcomes the following types of submissions: - Original Research Papers: Presenting novel research contributions aligned with the workshop’s focus areas. - Work-in-Progress Reports: Sharing preliminary findings and ongoing research efforts. - Position Papers: Discussing emerging challenges, visionary ideas, and future directions at the intersection of robotics, LLMs, and logic solvers. - Already Presented Works: Contributions that have been previously presented at other venues but are relevant to the workshop themes. Such works can be resubmitted to foster further discussion and exploration. *Submissions should adhere to the following guidelines:* - Maximum of 12 pages (excluding references) for full papers and 6 pages (excluding references) for short papers. - Formatting must follow the CEURART style: https://ceur-ws.org/HOWTOSUBMIT.html - All submissions must be in English and submitted in PDF format. Accepted original contributions will be published in the CEUR-WS Proceedings (possibly in conjunction with other ICLP workshops). Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submissions site:* Submissions will be managed via Microsoft CMT. Papers will remain private during the review process. All authors must maintain up-to-date Microsoft CMT profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. Submit papers through the C.A.R.L.A. Submission Portal on Microsoft CMT: https://cmt3.research.microsoft.com/CARLA2025 *Anonymity:* The workshop follows a single-blind review process. Submissions must not be anonymized by removing author names, affiliations, and acknowledgments. *ORGANIZATION* - Fabrizio Lo Scudo · University of Calabria, Italy - Sotirios Batsakis · Hellenic Mediterranean University, Greece - Manuel Borroto · University of Calabria, Italy -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

CALCO/MFPS 2025: Second Call for Participation
by Thorsten Wissmann 30 May '25

30 May '25

========================================================== Second Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is open until June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Programme --------- The tentative MFPS programme is available on https://www.coalg.org/calco-mfps-2025/programme/ The CALCO programme will be announced shortly! Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- In addition to the above invited speakers, the accepted papers will be presented: * Accepted CALCO Papers: https://www.coalg.org/calco-mfps-2025/calco/accepted/ * Accepted MFPS Papers: https://www.coalg.org/calco-mfps-2025/mfps/accepted/ About CALCO and MFPS -------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. 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.

1 0

[2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 26 May '25

26 May '25

TL;DR: Talk proposal deadline for HOPE 2025 is on May 29, 2025. ---------------------------------------------------------------------- HOPE 2025 The 13th ACM SIGPLAN Workshop on Higher-Order Programming with Effects October 12, 2025 Singapore (the day before ICFP 2025) https://conf.researchr.org/home/icfp-splash-2025/hope-2025 HOPE 2025 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Guilhem Jaber (guilhem.jaber(a)inria.fr) and Taro Sekiyama (tsekiyama(a)acm.org) Deadline for talk proposals: May 29, 2025 (Thursday) Notification of acceptance: June 26, 2025 (Thursday) Workshop: October 12, 2025 (Sunday) The submission website is now open: https://hope25.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: William J. Bowman (University of British Columbia) Zeinab Galal (University of Bologna) Justin Hsu (Cornell University) Guilhem Jaber (Nantes Université) Danielle Marshall (University of Glasgow) Alexandre Moine (New York University) Takahiro Sanada (Fukui Prefectural University) Taro Sekiyama (National Institute of Informatics) Yahui Song (National University of Singapore) Leo White (Jane Street) Yizhou Zhang (University of Waterloo) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online.

1 0

[ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 22 May '25

22 May '25

*[apologize for multiple postings]* ICLP 2025, the 41st International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 12 to September 19, 2025. This year, we are pleased to announce that eight workshops will be co-located with ICLP 2025. The topics span a broad range of areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. Below is the list of the accepted workshops, along with short descriptions and links to their respective websites. For comprehensive details, including submission procedures and important dates, please refer to the individual workshop websites. The calls for paper submission are open. - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025). Website: https://rcra2025.wordpress.com - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025). Website: https://sites.google.com/view/aspocp-2025/ - 12th Workshop on Probabilistic Logic Programming (PLP 2025). Website: https://stoics.org.uk/~plp2025/ - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025). Website: https://tinyurl.com/ai3w25 - Third Prolog Education Workshop (PEG 2025). Website: https://prolog-lang.org/Education/PrologEducationWS2025.html - Second Annual Workshop on Prolog Improvement Proposals (PIPs). Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html - Workshop on Logic Programming and Legal Reasoning (LPLR 2025). Website: https://lplr2025.legaltech.wales/ - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA). Website: https://carla-ws.github.io/web/ ------------------------------ 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) The scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches regarding efficiency, problem modelling, and ease of development. Website: https://rcra2025.wordpress.com ------------------------------ 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) Workshop on combining Answer Set Programming with Other Computing Paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL). Website: https://sites.google.com/view/aspocp-2025/ ------------------------------ 12th Workshop on Probabilistic Logic Programming (PLP 2025) The PLP workshop encompasses all aspects of combining logic, algorithms, programming, and probability. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. Website: https://stoics.org.uk/~plp2025/ ------------------------------ 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025) Argumentation is the study of the processes and activities involving the production and exchange of arguments, where arguments are attempts to persuade someone or something by giving reasons for accepting a particular conclusion as evident. The goal of the workshop is to stimulate discussions and promote scientific collaboration among researchers not only directly involved in argumentation, but also from research fields indirectly related to argumentation. Website: https://tinyurl.com/ai3w25 ------------------------------ Third Prolog Education Workshop (PEG 2025) The PEG workshop series is one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0), which aims to promote the use of Prolog-like computing to make logical reasoning and trustworthy coding skills more universally available. PEG 2.0 builds upon a nearly 50-year history of developing educational materials for using logic programming languages such as Prolog and ASP to introduce children in primary and secondary schools to both logic and computing. It also includes the insights and innovations developed for teaching Prolog at university level in both Computing and non-Computing courses. Website: https://prolog-lang.org/Education/PrologEducationWS2025.html ------------------------------ Second Annual Workshop on Prolog Improvement Proposals (PIPs) The PIP workshop series offers Prolog implementers and users an opportunity to present short descriptions of features desired or not supported in all systems that they believe would benefit other systems and are thus candidates for PIPs. It is also a chance to become familiar and comment on the process of PIP creation and the current PIPs. Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html ------------------------------ Workshop on Logic Programming and Legal Reasoning (LPLR 2025) Representation of legal rules and reasoning over them is a critical application area since laws and regulations are used in almost all human activities. Furthermore, corpora pertaining to laws and regulations are typically complex and enormous in size, and experts are usually needed in order to apply legal reasoning in everyday life. Thus, automating reasoning over legal documents by means of applying logic programming can speed up a process that is laborious and time consuming. The aim of the workshop is to give the opportunity to legal experts and computer scientists to present recent research results and discuss related ideas on this particularly active area of research. Website: https://lplr2025.legaltech.wales/ ------------------------------ 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) CARLA aims to advance the field of intelligent robotics through the integration of large language models (LLMs), symbolic reasoning, and logic solvers. Addressing the demands of real-world adaptability, safety, and complex decision-making, the workshop explores the complementary roles of LLMs and symbolic systems. By combining the dynamic adaptability of LLMs with the precise inferential capabilities of symbolic solvers, CARLA seeks to promote the development of intelligent, reliable, and explainable robotic systems capable of effective human interaction. Website: https://carla-ws.github.io/web/ Best regards, ICLP 2025 Chairs -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

ANN: PenroseKiteDart v1.3
by chrisreade＠mac.com 20 May '25

20 May '25

A new (and possibly final) version of PenroseKiteDart is now available on Hackage. This is a library for exploring and drawing Penrose's Kite and Dart tilings using Haskell Diagrams. (For more information see blogs at https://readerunner.wordpress.com/) Chris

1 0

[AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence
by Manuel Alejandro Borroto Santana 20 May '25

20 May '25

*[apologize for multiple postings]* We are eager to receive your papers... and we want you to get notified in time for the early registration. For these reasons, we moved the deadline for paper registration to June 27 and the deadline for submitting papers to July 1. Act now! Register and submit your paper today! -------------------------------------------------------------------------- CALL FOR PAPERS 9th Workshop on Advances in Argumentation in Artificial Intelligence AI³ 2025 https://tinyurl.com/ai3w25 12 or 13 September 2025, Rende, Italy Workshop of ICLP 2025 -------------------------------------------------------------------------- AIMS AND SCOPE Argumentation is the study of the processes and activities involving the production and exchange of arguments, where arguments are attempts to persuade someone or something by giving reasons for accepting a particular conclusion as evident. The goal of the workshop is to stimulate discussions and promote scientific collaboration among researchers not only directly involved in argumentation, but also from research fields indirectly related to argumentation. TOPICS We invite submissions of the latest research results concerning applications and theory of computational argumentation. Topics include, but are not limited to: Explainable AI with Argumentation, Persuasion systems, Formal, semi-formal and informal models for argumentation, Properties and evaluation of formal models of argumentation, Computational properties of argumentation, Traditional and ranking-based semantics, Instantiations of abstract argumentation frameworks, Implementation of argumentation systems, Relationships among different argumentation frameworks, Philosophical theories of argumentation, Argument mining, Argumentation in agent and multi-agent systems, Dialogue based on argumentation, Strategies in argumentation, Decision making based on argumentation, Argumentation-based negotiation, Argumentation, trust and reputation, Argumentation for coordination and coalition formation, Argumentation and other Artificial Intelligence techniques, Argumentation and game theory, Argumentation and probability, Argumentation and fuzzy-logic, Argumentation and narrative, Argumentation and computational linguistics, Argumentation and human-computer interaction, Reasoning about action and time with argumentation, Tools for supporting argumentation, Practical applications of formal models of argumentation, Systems for learning through argument, Argument-based machine learning, Validation and evaluation of applications of argumentation. SUBMISSION The workshop invites three types of submissions: Full papers (15 pages), possibly already submitted to other conferences or journals, and Short papers (5 pages), which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. Short overviews of research projects (3 pages), possibly moved to a poster session. All papers will be peer-reviewed and final copies of papers for inclusion to the conference proceedings will be published on CEUR in the AI*IA Series (Scopus indexed). Manuscripts should be formatted using the 1-column CEUR-ART Style. You can access the Overleaf template (https://www.overleaf.com/read/pznxxvfnyjhk#c5dcb0; select Copy Project in the Menu) or download an offline version ( https://drive.google.com/file/d/1-BiptYhT-FNFZip8XuAESLXX3R6G8n2S/view?usp=… ) with the style files. Papers must be submitted through Microsoft CMT at the link https://cmt3.research.microsoft.com/AI32025. FURTHER INFORMATION WWW: https://tinyurl.com/ai3w25 Email: mario.alviano%2Bai32025(a)unical.it IMPORTANT DATES Paper registration: June 27 Paper submission: July 1 Notification: July 15 Final versions due: September 1 VENUE The workshop will be co-located with the 41th International Conference on Logic Programming (ICLP 2025) at the University of Calabria. The University area amounts to around 200 hectares, and is organized in 14 departments and 13 interdepartmental centers, with around 170 classrooms frequented by more than 14,500 persons. The University provides 77 degree courses and 2 specialization schools, and owns the largest library in Southern Italy, with more than 390,000 volumes and 660 workstations. The Residential Center of the University has around 3,000 beds and 1,300 canteen seats, and serves more than 3,500 meals per day. The Art Music Entertainment Center organizes more than 30 events per year, including concerts, film festivals, and theater. The Sport Center offers more than 25 courses. Other structures in the University are the Museum of Natural History of Calabria and Botanical Garden, the Paleontology Museum, the Museum for the Environment Rimuseum, the Zoology Museum, and the Linguistic University Center. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Bettina Fazzinga, University of Calabria, Italy PUBLICITY CHAIR Manuel Alejandro Borroto Santana, University of Calabria, Italy PROGRAM COMMITTEE Gianvincenzo Alfano (University of Calabria) Pietro Baroni (University of Brescia) Stefano Bistarelli (University of Perugia) Sergio Flesca (DIMES - UNICAL) Massimiliano Giacomin (University of Brescia) Francesco Santini (University of Perugia) Carlo Taticchi (University of Perugia) Mauro Vallati (University of Huddersfield) -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation
by Voigtländer, Prof. Dr. Janis 10 May '25

10 May '25

The submission deadline has been extended by five days: WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK) 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 20th, 2025) Webpage: https://wpte2025.github.io/ Submission: https://easychair.org/conferences/?conf=wpte2025 Deadline: 14th 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. All submissions are to be made via: https://easychair.org/conferences/?conf=wpte2025 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: 14th May 2025 (AoE) Notification of acceptance: 11th June 2025 Early Registration for the conference: 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 --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Patrick Bahr, IT University of Copenhagen Demis Ballis, University of Udine Mirai Ikebuchi, Kyoto University Cynthia Kop, Radboud University Nijmegen (co-chair) Ivan Lanese, University of Bologna Pierre Lermusiaux, Inria Rennes Steven Libby, University of Portland Luca Roversi, University of Turin Janis Voigtlaender, University of Duisburg-Essen (co-chair) Johannes Waldmann, Leipzig University of Applied Sciences Sarah Winkler, Free University of Bozen-Bolzano Contact --------------------------------------------------------------------------- Please direct questions to: wpte2025(a)easychair.org CFP also at: https://easychair.org/cfp/wpte2025

1 0

CALCO/MFPS 2025: Call for Participation
by Thorsten Wissmann 09 May '25

09 May '25

========================================================== Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is now open; please register before June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- List of papers accepted for presentation at CALCO on topics relating to algebraic and coalgebraic theory and their applications: https://www.coalg.org/calco-mfps-2025/calco/accepted/ MFPS notification of acceptance will be on May 15, 2025. About CALCO and MFPS -------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. 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.

1 0

Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 08 May '25

08 May '25

** Call for Participation ** 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025) 12-13 June 2025 Koblenz, Germany https://conf.researchr.org/home/sle-2025 https://www.sleconf.org/2025/ https://x.com/sleconf ------------------------------------------------------------------------ The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. Like its predecessors, the 18th edition of the SLE conference, SLE 2025, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasises the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Registration --------------------------- Registration happens via the STAF registration page Early Bird Registration Deadline is May 10th, 2025 https://conf.researchr.org/attending/staf-2025/staf-2025-registration --------------------------- Venue --------------------------- University of Koblenz https://conf.researchr.org/venue/sle-2025/staf-2025-venue --------------------------- Keynotes --------------------------- * Thorsten Berger, Ruhr University Bochum, Germany A New DSL Textbook in Town! * Friedrich Steimann, Fernuniversität in Hagen, Germany an Programming Be Liberated from the Functional Style? https://conf.researchr.org/home/sle-2025#Keynotes --------------------------- Awards --------------------------- During the conference, we will announce the following awards: * Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * Distinguished artefact: Award for the artefact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artefact evaluation committee. * Distinguished reviewer: Award for the programme committee member that produced the most useful reviews as assessed by paper authors. * Most Influential Paper: Award for the SLE 2015 paper with the greatest impact, as judged by the SLE Steering Committee. * COLA Award: 2024 Journal of Computer Languages Best Paper Award --------------------------- Accepted Papers --------------------------- * A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will * AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert * Boosting Parallel Parsing through Cyclic Operator Precedence Grammars Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella * Detecting Resource Leaks on Android with Alpakka Gustavo Amorim Santos, Alexandra Mendes, João Bispo * Dynamic Dependency-Based Purity Checking Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach * Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen * Handling Grammar Cycles in the 1997 Standard ML Definition Elizabeth Scott, Adrian Johnstone * Integrating Model Checking into a Live Modeling Environment Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe * Lessons Learned: Challenges of Modular Language Design Alex Lüpges, Nico Jansen, Bernhard Rumpe * Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash * Optimize Effect Handling for Tail-resumption with Stack Unwinding Yuze Fu, Shigeru Chiba * Property-based Testing of Attribute Grammars José Nuno Macedo, Marcos Viera, João Saraiva * Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars Luke Bessant, Eric Van Wyk * (Semantic) Feature Model Differences with (Q)SAT Simone Heisinger, Maximilian Heisinger, Martina Seidl * TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly José Pedro Ferreira, João Bispo, Susana Lima * Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair Aleksandar S. Dimovski

1 0

[AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence
by Manuel Alejandro Borroto Santana 07 May '25

07 May '25

*[apologize for multiple postings]* -------------------------------------------------------------------------- CALL FOR PAPERS 9th Workshop on Advances in Argumentation in Artificial Intelligence AI³ 2025 https://tinyurl.com/ai3w25 12 or 13 September 2025, Rende, Italy Workshop of ICLP 2025 -------------------------------------------------------------------------- AIMS AND SCOPE Argumentation is the study of the processes and activities involving the production and exchange of arguments, where arguments are attempts to persuade someone or something by giving reasons for accepting a particular conclusion as evident. The goal of the workshop is to stimulate discussions and promote scientific collaboration among researchers not only directly involved in argumentation, but also from research fields indirectly related to argumentation. TOPICS We invite submissions of the latest research results concerning applications and theory of computational argumentation. Topics include, but are not limited to: Explainable AI with Argumentation, Persuasion systems, Formal, semi-formal and informal models for argumentation, Properties and evaluation of formal models of argumentation, Computational properties of argumentation, Traditional and ranking-based semantics, Instantiations of abstract argumentation frameworks, Implementation of argumentation systems, Relationships among different argumentation frameworks, Philosophical theories of argumentation, Argument mining, Argumentation in agent and multi-agent systems, Dialogue based on argumentation, Strategies in argumentation, Decision making based on argumentation, Argumentation-based negotiation, Argumentation, trust and reputation, Argumentation for coordination and coalition formation, Argumentation and other Artificial Intelligence techniques, Argumentation and game theory, Argumentation and probability, Argumentation and fuzzy-logic, Argumentation and narrative, Argumentation and computational linguistics, Argumentation and human-computer interaction, Reasoning about action and time with argumentation, Tools for supporting argumentation, Practical applications of formal models of argumentation, Systems for learning through argument, Argument-based machine learning, Validation and evaluation of applications of argumentation. SUBMISSION The workshop invites three types of submissions: Full papers (15 pages), possibly already submitted to other conferences or journals, and Short papers (5 pages), which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. Overviews of research projects (3 pages), possibly moved to a poster session. All papers will be peer-reviewed and final copies of papers for inclusion to the conference proceedings will be published on CEUR in the AI*IA Series (Scopus indexed). Manuscripts should be formatted using the 1-column CEUR-ART Style. You can access the Overleaf template (https://www.overleaf.com/read/pznxxvfnyjhk#c5dcb0; select Copy Project in the Menu) or download an offline version ( https://drive.google.com/file/d/1-BiptYhT-FNFZip8XuAESLXX3R6G8n2S/view?usp=… ) with the style files. Papers must be submitted through Microsoft CMT at the link https://cmt3.research.microsoft.com/AI32025. FURTHER INFORMATION WWW: https://tinyurl.com/ai3w25 Email: mario.alviano%2Bai32025(a)unical.it IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 15 Final versions due: September 1 VENUE The workshop will be co-located with the 41th International Conference on Logic Programming (ICLP 2025) at the University of Calabria. The University area amounts to around 200 hectares, and is organized in 14 departments and 13 interdepartmental centers, with around 170 classrooms frequented by more than 14,500 persons. The University provides 77 degree courses and 2 specialization schools, and owns the largest library in Southern Italy, with more than 390,000 volumes and 660 workstations. The Residential Center of the University has around 3,000 beds and 1,300 canteen seats, and serves more than 3,500 meals per day. The Art Music Entertainment Center organizes more than 30 events per year, including concerts, film festivals, and theater. The Sport Center offers more than 25 courses. Other structures in the University are the Museum of Natural History of Calabria and Botanical Garden, the Paleontology Museum, the Museum for the Environment Rimuseum, the Zoology Museum, and the Linguistic University Center. -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0