[PVS] [EXTERNAL] Call for Special Tracks Proposals - GoodIT 2025
ACM* GOODIT Conference Call for Special Tracks Proposals 3-5 September 2025, Antwerp, Belgium https://goodit2025.idlab.uantwerpen.be/ SCOPE GoodIT 2025 will feature special tracks whose aim is to focus on a specific topic of interest related to the overall scope of the conference. We solicit proposals for special tracks to be held within the main conference and whose publications will be included in conference proceedings. Special tracks proposals can focus on any contemporary themes that highlight social good aspects in the design, implementation, deployment, securing, and evaluation of IT technologies. * Pending confirmation. SPECIAL TRACK PROPOSAL FORMAT A special track proposal must contain the following information: ** Title of the special track ** The names of the organizers (indicatively, two) with affiliations, contact information, and a single paragraph of a brief bio. ** A short description of the scope and topics of the special track (max 1/2 page) and a brief explanation of: (1) why the topic is timely and important; (2) why the topic is related to the conference’s main theme; (3) why the special track may attract a significant number of submissions of good quality. ** Indication if a journal special issue is associated with the special track, possibly with information on the process of selecting papers. ** The plan to disseminate the call for papers of the special track for achieving a reasonable number of paper submissions (a list of emailing lists will help). ** An outline of the foreseen reviewing process to ensure the scientific quality of the accepted papers including a tentative list of program committee members. ** A draft call for papers (max 1 page). SELECTION OF SPECIAL TRACKS Accepted Special Tracks will be curated by the Special Track Chairs, possibly involving other members of the conference’s organizing committee, and possibly discussing details with the Track Proposers. PUBLICATION Papers submitted to each special track have to satisfy the same criteria as for the main conference. They must be original works and must not have been previously published. They have to be peer-reviewed by the track’s Program Committee (at least three reviews per submitted paper are required). The final version of papers must follow the formatting instructions of the main conference. At least one of the authors of all accepted papers must register and present the work at the conference on site; otherwise, the paper will not be published in the proceedings. All accepted and presented papers will be included in the conference proceedings published in ACM Digital Library. The special track may provide an option for publishing the extended versions of selected papers in a special issue of a journal. SPECIAL TRACK PROPOSAL SUBMISSION GUIDELINES The proposal should be submitted as a single PDF file to the special track chairs (see below) via email to: ombretta.ga...@unipd.it and catia.pra...@unibo.it The subject of the e-mail must be: “GoodIT 2025 – special track proposal”. The special tracks chairs may ask proposers for supplying additional information during the review period. IMPORTANT DATES ** Proposal Submission Deadline: March 10th, 2025 ** Notification of Selection: March 17th, 2025 ** Paper submission deadlines must be the same as for the main conference CONTACT (SPECIAL TRACKS CHAIRS) ** Ombretta Gaggi (University of Padua, Italy) – ombretta.ga...@unipd.it ** Catia Prandi (University of Bologna, Italy) – catia.pra...@unibo.it
[PVS] [EXTERNAL] [fm-announcements] LOPSTR 2025 call for papers
35th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2025).
Part of ICLP 2025 and co-located with PPDP 2025
September 9-10, 2025 - Rende, Italy
https://lopstr.github.io/2025/
Important dates:
- Abstract submission: May 9, 2025 (AoE)
- Paper submission: May 16, 2025 (AoE)
- Author notification: June 27, 2025 (AoE)
- Camera-ready: July 17, 2025 (AoE)
- Symposium: September 9-10, 2025
OVERVIEW
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions to logic-based program development in any
programming language paradigm. LOPSTR has a reputation for being a
lively, friendly forum for presenting and discussing work in progress.
LOPSTR 2025 will be held at the University of Calabria, Rende, Italy.
It will be co-located with ICLP 2025 and PPDP 2025.
At least one of the authors of an accepted
paper is expected to attend the conference and present the paper.
Information about venue and travel will be available on the ICLP 2025
website.
Topics of interest include all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large, including, but
not limited to:
- synthesis
- transformation
- specialization
- inversion
- composition
- optimisation
- specification
- analysis and verification
- testing and certification
- program and model manipulation
- AI methods for program development
- verification and testing of AI-based systems
- transformational techniques in software engineering
- logic-based methods for security
- logic-based methods for cyber-physical and distributed systems
- applications, tools, and industrial practice
Survey papers that present some aspects of the above topics from a new
perspective and papers that describe experience with industrial
applications and case studies are also welcome.
PAPER SUBMISSION
Submissions can be made in two categories:
- Regular Papers (15 pages max.)
- Short Papers (8 pages max.)
References will NOT count towards the page limit. Additional pages may
be used for appendices not intended for publication. Reviewers are not
required to read the appendices, and thus papers should be intelligible
without them. All submissions must be written in English.
Submissions must not substantially overlap with papers/tools that have
been published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings.
Submissions of Regular Papers must describe original work. Work that
already appeared in unpublished or informally published workshop
proceedings may be submitted (please contact the PC Chairs in case of
questions).
Submissions of Short Papers may include presentations of exciting if
not fully polished research or tool demonstrations that are of
academic and industrial interest. Tool demonstrations should describe
the relevant system, usability, and implementation aspects of a tool.
All accepted papers will be included in the conference proceedings and
published by Springer as a Lecture Notes in Computer Science (LNCS)
volume.
After the symposium, a selection of a few best papers will be invited
for submission to rapid publication in the Journal of Theory and
Practice of Logic Programming (TPLP). Authors of selected papers will
be invited to revise and/or extend their submissions to be considered
for publication. The papers submitted to TPLP will be subject to the
journal's standard reviewing process.
SUBMISSION GUIDELINES
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email; abstract; and
three to four keywords which will be used to assist the PC in
selecting appropriate reviewers for the paper. Authors should consult
Springer's authors' instructions on the author's page, and use their
proceedings templates, either for LaTeX (available also in Overleaf)
or for Word, for the preparation of their papers. Springer encourages
authors to include their ORCIDs in their papers. In addition, upon
acceptance, the corresponding author of each paper, acting on behalf
of all of the authors of that paper, must complete and sign a
Consent-to-Publish form. The corresponding author signing the
copyright form should match the corresponding author marked on the
paper. Once the files have been sent to Springer, changes relating to
the authorship of the papers cannot be made.
Page numbers (and, if possible, line numbers) should appear on the
manuscript to help the reviewers in writing their report. So, for
LaTeX, we recommend that authors use:
\pagestyle{plain}
\usepackage{lineno}
\linenumbers
Papers should be submitted via EasyChair:
https://easychair.org/conferences
[PVS] [EXTERNAL] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) We cordially invite submissions for the upcoming 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS), which explores the intersection of artificial intelligence, safety, security, testing, and verification in autonomous cyber-physical systems. This workshop will focus on neurosymbolic methods and foundation models to address the challenges of testing, verifying, and deploying autonomous systems in critical environments. Their typical examples include autonomous vehicles, aerial drones, and industrial control systems. The workshop will be held on July 21, 2025. It will be co-located with the 37th International Conference on Computer-Aided Verification (CAV) in Zagreb, Croatia. Our primary goal is to facilitate meaningful discussions and idea exchanges between workshop paper authors and our world-leading TPC members. We accept the following three paper categories, which will not be considered official, formal publications. Each submission will undergo the same rigorous review process by our TPC. This approach allows authors to further refine or submit their work to other top-tier venues. Accepted workshop papers will be hosted on Arxiv and shared with a broader audience through our TACPS community, with the potential to be invited for follow-up discussions at Shonan and Dagstuhl seminars in 2026. Paper Categories: 1. Vision Papers (4 pages, plus 1 page for references) Vision papers should present innovative and groundbreaking ideas supported by promising initial results or speculative visions about the future of autonomous CPS. Submissions should provide well-motivated arguments and strong scientific intuition, laying the groundwork for future research directions in neurosymbolic methods and foundation models for autonomous systems. We particularly encourage the discussion of how formal methods will contribute to these directions. 2. Research Papers (8 pages, plus 2 pages for references) Research papers should describe original, unpublished theoretical, empirical, conceptual, or experimental research related to neurosymbolic approaches and foundation models applied to autonomous CPS. Papers should present novel contributions to the fields of verification, safety, and testing of autonomous systems using these advanced techniques. Survey papers on relevant topics are also welcome under this category. 3. Experience Papers (8 pages, plus 2 pages for references) Experience papers should focus on the practical application and implementation aspects of neurosymbolic and foundation model-based approaches in autonomous CPS. These papers should detail real-world use cases, system integration challenges, and insights from deploying these techniques in practice. Topics of Interest (including but not limited to): • Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS • Integration of symbolic reasoning with machine learning models for decision-making and learning in autonomous systems. • Case studies of neurosymbolic reasoning in real-world autonomous CPS applications. • Formal safety and correctness verification techniques for neurosymbolic models and their application in ensuring the safety of autonomous systems. • Program Synthesis for Autonomous CPS • Techniques for automatically synthesizing programs (e.g., type-directed synthesis) for autonomous systems using formal typing systems. • Program synthesis methods that combine symbolic and neural components to ensure correctness and safety in autonomous CPS. • Methods for transforming and synthesizing code to improve the performance, reliability, and safety of autonomous systems. • Using synthesis to adapt code based on changing environments and scenarios. • Foundation Models-Based Test Generation for Autonomous CPS • Leveraging large-scale foundation models to generate effective test cases for autonomous CPS. • Applying foundation models for fault detection and robustness testing in real-world environments. • Neurosymbolic Reinforcement Learning for Autonomous CPS • Integrating neurosymbolic methods with reinforcement learning to improve decision-making in autonomous systems. • The role of neurosymbolic approaches in reinforcement learning-based autonomous systems, focusing on real-time safety and adaptability. • Surveys of Neurosymbolic and Foundation Models for Autonomous CPS • Comprehensive surveys of current research on neurosymbolic methods and foundation models applied to autonomous CPS. Such surveys fall under the Research Papers category. • Review and comparison of existing techniques and their potential to advance autonomous systems’ reliability, safety, and trustworthiness. • Formal Methods for Trustworthy Autonomous CPS • Use of formal methods (satisfiability solving, model checking, reachability verification, theorem proving, and other techniques) for proving the corre
[PVS] [EXTERNAL] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
*[apologize for multiple postings]* *First Call for Papers* 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: *Theoretical Foundations:* Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. *Language Design and Programming Methodologies:* Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming. *Program Analysis and Optimization:* Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. *Implementation Methodologies and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *IMPORTANT DATES* - Paper registration (regular papers): April 13, 2025 - Paper submission (regular papers): April 18, 2025 - Notification (regular papers): May 25, 2025 - Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025 - Revision submission (TPLP papers): June 15, 2025 - Final notification: July 6, 2025 - Final version: July 27, 2025 - Main conference: September 15-19, 2025 *TRACKS AND SPECIAL SESSIONS* In addition to the main track, ICLP’25 will host: - IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP. - Recently Published Research Track: Detailed information will be announced separately. *AFFILIATED EVENTS* - Workshops: September 12-14, 2025 - Autumn School in Computational Logic: September 12-14, 2025 - Doctoral Consortium: September 12-14, 2025 - Logic Programming Contest: September 16 or 17, 2025 - International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) - International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025) *SUBMISSION DETAILS* All submissions must be written in English. Papers accepted at ICLP may appear either in - The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials - The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: http://style.eptcs.org Submissions may have one of two forms: 1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing: - The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable - The paper ID of the IJCAI’25 submission - The authors listed on the IJCAI’25 submission - The title of the IJCAI’25 submission - The original PDF submitted to IJCAI’25 - The IJCAI’25 reviews, including scores and text evaluations The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification. Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical
[PVS] [EXTERNAL] [CFP] ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025)
[Apologies if you receive multiple copies] --- CALL FOR PAPERS 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) co-Located with the 34th International Conference on Computer Communications and Networks (ICCCN 2025) August 4-7, 2025 - Tokyo, Japan https://grc.webs.upv.es/events/VENITS/2025/ Conference proceedings will be submitted to IEEE Xplore --- Important Dates: Submission deadline: March 13, 2025 (extended) Notification of acceptance: May 10, 2025 Camera-ready version: June 2, 2025 --- Scope: == Over the years, we have witnessed the merging of wireless communications and transportation technologies. This excellent combination of two important fields has propelled our capabilities even further, allowing us to communicate anytime and anywhere, thereby improving the traffic safety, reducing the travel costs, and increasing our life quality tremendously. Once the new Intelligent Transportation Systems are deployed, our roads and highways will be able to provide enhanced services to users through the combination of V2X and cellular communications, thus completely revolutionizing when and how we communicate, commute, and navigate, in the coming future. In addition, all types of autonomous vehicles, including aerial, terrestrial and maritime drones, can also support ITS systems and processes to achieve unprecedented performance, safety and services. Under such conditions, several issues remain open in the field on vehicular networking, including message dissemination in congested environments, Quality of Service (QoS), efficient and adaptive routing, MAC layer enhancements, mobility prediction, efficient handovers, and also in Intelligent Transportation Systems, such as efficient road traffic managing, optimal emergency services operation, integration with autonomous vehicles, etc. This workshop is soliciting original technical papers addressing the main research challenges in the vehicular networking and the intelligent transportation systems area. Topics of interest include, but are not limited to, the following scope: - Wireless Vehicular Networking and Communications Wireless Vehicular Networking (aerial, terrestrial and maritime vehicles) DSRC/WAVE Communications, DSRC Alternatives, and Supporting Technologies 5G/6G technologies for vehicular environments UAV support for ground vehicle communications and services AI-Enhanced V2X Communication Protocols Communications for Safety of Vulnerable Road Users Communications for Automated Driving Content distribution in wireless vehicular environments - AI-Enhanced Traffic Management and Optimization AI-Enhanced Traffic Prediction, Management, and Optimization Statistical Analysis, Prediction, and Management of Vehicular Mobility - Autonomous Vehicle Intelligence and Systems Autonomous Vehicle Intelligence AI in Vehicle Maintenance and Diagnostics AI-Driven Cybersecurity in Vehicular Networks Integration with aerial, terrestrial and maritime autonomous vehicles Security and Trust Issues in Vehicular Environments Explainable and Trustworthy AI in Vehicular Systems - Network Control and Management Congestion and Admission Control in Dense Vehicular Networks Network Protocols and Algorithms, Including Clustering and Routing Cross-Layer Protocol Design - Integration and Edge Computing Solutions Smartphone/Vehicle Integration Service-Oriented Architectures, Service Portability, P2P AI for Real-Time Data Processing and Edge Computing Edge Solutions for Intelligent Transportation Systems (ITS) - Cooperative Sensing and Human-Machine Interfaces Cooperative Sensing of Road Conditions Intelligent Human-Machine Interfaces (HMI) - Computational Models and Simulation Tools Network and System Architectures for Mobile Vehicular Computing Models, Simulators, and Tools for Vehicular Environments AI-Integrated Simulation and Modeling Tools for Vehicular Environments - Computer Vision and Multimedia in Vehicular Scenarios Computer Vision Applications in Vehicular Environments Multimedia Communications in Vehicular Scenarios - Data Privacy and Ethical Considerations Data Privacy and Ethical Considerations in AI-Powered Vehicular Systems - AI for User Experience and Sustainable Transportation AI for Enhanced User Experience and Personalization AI in Sustainable and Green Transportation Multi-Agent AI Systems in Vehicular Networks Papers Submission: =
[PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025
=== CALL FOR PAPERS === ACM GOODIT 2025 5th ACM International Conference on Information Technology for Social Good Antwerp, Belgium, 3-5 September 2025 https://goodit2025.idlab.uantwerpen.be/ === The ACM 5th International Conference on Information Technology for Social Good (GoodIT 2025) is a premier international forum for researchers, practitioners, and educators to present and discuss the latest innovations, trends, and challenges in leveraging technology, data, and interdisciplinary approaches for Social Good and the UN Sustainable Development Goals. The conference welcomes contributions that explore the intersection of technology with fields such as social sciences, healthcare, environmental studies, and public policy—highlighting the broader impact of digital transformation on society. Alongside the main tracks, the conference features the Work-in-Progress and PhD Track. The Work-in-Progress Track provides an excellent opportunity for practitioners and researchers from diverse domains to present early-stage work, share ideas, and receive valuable feedback, fostering cross-disciplinary discussions and collaborations. The PhD Track is designed for doctoral students at different stages of their research, offering a unique space to present and refine their work with guidance from experienced researchers across various disciplines. Additionally, the program will be enriched with several Special Tracks, complementing the existing five conference tracks. These tracks will further emphasize the interdisciplinary nature of GoodIT 2025, addressing topics at the convergence of technology, ethics, sustainability, and societal impact. The forthcoming Call for Papers will outline these tracks in detail. == Conference Tracks == You are invited to submit a full paper in one of the following thematic tracks: (-) Track #1. Sustainability and Circular Economy This track addresses the role of ICT and interdisciplinary efforts in promoting sustainable development and advancing circular economy principles. It emphasizes the integration of technology with environmental sciences, policy, and societal initiatives to tackle global sustainability challenges. Topics include but are not limited to the following themes: - ICT for climate change monitoring, mitigation, and adaptation. - Green computing and eco-friendly design. - Circular economy models integrating engineering, economics, and policy. (-) Track #2: Ethics, Governance and Policy This track explores the interdisciplinary and societal dimensions of ICT, focusing on the ethical, legal, policy, and governance frameworks needed to guide responsible technology development and use. Topics include but are not limited to the following themes: - Ethical and Social Considerations in Emerging Technologies - Policy, Regulation, and Governance for Responsible ICT Adoption - Digital Sovereignty, Global Governance, and Cross-Border Regulation - Fundamental Rights and ICT - Philosophical and Theoretical Perspectives on ICT Governance and Policy - The Role of ICT in Democracy, Rule of Law, and Public Discourse (-) Track #3: Digital Inclusion and Empowerment This track explores methodologies, techniques and technologies used to expand access to ICT and promoting equity in technology use across all demographics. Topics include but are not limited to the following themes: - Bridging the digital divide through connectivity. - ICT solutions for education, healthcare, and underserved communities. - Accessibility and inclusive design in technology. (-) Track #4: Building Trust in a Digital Society This track explores methodologies, standards, techniques used to build trustworthy and robust ICT systems to address security, privacy, and societal resilience. Topics include but are not limited to the following themes: - Privacy-Preserving Technologies and Data Governance - Trustworthy AI and Algorithmic Transparency - Digital Identity and Authentication Systems - Resilient Systems for Crisis Management and Recovery (-) Track #5: Smart Societies and Innovation Covers innovative ICT solutions that drive smarter cities, improve governance through digital transformation, and enhance the overall quality of life by leveraging advanced technologies such as AI, IoT, big data, and cloud computing. Topics include but are not limited to the following themes: - Human-Centric IoT and Connected Systems - Cultural and Creative Innovation through ICT - Emerging technologies for urban sustainability and efficiency. - Digital Platforms for Collaborative Governance - AI applications in urban planning, resource management, and local governance. - Predictive analytics for city services and infrastructure optimization == Submission Guidelines == Submitted papers must be original works and must not have been previously published. All papers
