- Haskell - Haskell.org

[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 11 Jun '25

11 Jun '25

Dear all, We are pleased to announce that the submission deadline for the Doctoral Consortium has been extended to *JUNE 22, 2025*. *[apologize for multiple postings]* *** *Call for Papers - Deadline Extended* ICLP DC 2025 - 21st Doctoral Consortium (DC) on Logic Programming *** The 21st Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The website of the DC can be found at: https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium The DC will take place during the 41st International Conference on Logic Programming (ICLP) https://iclp25.demacs.unical.it/ (September 12-19, 2025), hosted by the University of Calabria, Italy. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. **We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed.** ## IMPORTANT DATES - Paper submission: *June 22, 2025 (EXTENDED)* - Notification: July 6, 2025 - Camera-ready copy: August 6, 2025 - DC presentations: Sunday, September 12-13, 2025 However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 12-13, 2025: https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-lo… ## AUDIENCE The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Neuro-symbolic Approaches Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ## DISCUSSANTS Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. ## GOALS - To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. - To provide students with relevant information about important issues for doctoral candidates and future academics. - To develop a supportive community of scholars and a spirit of collaborative research. - To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. ## SUBMISSION DETAILS The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: - Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. - Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. - Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. - Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Neurosymbolic approaches, Relations to object-oriented and Functional programming. - Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format ( http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp25 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 6 pages) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: - Introduction and problem description - Background and overview of the existing literature - Goal of the research - Current status of the research - Preliminary results accomplished (if any) - Open issues and expected achievements - Bibliographical references ## REVIEW CRITERIA The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. ## REGISTRATION Registration is part of the ICLP 2025 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. ## PROGRAM CO-CHAIRS Alice Tarzariol, University of Klagenfurt, Austria Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France ## PROGRAM COMMITTEE - Marina De Vos, University of Bath - Carmine Dodaro, University of Calabria - Wolfang Faber, University of Klagenfurt - Francesco Fabiano, New Mexico State University - Cristina Feier, Technical University of Cluj-Napoca - Johannes Fichte, Linköping University - Sarah Alice Gaggl, TU Dresden - Laura Giordano, Università del Piemonte Orientale - Eleonora Iotti, University of Parma - Vladimir Lifschitz, University of Texas at Austin - Yanhong Liu, Stony Brook University - Marco Maratea, University of Calabria - Jose Morales, IMDEA Software Research Institute - Frank Valencia, LIX, Ecole Polytechnique - Stefan Woltran, TU Wien -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

TyDe 2025 - deadline extension, remote presentations possible
by Andras Kovacs 10 Jun '25

10 Jun '25

========================================================================= The Tenth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Singapore, 12 October 2025 https://icfp25.sigplan.org/home/tyde-2025 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP and SPLASH, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates ### * Sun 22 Jun 2025 (AoE): Submission deadline for papers and extended abstracts * Wed 23 Jul 2025: Notification of acceptance * Wed 6 Aug 2025: Submission of camera-ready papers to ACM * Sun 12 Oct 2025: Workshop ### Proceedings and Copyright ### We will have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde25.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmsmall’ subformat). Extended abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title. ### Presentations ### We expect that each accepted submission is presented at the workshop. Presentations are around 20 minutes plus questions. Remote presentation is possible. ### Participant Support ### Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: > https://www.sigplan.org/PAC/ ### Workshop Organization ### Organizing Committee: - András Kovács (University of Gothenburg and Chalmers University of Technology) - Yuting Wang (Shanghai Jiao Tong University, China) Program Committee: - Nathan Corbyn (University of Oxford, United Kingdom) - Stephen Dolan (Jane Street, United Kingdom) - Paul Downen (University of Massachusetts at Lowell, United States) - Brandon Hewer (University of Nottingham, United Kingdom) - Hongwei Xi (Boston University, United States) - Wen Kokke (University of Edinburgh, United Kingdom) - Yao Li (Portland State University, United States) - Hidehiko Masuhara (Institute of Science Tokyo, Japan) - Stefan Monnier (Université de Montréal, Canada) - Steven Ramsay (University of Bristol, United Kingdom) - Di Wang (Peking University, China) - Zhixuan Yang (Imperial College London, United Kingdom)

1 0

[ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 09 Jun '25

09 Jun '25

*[apologize for multiple postings]* **** ICLP 2025 --- Call for Student Grants **** **** Grants for attending ICLP25 **** We are pleased to announce the availability of student grants to support participation in ICLP 2025, generously provided by the Artificial Intelligence Journal (AIJ), the Italian Association for Artificial Intelligence (AIxIA), and the Gruppo Ricercatori e Utenti Logic Programming (GULP). We encourage all eligible students to apply! *Important Dates* * Submission deadline: 6th July 23:59 AOE * Notification of acceptance: 13th July *Who can apply?* Grants are available to Master’s and PhD students and are conditional upon: * A certificate of student status * A statement confirming the lack of sufficient funds to attend ICLP 2025 *What is covered?* The grants will partially cover registration fees and/or shared accommodation in university residences or nearby lodging facilities. The applicant can indicate the type of support he needs. AIJ offers multiple grants, which will be provided as direct discounts on conference services. AixIA offers two grants, up to 400 EUR each, which will be provided via reimbursement handled by the association after the conference. GULP offers two grants, up to 260 EUR each, which will be provided via reimbursement handled by the association after the conference. For US-based students, an NSF-sponsored grant may become available later. Applicants should indicate their preference for a specific grant type in the application form. *Evaluation Criteria* Applications will be evaluated based on: * Whether the student is an author of a paper accepted at any ICLP-related event * The submission timestamp * Whether the applicant is a member of AIxIA or GULP Associations * The personal preference for a specific grant Under no circumstances can a grant be awarded to an applicant who is not enrolled in a recognized study program (Master’s level – ISCED Level 7 or PhD level – ISCED Level 8 or equivalent), or who is unable to provide valid proof of student status. The committee will maximise student participation given the available funds. If the NSF-sponsored grant becomes available, it will be allocated to eligible students based in the United States. To apply, please complete the application form by July 6th by filling in the following form: https://forms.gle/8w39MENkZ9nYbjo38 -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

IFl 2025, Second call for papers
by Mart Lubbers 03 Jun '25

03 Jun '25

===================================================================== IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 https://www.fing.edu.uy/inco/congresos/ifl2025 ===================================================================== ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2025 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Differently from previous editions of IFL, IFL 2025 solicits two kinds of submissions: * Regular papers (12 pages excluding references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. Regular papers can be: accepted for publication in the formal proceedings, accepted for presentation at the symposium or rejected. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. We require that at least one of the authors present the work at IFL 2025. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings after the symposium. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Important dates Submission of regular papers: June 16, 2025 Regular papers notification: August 4, 2025 Submission of draft papers: August 4, 2025 Draft papers notification: August 11, 2025 Deadline for early registration: September 5, 2025 Submission of pre-proceedings version: September 8, 2025 IFL Symposium: October 1-3, 2025 Submission of papers for post-proceedings: December 15, 2025 Notification of acceptance: February 28, 2026 Camera-ready version: March 30, 2026 Deadlines are end of day Anywhere on Earth (UTC-12) (https://www.timeanddate.com/time/zones/aoe) ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl2025 Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info(a)acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay Publicity Chair: Mart Lubbers, Radboud University, The Netherlands Local Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay ### Program committee: Matteo Cimini, University of Massachusetts Lowell Facundo Domínguez, Tweag João Paulo Fernandes, Universidade do Porto Jeremy Gibbons, Oxford University Jurriaan Hage, Heriot Watt University Jason Hemann, Seton Hall University Maja Hanne Kirkeby, Roskilde University Mart Lubbers, Radboud University Bruno C. D. S. Oliveira, The University of Hong Kong Rinus Plasmeijer, Radboud University Andre Rauber Du Bois, Universidade Federal de Pelotas Rodrigo Ribeiro, Universidade Federal de Ouro Preto Alejandro Russo, Chalmers University of Technology João Saraiva, University of Minho Wenhao Tang, University of Edinburgh Zhixuan Yang, Imperial College London Brent Yorgey, Hendrix College Beta Ziliani, Manas.Tech Viktória Zsók, Eötvös Loránd University ### Venue IFL 2025 will be held physically in Montevideo, Uruguay. See the website for more information. https://www.fing.edu.uy/inco/congresos/ifl2025 ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

TyDe 2025 - Final Call for Papers
by Andras Kovacs 02 Jun '25

02 Jun '25

========================================================================= The Tenth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Singapore, 12 October 2025 https://icfp25.sigplan.org/home/tyde-2025 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP and SPLASH, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates ### * Mon 9 Jun 2025 (AoE): Submission deadline for papers and extended abstracts * Wed 16 Jul 2025: Notification of acceptance * Wed 30 Jul 2025: Submission of camera-ready papers to ACM * Sun 12 Oct 2025: Workshop ### Proceedings and Copyright ### We will have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde25.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmsmall’ subformat). Extended abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title. ### Presentations ### We expect that each accepted submission is presented at the workshop. Presentations are around 20 minutes plus questions. Remote presentation is possible. ### Participant Support ### Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: > https://www.sigplan.org/PAC/ ### Workshop Organization ### Organizing Committee: - András Kovács (University of Gothenburg and Chalmers University of Technology) - Yuting Wang (Shanghai Jiao Tong University, China) Program Committee: - Nathan Corbyn (University of Oxford, United Kingdom) - Stephen Dolan (Jane Street, United Kingdom) - Paul Downen (University of Massachusetts at Lowell, United States) - Brandon Hewer (University of Nottingham, United Kingdom) - Hongwei Xi (Boston University, United States) - Wen Kokke (University of Edinburgh, United Kingdom) - Yao Li (Portland State University, United States) - Hidehiko Masuhara (Institute of Science Tokyo, Japan) - Stefan Monnier (Université de Montréal, Canada) - Steven Ramsay (University of Bristol, United Kingdom) - Di Wang (Peking University, China) - Zhixuan Yang (Imperial College London, United Kingdom)

1 0

Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming
by Michael D. Adams 02 Jun '25

02 Jun '25

Hello, I am an assistant professor at NUS, and I am excited to announce the following postdoctoral position. Please share this post (available at https://michaeldadams.org/hiring) with anyone who you think might be interested. ## Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming We are excited to announce a postdoctoral position in programming languages focused on the newly emerging paradigm of fixed-point-oriented programming. This paradigm allows for the development of programs based on inference rules that traverse a lattice, significantly simplifying complex algorithms in areas such as parsing, static analysis, type-checking, graph algorithms, and automata minimization. ### Position Details: - Application Process: If you or someone you know is interested in this position, please email me at "adamsmd AT nus.edu.sg" to schedule a Zoom interview. We are eager to fill this role quickly, so interviews will begin immediately, and we encourage you to reach out promptly to ensure your application is considered before the position is filled. - Duration and Salary: The position offers a competitive salary and a flexible start date, with funding available for 2 to 3 years, contingent upon satisfactory progress. ### About the Project: Fixed-point oriented programming is an emerging programming paradigm that lets one write programs in terms of inference rules that climb a lattice. While that might sound like obscure theory, in practice, it greatly simplifies many complex algorithms in domains such as parsing, static analysis, type checking, graph algorithms, and automata minimization. In fact, using this framework, many classic algorithms such as Dijkstra's algorithm, CYK parsing, Hopcroft's automata minimization algorithm, and tree-automata minimization can be expressed in only two or three executable lines of code. Our team is developing a language and implementation that transforms high-level specifications into optimized Haskell modules, similar to how parser generators, SQL engines, or SMT solvers streamline tasks in their respective domains. Key components of this project will involve language design, compiler development, and the development of sophisticated code optimization techniques. For more in-depth information, please refer to our lab's white paper: - https://michaeldadams.org/papers/fpop/fixed-point-oriented-programming.pdf ### About Me and My Research: My research is dedicated to empowering programmers to write clear, concise, and elegant code without compromising performance. My work encompasses next-generation languages, compilers, optimization, domain-specific and extensible languages, generic and meta-programming, duality, syntax and parsing, and static analysis/control-flow analysis. - Homepage: https://michaeldadams.org/ - Research Goals: https://michaeldadams.org/vitae/research-statement.pdf - Papers: https://michaeldadams.org/papers/ Posting Date: June 2, 2025 Posting URL: https://michaeldadams.org/hiring We look forward to your application! -- Michael D. Adams

1 0

[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