From andrea.orlandini at istc.cnr.it  Wed May  6 08:46:56 2026
From: andrea.orlandini at istc.cnr.it (AndreA Orlandini)
Date: Wed, 6 May 2026 08:46:56 +0200
Subject: [Event@CIG] Deadline extension - 33rd International Symposium on
 Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Dublin,
 Ireland.
Message-ID: <f422cefe-df32-48d9-85bb-1023659c96d2@istc.cnr.it>


Apologies for multiple copies

*** Call for Papers ***

33rd International Symposium on Temporal Representation and Reasoning 
(TIME 2026)
1-3 September 2026, Dublin, Ireland.
https://time26.cnr.it/

Co-located with the 37th International Conference on Principles of 
Diagnosis and Resilient Systems (DX?26)

**** PAPER SUBMISSION DEADLINE EXTENDED: May 22, 2026!! ****

TIME has been for more than twenty years the only yearly 
multidisciplinary international event dedicated to the topic of time in 
computer science. The purpose of the symposium is to bring together 
active researchers in different scientific fields involving temporal and 
spatio-temporal data, information and/or knowledge management. Such a 
concern arises in a number of different though often related research 
domains, namely Artificial Intelligence (both symbolic approaches based 
on explicit Logic or Constraint-based models, and numerical data-based 
approaches such as Deep Learning and Large Language Models), Databases 
and Data Mining, or System Specification and Verification.

TIME 2026 is co-located with the 37th International Conference on 
Principles of Diagnosis and Resilient Systems (DX?26) and it will be 
from the 1st to the 3rd of September 2026 at the University College of Cork.

More details about TIME and the previous editions of this symposium can 
be found via the following link:
https://time-symposium.org/.

**Topics of interest**
- Temporal Specifications, Verification, Synthesis, Planning 
(Spatio-temporal representation and reasoning models including moving 
objects tracking, Temporal Logics for finite and infinite state system, 
Model checking with temporal issue, Runtime verification, Temporal 
constraint models and satisfiability, Action and change, Temporal 
Scheduling, Controller synthesis)
- Diagnosis and Supervision of Real-Time systems (Timed Automata, Timed 
Petri nets, Timed Games)
- Time in Machine Learning and Generative Artificial Intelligence 
(Neural networks, Deep/Reinforcement learning, LLMs and Natural Language 
Processing)
- Notable aspects of time in agent- and policy-based systems 
(Multi-agent systems, Markov decision processes, agentic AI frameworks)
- Temporal Data (sensing, discovery, mining, temporal databases and 
dedicated query languages, uncertain/indeterminate/imprecise temporal 
data, temporal data learning)
- Temporal Graphs, Networks (Bayesian network, Neural networks,)
- Event and Pattern recognition (including time series and temporal 
chronicles)

The list above is by no means exhaustive, as the aim is to foster the 
debate around all aspects of time in automation.

**Important dates**
*May 18, 2026: Abstract submission deadline (was May 06)
May 22, 2026 Paper submission deadline (was May 11)*
June 22, 2026: Paper acceptance/rejection notification date
July 24, 2026: Camera-ready submission deadline
September 01?03, 2026: Symposium dates

Note: all deadlines are AoE (Anywhere on Earth).

**Submission guidelines**
TIME 2026 accepts submissions in PDF format, formatted following the 
Open Access Series in Informatics (OASIcs 
https://drops.dagstuhl.de/entities/series/OASIcs#author) and preferably 
using LaTeX. TIME policy is single blind, so the names of the authors 
need not be hidden in the submitted draft. Members of the program 
committee are allowed to submit papers. Submitted papers will be 
refereed for quality, correctness, originality, and relevance to the 
symposium. At least one author of each accepted paper must register at 
the symposium and present the paper.

We use EasyCshair throughout the submission and selection process. The 
webpage for submitting papers with all required information can be found 
here
https://easychair.org/conferences/?conf=time2026

There are three types of submissions, and the authors are invited to 
specify under which one their paper lies:
1) Original papers (12 pages, excluding references and appendix): such 
papers describe original, non-published contributions. It includes 
theoretical (new algorithms, proofs, models) and applied (applications, 
system descriptions, evaluation) contributions.
2) Survey papers (12 pages, excluding references and appendix): such 
papers are intended to propose a short review of a complete domain of 
research.

The proceedings of TIME will be published in the Open Access Series in 
Informatics (OASIcs). This is a series of high-quality peer-reviewed 
conference proceedings, and published according to the principle of 
OpenAccess.

Finally, the authors of the top-ranked papers will be invited to submit 
an extended version of their contribution to a special issue in a high 
ranked journal; more details will be provided in due time.

Please contact the program chairs for more information:
AndreA Orlandini and Sophie Pinchinat
Email: time2026 at easychair.org

-- 

facebook <https://www.facebook.com/CNRsocialFB> twitter 
<https://twitter.com/CNRsocial_> instagram 
<https://www.instagram.com/cnrsocial/> linkedin 
<https://www.linkedin.com/company/283032>

	
AndreA Orlandini
CNR, ISTITUTO DI SCIENZE E TECNOLOGIE DELLA COGNIZIONE
Tel. 0644595223

andrea.orlandini at istc.cnr.it
Via Gian Domenico Romagnosi, 18
00196 ? Roma
*www.cnr.it* <http://www.cnr.it/>
Devolvi il 5?1000 al CNR
CF 80054330586

Me, the one and only person that never leaves me alone


--

From elsy.kaddoum at irit.fr  Tue May  5 08:06:51 2026
From: elsy.kaddoum at irit.fr (Elsy Kaddoum)
Date: Tue, 5 May 2026 08:06:51 +0200
Subject: [Event@CIG] EUMAS 2026 - Submission deadline May 18th
Message-ID: <aa90f326-f315-4712-88f7-43d28c1c34d1@irit.fr>

*

23rd European Conference on Multi-Agent Systems

September 21-25, 2026 ?- Malmo, Sweden

(EUMAS?26 - https://euramas.github.io/eumas2026/ 
<https://euramas.github.io/eumas2026/>)

Please circulate, share, and submit your contributions!

Apologize for multiple diffusions?

The 23rd European Conference on Multi-Agent Systems (EUMAS 2026) will be 
organized on September 21-25, 2026 by Malm? University.

EUMAS 2026is anEURAMAS 
<https://sites.google.com/view/euramas/>designated event which follows 
the tradition of previous editions and aims to encourage and support 
activity in the research and development of multi-agent systems, in 
academic and industrial effort.

EUMAS enables researchers to meet, present challenges, preliminary and 
mature research results in an open environment.

I - Submissions

EUMAS 2026 welcomes original, unpublished papers including improved 
versions of extended abstracts or (revised) rejected papers from AAMAS, 
AAAI and IJCAI-ECAI 2026. The submission should describe work that has 
not been previously published, accepted for publication, nor is 
currently under review by another conference or journal.

All submissions will be peer-reviewed in a single blind fashion. 
Submission length depends upon the track that you submit to. Additional 
pages may be used for references and, if needed, a clearly marked 
appendix. It should be formatted according to Springer?s LNCS format. 
For templates and instructions for authors, see Conference proceedings 
guidelines 
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>. 
Authors must submit their papers through the EUMAS 2026 submission site 
<https://openreview.net/group?id=EUMAS/2026/Conference>as a single PDF 
file.

This year, EUMAS is accepting submissions across the following 3 tracks:

Main Track (15 pages + references)

Topics of interest include, but are not limited to :

  *

    Engineering Multi Agent Systems, Coordination

  *

    Organizations, Institutions, Norms and Ethics

  *

    Multi-Agent Based Simulation

  *

    Knowledge Representation, Reasoning and Verification for MAS

  *

    Learning in Multi-Agent Systems

  *

    Explainable MAS

  *

    MAS for robotic systems and control

  *

    Human-Centric MAS


Agent Toolkits (15 pages + references)

This track aims to provide a forum for researchers that are involved in 
developing agent / MAS toolkits and platforms, or that are using them 
for the development of applications, to exchange ideas, make proposals, 
suggest challenges, reports interesting use cases and so on - any aspect 
that could be of interest in the engineering and using Agent Toolkits.

Demonstrators (5 pages + references)

This track aims to provide opportunities for participants from academia 
and industry to present their latest developments in agent-based 
systems. Demonstrations of interest include both applications of 
multi-agent systems and tools that support developers in the 
specification, design, implementation and testing of agent systems.

II - Proceedings

EUMAS 2026 features formal proceedings published as part of the Lecture 
Notes in Computer Science (LNCS) series of Springer. The best paper will 
be invited for fast-track publication of an extended version in the 
Autonomous Agents and Multi-Agent Systems Journal (JAAMAS).

III - Important dates

  *

    Paper Submission Deadline: ? 18 May 2026 (AoE, UTC-12)

  *

    Author Notification: ? 30 June 2026 (AoE, UTC-12)

  *

    Camera Ready Papers: 19 July 2026 (AoE, UTC-12)

  *

    EUMAS Conference:? 21-25 September 2026

IV - Committees (eumas2026 at mau.se)

Organizing Committee

  *

    Fabian Lorig (Malm? University)
    <https://mau.se/en/persons/fabian.lorig/>

  *

    Paul Davidsson (Malm? University)
    <https://mau.se/en/persons/paul.davidsson/>

  *

    Franziska Kl?gl (?rebro University)
    <https://www.oru.se/english/employee/franziska_klugl>

Program Chairs

  *

    Juan Carlos Nieves Sanchez (Ume? University)
    <https://www.umu.se/personal/juan-carlos-nieves/>

  *

    Val?rie Camps (Universit? de Toulouse)
    <https://www.irit.fr/~Valerie.Camps/>

  *

    Elsy Kaddoum (Universit? de Toulouse II)
    <https://www.linkedin.com/in/elsykaddoum/>

Local Chairs

  *

    Johan Holmgren (Malm? University)
    <https://mau.se/en/persons/johan.holmgren/>

  *

    Gion Koch Svedberg (Malm? University)
    <https://mau.se/en/persons/gion.kochsvedberg/>

  *

    Nosheen Abid (Malm? University)
    <https://mau.se/en/persons/nosheen.abid/>

Program Committee

Tba

Looking forward to hearing from you,

Best regards,

EUMAS?26 program chairs

*

From geoff at cs.miami.edu  Thu May  7 17:07:19 2026
From: geoff at cs.miami.edu (geoff at cs.miami.edu)
Date: Thu, 7 May 2026 11:07:19 -0400
Subject: [Event@CIG] SAT/SMT/AR summer school: registration and financial
 support
Message-ID: <20260507150719.CDBABA01973@armistead.ccs.miami.edu>

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated
Reasoning (AR) continue to make rapid advances and find novel uses in a wide
variety of applications, in computer science and beyond. The SAT/SMT/AR Summer
School aims to bring a select group of students up to speed quickly in this
exciting research area.

The summer school will take place from Monday the 13th to Thursday the 17th of
July. It will precede the many workshops and conferences of FLoC 2026.
Registration is possible as part of the FLoC registration:

https://www.floc26.org/registration

Note that early registration for the summer school closes on June 1st.

Limited financial support is available for students. To be considered, please
fill out this additional short form by **May 13th**. We apologise for the
short notice.

https://forms.gle/aXtyrcPjMBdyvFWY7

Mikol????, Filipe, Michael (organisers)

From fmec2024 at gmail.com  Fri May  8 13:39:37 2026
From: fmec2024 at gmail.com (FLICS)
Date: Fri, 8 May 2026 13:39:37 +0200
Subject: [Event@CIG] CFP: The 2026 International Conference on
 Next-Generation AI Systems | SCOPUS Indexed | Trento, Italy
Message-ID: <CA+ORbu7fD4U4OXrfnh80oy67-S=ox6h4U8FwrRPXP977rRJV8Q@mail.gmail.com>

*CFP: The 2026 International Conference on Next-Generation AI
Systems (NGEN-AI 2026)*

https://ngen-ai.org/

*Theme:* *One conference for every AI direction: Foundational models,
Generative, Agentic, Federated, and  **Deep Learning, **XAI, Trust, and
Edge Intelligence. *

*Venue*: *Trento, Italy (1-4 September 2026). A hybrid event!*
Scope

We invite high-quality, original contributions that advance the theory,
engineering, and real-world impact of Next Generation AI Systems?spanning
federated and distributed intelligence; small, large, and generative
models; agentic and interactive AI; deep learning and representation
learning; explainability and transparency; trustworthy, responsible, and
sustainable AI; MLOps and lifecycle management; AI systems and
infrastructures; and application-driven research with societal impact.

NGEN-AI 2026 brings together researchers, practitioners, and industry
leaders working on the next wave of artificial intelligence. The conference
provides a platform for interdisciplinary collaboration, bridging
theoretical foundations and practical implementations in intelligent,
trustworthy, and sustainable AI systems deployed across diverse domains and
real-world environments.
Indexing

All accepted papers will be published in the Springer CCIS series, indexed
in leading databases including *SCOPUS, Norwegian Register for Scientific
Journals and Series*,* DBLP, EI Compendex, INSPEC, SCImago, zbMATH, and the
Japanese Science and Technology Agency (JST).*
General Chairs

-       Marco Roveri,    University of Trento, Italy

-       Sadi Alawadi, Blekinge Institute of Technology, Sweden
Important Dates

Paper Submission Deadline:       May 25, 2026

Notification of Acceptance           July 15, 2026

Camera-ready Submission           August 10, 2026

All deadlines are in Anywhere on Earth (AoE) time.
Topics of Interest

The NGEN-AI conference welcomes research, experience, and vision papers
that explore foundational methods, systems, and applications of next
generation AI. Topics of interest for each track include, but are not
limited to, the following.
Federated Learning

The Federated Learning track focuses on learning paradigms that enable
models to be trained collaboratively across devices and organizations
without centralizing raw data. We are particularly interested in approaches
that push computation closer to the edge while preserving privacy,
robustness, and scalability in realistic deployments.

Contributions may address algorithms for heterogeneous and non-IID data,
personalization strategies, communication-efficient protocols, secure
aggregation and differential privacy, resource-aware federated learning on
constrained hardware, as well as demonstrators and case studies in domains
such as healthcare, finance, smart cities, and industrial IoT.

?       Architectures for cross-device and cross-silo federated learning.

?       Federated optimization under non-IID, sparse, or unbalanced data
distributions.

?       Personalized and on-device adaptation strategies in federated
settings.

?       Communication-efficient FL (compression, sparsification, update
scheduling).

?       Privacy-preserving FL: secure aggregation, differential privacy,
homomorphic encryption.

?       Robustness to poisoning, backdoor, and Byzantine attacks in
federated scenarios.

?       Energy- and resource-aware FL on mobile, edge, and IoT devices.

?       Federated learning in vertical, horizontal, and hybrid data
partitioning settings.

?       Federated analytics and federated evaluation techniques.

?       MLOps for FL: lifecycle management, monitoring, and deployment at
scale.

?       Benchmarking, simulators, datasets, and reproducibility studies for
FL.

?       Real-world applications in healthcare, finance, smart industry, and
smart cities.

?       Regulatory, ethical, and governance aspects of federated and
collaborative learning.
Small & Large Language Models and Generative AI

This track targets advances in small and large language models (SLMs and
LLMs) and other generative AI models that synthesize and reason over text,
code, images, audio, and multimodal data. We welcome work on model
architectures, training strategies, and deployment techniques that improve
performance, controllability, safety, and efficiency of foundation and
generative models in real-world settings.

Relevant contributions span from core modelling and optimization to
evaluation, alignment, and application-driven studies, including systems
that tightly integrate language and generative models with external tools,
data sources, and complex software architectures.

?       Architectures and training recipes for SLMs, LLMs, and foundation
models.

?       Pre-training, instruction-tuning, alignment (e.g., RLHF, DPO,
preference optimization).

?       Domain-specific and compact SLMs for on-device and
resource-constrained settings.

?       Prompt engineering, in-context learning, function calling, and
tool-augmented pipelines.

?       Retrieval-augmented generation and knowledge-grounded generative
models.

?       Generative models for text, code, images, audio, video, and
multimodal content.

?       Model compression, distillation, quantization, and sparsity for
efficient deployment.

?       Edge and on-device deployment of SLMs/LLMs and generative models.

?       Safety, robustness, and red-teaming of generative systems
(toxicity, hallucinations, bias).

?       Evaluation methodologies, benchmarks, and human-in-the-loop
assessment.

?       Generative AI for scientific discovery, simulation, and data
augmentation.

?       Software engineering with LLMs: code generation, refactoring,
testing, and verification.

?       Governance, transparency, IP, and regulatory aspects of foundation
and generative models.
Deep Learning Architectures & Representation Learning

This track focuses on advances in deep learning architectures and
representation learning methods that underpin next generation AI systems.
We invite contributions that improve expressiveness, robustness,
interpretability, and efficiency across supervised, unsupervised, and
self-supervised learning paradigms.

We particularly encourage work that bridges novel architectures with
deployment constraints, addresses data scarcity and bias, or opens up new
application domains.

?       Novel neural architectures (transformers, graph neural networks,
diffusion models, etc.).

?       Self-supervised, contrastive, and representation learning at scale.

?       Multimodal learning and fusion of heterogeneous data sources.

?       Curriculum learning, meta-learning, and continual / lifelong
learning.

?       Robust and certified deep learning under distribution shift and
adversarial attacks.

?       Interpretable and explainable deep learning methods.

?       Data-centric AI: dataset curation, quality, and augmentation
strategies.

?       Efficient training and inference: pruning, low-rank adaptation, and
sparse models.

?       Neural architecture search and automated model design.

?       Applications of deep learning in vision, language, time series,
recommender systems, and beyond.
Agentic AI

This track concentrates on agentic AI systems that perceive, reason, plan,
and act over extended time horizons-often in dynamic environments and in
collaboration with humans or other agents. We are interested in both
theoretical foundations and practical deployments of autonomous and
semi-autonomous agents in digital and physical settings.

We particularly encourage submissions that connect planning and decision
making with learning, perception, and interaction, and that critically
examine the reliability, safety, and societal impact of agentic AI.

?       Architectures for autonomous, semi-autonomous, and mixed-initiative
agents.

?       Planning, reasoning, and long-horizon decision making for agentic
systems.

?       Reinforcement learning, hierarchical RL, and model-based control
for agents.

?       LLM-driven agents, tool-using agents, and workflow / task
orchestration.

?       Multi-agent systems: coordination, negotiation, communication, and
cooperation.

?       Human-agent interaction, explainability, and trust in agentic AI
systems.

?       Safety, verification, alignment, and oversight for autonomous
agents.

?       Simulation environments, digital twins, and benchmarks for agentic
AI.

?       Agents in robotics, autonomous vehicles, logistics, smart grids,
and IoT environments.

?       Social, economic, and ethical implications of pervasive agentic AI.

?       Engineering methodologies, software frameworks, and tooling for
large-scale agent systems.

?       Hybrid symbolic-subsymbolic approaches for reasoning and acting.
MLOps, AI Engineering & Lifecycle Management

This track addresses the engineering and operational aspects of building,
deploying, and maintaining AI systems in production. It covers the full
lifecycle from data and model pipelines to monitoring, governance, and
socio-technical considerations in organizations.

We invite contributions that connect software engineering, DevOps, and
platform engineering practices with the unique requirements of machine
learning and foundation models.

?       MLOps platforms and infrastructure for scalable training and
deployment.

?       CI/CD for ML, continuous training, and continuous evaluation.

?       Data and feature management: data versioning, feature stores, and
lineage tracking.

?       Monitoring, observability, and incident response for AI systems.

?       Model governance, risk management, and compliance (e.g., AI Act,
sectoral regulation).

?       Testing, debugging, and quality assurance for ML components and
pipelines.

?       Infrastructure for serving LLMs and generative models at scale.

?       Cost- and energy-aware deployment and scheduling of AI workloads.

?       Organizational processes and roles for AI/ML teams.

?       Case studies and lessons learned from real-world AI production
deployments.
Explainable AI (XAI) & Transparency

This track focuses on methods and practices that make next generation AI
systems understandable, transparent, and auditable for humans. We welcome
contributions that improve how AI systems explain their decisions and
behaviors, enabling trust, accountability, and effective human oversight in
real-world deployments.

We encourage work spanning intrinsic interpretability and post-hoc
explanations, explanation quality evaluation, and human-centered design of
explanations, including applications to foundation models, agentic systems,
and distributed AI settings.

?       Post-hoc explanations (e.g., feature attribution, saliency, local
surrogate models).

?       Intrinsic interpretability and transparent model design.

?       Counterfactual and contrastive explanations.

?       Uncertainty estimation, calibration, and communicating confidence
to users.

?       Explainability for LLMs and generative AI (faithfulness, grounding,
rationale analysis).

?       Explainability in federated, privacy-preserving, and edge AI
settings.

?       Explainable decision making for agentic and multi-agent systems.

?       Human-centered explanation design, usability, and user studies.

?       Evaluation and benchmarking of explanations (faithfulness,
robustness, usefulness).

?       Auditing, debugging, and root-cause analysis for AI systems.

?       Transparency documentation (e.g., model cards, datasheets) and
reporting standards.

?       Regulatory, ethical, and governance aspects related to transparency
and explainability.
Trustworthy, Responsible & Sustainable AI

This track focuses on the qualities that enable next generation AI systems
to be adopted and relied upon in society: trustworthiness, responsibility,
and sustainability. We welcome contributions that align AI systems with
human values and public expectations, ensuring they are safe, fair,
transparent, and robust across real-world contexts.

We particularly encourage work that connects technical advances with
governance and socio-technical practices, including evaluation
methodologies and lifecycle approaches that reduce risk and environmental
impact while improving accountability.

?       Trustworthiness by design: safety, reliability, and robustness
under distribution shift.

?       Fairness, bias mitigation, and inclusive AI across populations and
contexts.

?       Accountability, transparency, and auditability in AI systems.

?       Human values and alignment: human-centered objectives, oversight,
and control.

?       Responsible AI governance: policies, risk management, and
compliance practices.

?       Privacy, security, and protection against adversarial and data
poisoning attacks.

?       Evaluation frameworks, metrics, and benchmarks for trustworthy and
responsible AI.

?       Monitoring and lifecycle management for responsible AI in
production.

?       Sustainable AI: energy-efficient training/inference, green AI, and
carbon-aware operation.

?       Responsible data practices: provenance, consent, documentation, and
data stewardship.

?       Socio-technical studies of AI adoption, impact, and organizational
readiness.

?       Case studies and lessons learned from responsible and sustainable
AI deployments.
AI Systems, Hardware & Edge/Cloud Infrastructures

This track focuses on systems, architectures, and hardware platforms that
enable efficient and sustainable execution of next generation AI workloads.
Submissions may address full-stack co-design from algorithms and compilers
down to accelerators and distributed infrastructures.

We particularly welcome work that bridges AI models with constraints of
real-world platforms, including edge devices, heterogeneous clusters, and
specialized hardware.

?       Distributed and parallel systems for large-scale training and
inference.

?       Scheduling and placement of AI workloads across edge, fog, and
cloud.

?       Hardware accelerators (GPUs, TPUs, NPUs, FPGAs) and co-design for
AI.

?       Systems support for LLMs and foundation models (sharding,
offloading, caching).

?       Energy-efficient and green AI computing, including carbon-aware
orchestration.

?       Runtime systems, compilers, and libraries for AI workloads.

?       Edge AI and embedded AI for IoT, CPS, and real-time applications.

?       Resilience, fault tolerance, and reliability of AI systems and
infrastructures.

?       Benchmarks, performance analysis, and optimization of AI systems.
Applications & Societal Impact of Next Generation AI

This track brings together application-driven research and critical
perspectives on the impact of next generation AI systems on individuals,
organizations, and society. We welcome studies that combine technical
innovation with domain insights, as well as empirical analyses of adoption,
impact, and governance.

Interdisciplinary work at the intersection of AI, human-computer
interaction, social sciences, and policy is particularly encouraged.

?       Next generation AI applications in healthcare, finance, education,
mobility, and industry.

?       AI for sustainability, climate, energy, and environmental
monitoring.

?       Human-AI collaboration, co-creation, and augmented decision making.

?       Fairness, accountability, transparency, and ethics in AI systems.

?       Regulation, standards, and governance frameworks for AI.

?       Socio-technical analyses of AI deployment and organizational
transformation.

?       User studies, field deployments, and longitudinal evaluations.

?       Public sector and civic applications of AI (e-government, public
services, smart cities).

?       Education, upskilling, and capacity building for AI-literate
societies.
Submission Types

?      Long Papers (16 pages): original research with clear methodology,
results, and contributions.

?      Short Papers (8 pages): Short research contributions, focused
studies, and demo or artifact papers.

?      Poster Papers (6 pages): Concise presentations of work in progress
and undergraduate research.
Submission Portal

Submissions are handled via EasyChair. For submission guidelines and the
submission link, please visit: https://ngen-ai.org/index.php

We look forward to receiving your contributions and to welcoming you at
NGEN-AI 2026 in Trento, Italy!

From graham.leigh at gu.se  Tue May  5 08:54:50 2026
From: graham.leigh at gu.se (Graham Leigh)
Date: Tue, 5 May 2026 06:54:50 +0000
Subject: [Event@CIG] CfP: SLSS and NLSS (17-23 August 2026)
Message-ID: <3DDBACEE-67B9-43B4-9C28-432037600E17@gu.se>

Joint Call for the Scandinavian Logic Society Events: 
Nordic Logic Summer School (17-20 August 2026)
Scandinavian Logic Society Symposium (21-23 August 2026)
Copenhagen, Denmark
Website: https://slss2026.compute.dtu.dk

In 2026, the Scandinavian Logic Society Symposium (SLSS 2026) and Nordic Logic Summer School (NLSS 2026) organised under the auspices of the Scandinavian Logic Society will take place in Copenhagen! 
?????????????????????????????????
Final Call for Abstracts ? Thirteenth Scandinavian Logic Symposium (SLSS 2026)

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

Call for Abstracts: The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others. Major topics include (but are not limited to):
? Proof Theory
? Constructivism
? Model Theory
? Set Theory
? Computability Theory
? Algebra and Logic
? Categorical Logic
? Modal and Temporal Logics
? Dynamic Logics
? Logic and Computer Science
? Logic and Learning
? Logic in AI and Multi-Agent Systems
? Logic and Linguistics
? Philosophical Logic
? Philosophy of Logic, Mathematics and Computation

Submissions: Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt font) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=sls2026 
by 17 May 2026 (AoE). 

Important dates:
Abstract submission deadline: 17 May 2026
Notification of acceptance: 9 June 2026
Early registration deadline: 15 June 2026
SLSS 2026: 21?23 August 2026

Confirmed Invited Speakers: 
? Salvatore Florio (Oslo, Norway)
? Vera Koponen (Uppsala, Sweden)
? Magdalena Ortiz (TU Wien, Austria)
? Carsten Sch?rmann (ITU, Denmark)

Programme Committee
Thomas Bolander, Technical University of Denmark
Aggeliki Chalki, Reykjavik University
Laura Crosilla, University of Florence
Nina Gierasimczuk, Technical University of Denmark
Juha Kontinen (co-chair), University of Helsinki
Antti Kuusisto, Tampere University
Peter LeFanu Lumsdaine, Stockholm University
Graham Leigh (co-chair), University of Gothenburg
Ana Ozaki, University of Oslo
Niccol? Veltri, Tallinn University of Technology
Thomas ?gotnes, University of Bergen
?????????????????????????????????
Call for Participation ? Sixth Nordic Logic Summer School (NLSS 2026) 

We invite everyone interested in logic and its interface with philosophy, mathematics, computer science, and AI to participate in the Summer School. The intended audience for NLSS is advanced master students, PhD-students, post-docs and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year we have an exciting lineup of five lecturers on a wide spectrum of topics.

Confirmed NLSS 2026 Lecturers:
? Bahareh Afshari (University of Gothenburg, Sweden)
? Patrik Blackburn (Roskilde University, Denmark)
? Gaia Belardinelli (Stanford University, USA)
? Balder ten Cate (University of Amsterdam, The Netherlands)

Important dates: 
Early registration deadline: 1 July 2026
NLSS 2026: 17?20 August 2026

Programme Committee:
Ali Enayat, University of Gothenburg
Thomas Bolander (co-chair), Technical University of Denmark
?ystein Linnebo (co-chair), University of Oslo
Sara Negri, University of Genoa
Sonja Smets, University of Amsterdam
??????????????????????????????????
Sponsorship by the Association for Symbolic Logic

Both NLSS 2026 and SLSS 2026 are sponsored by the ASL. This means that any student who wants to attend these events can apply for an ASL Student Travel Award, to partially cover their expenses. Please note that to do so, the student must be an ASL member and they must send their application to ASL by May 17th at the latest. For more information and to apply for an ASL award, please follow this link:
https://aslonline.org/student-travel-awards/ 
??????????????????????????????????
For more information about the SLSS and NLSS, contact the chair of the local organising committee Nina Gierasimczuk at nigi[at]dtu.dk
??????????????????????????????????

From jleite at fct.unl.pt  Sat May  9 18:18:36 2026
From: jleite at fct.unl.pt (Joao Leite)
Date: Sat, 9 May 2026 17:18:36 +0100
Subject: [Event@CIG] EPIA 2026 - **Deadline Extension** - Final Call for
 Papers
Message-ID: <CAGVDYFra9K4bMEQOV5YUjFKW4U+zjesssijvA49HLZTBx=RoMQ@mail.gmail.com>

FINAL CALL FOR PAPERS
**deadline extension**
EPIA 2026

25th EPIA Conference on Artificial Intelligence
September 2?4, 2026
University of Madeira, Portugal
https://epia2026.web.uma.pt/

The EPIA Conference on Artificial Intelligence (AI) is a well-established
European conference dedicated to promoting research in all areas of AI,
spanning theoretical foundations, methodological advances, and real-world
applications. The conference fosters scientific exchange among researchers,
engineers, and practitioners working in AI and related disciplines.

The 25th edition, EPIA 2026, will take place in Funchal, Madeira, Portugal,
from September 2 to 4, 2026. As in previous editions, the conference is
organized under the patronage of the Portuguese Association for Artificial
Intelligence (APPIA).
Important Dates

   -

   Abstract submission deadline: May 15, 2026 (AoE)
   -

   Paper submission deadline:  May 22, 2026 (AoE) May 29, 2026 (AoE)
   (strict deadline ? no further extensions will be granted)
   -

   Notification of acceptance: July 12, 2026
   -

   Camera-ready papers due: July 25, 2026 (AoE)
   -

   Conference dates: September 2?4, 2026

Thematic Tracks

EPIA 2026 will feature the following thematic tracks, covering a broad
spectrum of AI topics:

   -

   AI for Architecture, Engineering and Conservation (AI4AEC)
   -

   Ambient Intelligence and Affective Environments (AmIA Environments)
   -

   Artificial Intelligence and Law (AIL)
   -

   Artificial Intelligence for Industry and Society (AI4IS)
   -

   Artificial Intelligence for Time-dependent Data (AITD)
   -

   Artificial Intelligence in Medicine (AIM)
   -

   Artificial Intelligence in Transportation Systems (AITS)
   -

   Artificial Intelligence: Theory, Methods, and Applications (AITMA)
   -

   Ethics and Responsibility in AI (ERAI)
   -

   Generative and Agentic Artificial Intelligence (GAAI)
   -

   Human-Centered AI (HCAI)
   -

   Knowledge Discovery and Business Intelligence (KDBI)
   -

   Knowledge Representation and Reasoning (KRR)
   -

   Natural Language Processing, Text Mining and Applications (NLP-TeMA)
   -

   Sustainable and Neuromorphic AI (SNAI)

Additional information on each track is available at
https://epia2026.web.uma.pt/tracks.html
Submission and Reviewing

   -

   Papers must be submitted in PDF format via the EPIA 2026 EasyChair
   submission page:
   https://easychair.org/conferences/?conf=epia2026
   -

   Authors should select the thematic track most appropriate for their
   submission. Papers may be reassigned to a different track at the discretion
   of the Program Chairs if deemed more suitable.
   -

   All submissions will undergo a double-blind peer review process and will
   be reviewed by at least three members of the EPIA Program Committee.
   Authors are responsible for anonymizing their submissions by removing
   names, affiliations, and any other identifying information, and for taking
   reasonable steps to preserve anonymity throughout the review process.
   -

   Papers must follow the Springer LNAI format and may not exceed 12 pages.
   Authors should also take into account any additional track-specific
   submission requirements.
   -

   Authors are encouraged to consult Springer?s author guidelines
   <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>
when
   preparing their manuscripts. Springer also encourages authors to include
   their ORCID identifiers in their papers. In addition, the corresponding
   author of each accepted paper, acting on behalf of all co-authors, must
   complete and sign a Consent-to-Publish form. The corresponding author
   signing this form must match the corresponding author identified in the
   paper. Once the final files have been submitted to Springer, changes to
   authorship will not be permitted.
   -

   EPIA 2026 will not accept any paper that, at the time of submission, is
   under review for, has already been published in, or has already been
   accepted for publication in a journal or another venue with formally
   published proceedings. During the EPIA 2026 review period, authors may not
   submit the same work to a journal or another venue with formally published
   proceedings. As a general rule, publications associated with a DOI,
   ISBN, or ISSN should be considered formal publications. Questions
   regarding submission eligibility should be addressed to the Program Chairs
   at epia2026 at easychair.org before the submission deadline. These
   restrictions do not apply to workshops and similar specialized
   presentations without formally published proceedings.
   -

   Generative AI tools do not qualify for authorship of papers submitted to
   EPIA 2026. Authors who use large language models or other generative AI
   tools at any stage of the writing process remain fully responsible for the
   entire content of the submission, including its correctness, originality,
   and compliance with plagiarism policies. The use of AI-generated text as
   part of the paper?s methodology or experimental analysis is permitted,
   provided that it is clearly documented and appropriately described in the
   paper.

Proceedings and Presentations

   -

   At least one co-author of each accepted paper must register for EPIA
   2026 by the early registration deadline.
   -

   Each accepted paper must be presented in person by one of its authors.
   -

   APPIA will provide limited travel support to co-authors who are student
   members of APPIA.
   -

   Accepted and presented papers will be included in the conference
   proceedings, published in Springer?s LNAI ? Lecture Notes in Artificial
   Intelligence series.
   -

   EPIA proceedings are indexed in Web of Science, Scopus, DBLP, and Google
   Scholar.

Awards

EPIA 2026 will present the following awards:

   -

   Best Paper Award ? for the best research paper presented at the
   conference
   -

   Best Application Paper Award ? for the best application-oriented paper
   presented at the conference
   -

   Best Student Paper Award ? for the best research paper presented at the
   conference whose first author is a student

EPIA 2026 Committees

Conference Chair
Eduardo Ferm? (University of Madeira)

Program Chairs
Jo?o Leite (NOVA University Lisbon)
Nuno Louren?o (University of Coimbra)
Penousal Machado (University of Coimbra)

Organization Chairs
Morgado Dias (University of Madeira)
Maur?cio Reis (University of Madeira)
Marco Garapa (University of Madeira)
F?bio Mendon?a (University of Madeira)
Diogo Freitas (University of Madeira)

From johannesfaehndrich at hfpol-bw.de  Fri May  8 09:06:08 2026
From: johannesfaehndrich at hfpol-bw.de (johannesfaehndrich at hfpol-bw.de)
Date: Fri, 8 May 2026 09:06:08 +0200
Subject: [Event@CIG] CFP AWESOME-2026
Message-ID: <EFAC2C99-014E-495C-B04C-43EFB44C2E24@hfpol-bw.de>

=================================== First Call for Papers  =======================================

First Workshop on Agentic AI Systems, Welfare, Social Mechanisms, and Multi-Agent Ecosystems (AWESOME-2026)

Co-located with the 49th German Conference on Artificial Intelligence (KI 2026), August 11-14, 2026, Bremen, Germany


Location: Bremen, Germany
Deadline for submission: 8 June 2026
Submission link: https://easychair.org/conferences/?conf=awesome2026
Workshop: 11 August 2026
Website: awesome2026.f?hndrich.de

===========================================================================================


Aims and Scope
----------------------

Agentic systems are evolving from being mere tools toward so-called agentic AI systems, i.e., systems that, at least from a behavioral point of view, can be attributed a form of agency and social abilities. Such agents do not only react; they also pursue goals, make autonomous decisions, and adapt their behavior to changes in the environment and to other agents. A key question emerges: How should autonomous agents act in socio-technical environments, and how can such behavior be ensured? The shift from individual agents to advanced multi-agent systems, together with concrete examples, such as Moltbook (https://www.moltbook.com/), raises not only technical but also sociological, normative, and ethical issues: How should autonomous agents (inter-)act within human and institutional norms? What mechanisms ensure trust, transparency, and accountability? How do we design collective intelligence (e.g., with epistemic logic) that remains beneficial, is aligned with human values, and ensures societal welfare? This workshop aims to provide an interdisciplinary forum to discuss technological advances, theoretical foundations, and the societal implications of agentic AI systems, considering perspectives of computer science, sociology, philosophy, and (behavioral) game theory.

We welcome papers on the following and any related topics

* Logics for agentic systems/agency
- Support for the modeling and verification of agent decision-making processes and agency and their preferences.
- Formal logic for transparent agent behavior.

* Social Mechanisms, Social Epistemology, and Formal Ethics
- Mechanisms governing cooperation, coordination, and conflict resolution in agentic systems.
- Applications of social epistemology to distributed AI in order to, e.g., identify responsible knowledge experts, ensure fairness (w.r.t. knowledge distribution and access), or collective knowledge generation.
-Embedding agentic systems in societal institutions without undermining autonomy or democratic principles.
- Behavioral game theory.
- Formally well-founded approaches to AI alignment.
- Human-beneficial AI.

* Humanities-Oriented Artificial Intelligence
- Transferring hermeneutic, interpretive, and normative methods of the humanities to agentic AI.
- Formalizing philosophical concepts such as intentionality, meaning, and pragmatics in agent models.
- Influence of humanities-oriented AI research on the design of transparent and explainable systems.

* Causal, Dynamic, and Probabilistic-Relational Foundation Models
- Models of uncertainty in agentic systems.
- Models for robust explanations of agent decisions and their consequences.
- Relational models for describing social structures and interactions among agents.
- Information systems for supporting the training, evaluation, and continuous learning of foundation models.
- Adequate causality-based approaches to modeling fairness and/or responsibility.

Keynote
-----------

Ulrich Furbach, University of Koblenz, Germany


Publication
---------------

The proceedings will be made available in the CEUR Workshop proceedings series.


Workshop Organizers and Co-Chairs
-------------------------------------------------

Johannes F?hndrich, Hochschule f?r Polizei Baden-W?rttemberg, Germamy
?zg?r L?tf? ?z?ep, Universit?t Hamburg, Germany



Program Committe
-------------------------

Stefano Moretti, CNRS, LAMSADE, France
Kevin Baum, DFKI / CERTAIN, Germany
Alex Marin, University of Washington, USA
Roxana Radulescu, Utrecht University, NL
Jonas Karge, TU Dresden, Germany
Susanne Draheim, University of Applied Sciences (HAW), Hamburg, Germany
Marcel Gehrke, University of Hamburg, Germany
Ralf M?ller, University of Hamburg, Germany
Ulrich Furbach, University of Koblenz, Germany


Important Dates
----------------------

Deadline for Submission:    30 May 2026
Notification of Authors:        07 June 2026
Early bird registration:        08 June 2026
Camera-ready Paper:        30 June 2026
Workshop (half-day):        11 August 2026(tentative)  


Submission Details
--------------------------

Papers should be formatted in CEUR style (1-column style) without enabled header and footer. The author kit can be found at the URL http://awesome2026.f?hndrich.de/assets/CEURART.zip. The length of long papers should not exceed 15 pages (excluding references). The length of short papers should not exceed 7 pages. All papers must be written in English and submitted in PDF format via the link given above. One of the authors is expected to participate in the workshop and present their paper.

From nardelli at ing.uniroma2.it  Tue May  5 12:07:05 2026
From: nardelli at ing.uniroma2.it (Matteo Nardelli)
Date: Tue, 05 May 2026 03:07:05 -0700 (PDT)
Subject: [Event@CIG] [CfP] Workshop on Scalable Compute Continuum (WSCC)
 co-located with Euro-Par 2026
Message-ID: <69f9c149.050a0220.352603.3158@mx.google.com>

[Please accept our apologies if you receive multiple copies of this email]

**************************************************************************************************
WSCC 2026: Euro-Par 2026 International Workshop on Scalable Compute Continuum
Date: 24 or 25 August 2026
Location: Pisa, Italy
Workshop web page: https://wscc.di.unipi.it/ 
Euro-Par web page: https://2026.euro-par.org/
Submission site: https://easychair.org/conferences/?conf=europar2026workshops
**************************************************************************************************

* Call for Papers
The "Compute Continuum" paradigm is transforming how we manage the heterogeneity and dynamism of widespread computing resources. By seamlessly integrating resources across the edge, fog, and cloud ? and potentially extending towards emerging domains such as satellite-enabled infrastructures ? this paradigm enhances data locality, performance, availability, adaptability, energy and carbon efficiency, and other non-functional properties. This is made possible by overcoming resource fragmentation and segregation in tiers, allowing applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. Besides consolidated vertical and horizontal scaling patterns, the Compute Continuum also introduces fine-grained adaptation actions tailored to specific infrastructure components (e.g., optimizing energy consumption, offloading computation across heterogeneous links, or leveraging specialized hardware such as GPUs and FPGAs). These capabilities unlock significant benefits, including support for latency-sensitive applications, reduction of network bandwidth consumption, improved privacy protection, and the development of novel services across domains such as smart cities, healthcare, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed components will be executed.

At the same time, traditional deployment and execution assumptions are increasingly challenged by the dynamism and heterogeneity of continuum infrastructures. Lightweight execution environments and runtimes ? including unikernels, microVMs, and WebAssembly-based sandboxes ? are emerging as promising solutions to reduce overheads and enable fine-grained control over resource usage, while raising new challenges for orchestration, coordination, and scheduling across the continuum.

To fully harness the potential of the Compute Continuum, proactive, autonomous, and infrastructure-aware management is essential. This calls for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods.

In this landscape, the workshop is willing to attract contributions in the area of distributed systems with particular emphasis on support for geographically distributed platforms and autonomic features to deal with variable workloads and environmental events, and take the best of heterogeneous and distributed infrastructures.

A partial list of interesting topics of this workshop is the following:
- Scalable architectures and systems for the Compute Continuum
- Orchestration, deployment, and management of resources and applications in the Compute Continuum
- Programming models, languages and patterns for the Compute Continuum
- Compute Continuum performance modeling and analysis
- Function-as-a-Service and Backend-as-a-Service in the Compute Continuum
- Energy-efficient and carbon-aware solutions for sustainable Compute Continuum
- Lightweight virtualization and execution environments for the Compute Continuum (e.g., unikernels, microVMs, WebAssembly)
- AI-driven optimization and AI-related workloads in the Compute Continuum (e.g., federated, distributed, decentralized learning)
- Compute Continuum architectures for AI workloads
- Scalable applications for the Compute Continuum (e.g., IoT, microservices, serverless)
- Data processing and analytics in the Compute Continuum
- Digital Twins and industry applications in the Compute Continuum
- Prototypes and real-life experiments involving Compute Continuum
- Heterogeneous hardware acceleration and domain-specific architectures
- Workflows in the Compute Continuum
- Convergence and integration of HPC and Continuum platforms
- Resilience and fault-tolerant strategies for the Compute Continuum
- Benchmarks, reproducibility frameworks, and real-world experimental platforms


* Submission Instructions
The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and maximum of 12 pages.

* Journal Special Issue
WSCC 2026 is associated with a forthcoming Special Issue of Future Generation Computer Systems (Elsevier FGCS) on the topic "Lightweight and Sustainable Computing across the Cloud-Edge Continuum".

Authors of accepted WSCC papers will be encouraged to submit an extended version of their work to this Special Issue. The Special Issue is independent from the workshop, and all submissions, including extended versions of workshop papers, will undergo the standard journal peer-review process. The call for the Special Issue will be released soon, and further details will be made available on the workshop website.

* Important Workshop Dates
  May 15th, 2026         Paper submission deadline
  June 12th, 2025        Paper acceptance notifications
  July 10th, 2025        Camera-ready due

* Workshop Co-Chairs
 - Luiz Fernando Bittencourt, University of Campinas, Brazil
 - Valeria Cardellini,        University of Rome Tor Vergata, Italy
 - Matteo Nardelli,           Bank of Italy
 - Gabriele Russo Russo,      University of Rome Tor Vergata, Italy

We look forward to receiving your contributions!

From nsmattei at gmail.com  Fri May  8 01:00:19 2026
From: nsmattei at gmail.com (Nicholas Mattei)
Date: Thu, 7 May 2026 18:00:19 -0500
Subject: [Event@CIG] 2nd Call for Papers and Deadline Extension: Workshop on
 Social Choice and Learning Algorithms at IJCAI 2026
Message-ID: <CAKa3QmCkrTgFxcvxGjkMS=tzjmL5AKW0MZhsuhm0v_7eGaEbzQ@mail.gmail.com>

2nd Call for Papers and Deadline Extension: Workshop on Social Choice and
Learning Algorithms at IJCAI 2026

We are delighted to announce that the 3rd Workshop on Social Choice and
Learning Algorithms (SCaLA-26) will take place at IJCAI during August 2026
in Bremen, Germany. It will feature technical sessions, a keynote speaker,
and opportunities to forge collaborations between researchers working in
social choice and those working in machine learning.

The website and submission instructions can be found at the following link:
https://sites.google.com/view/scala26

The submission deadline is May 8, 2026 May 15th. We encourage submissions
of fully developed research projects, or extended abstracts representing
preliminary explorations of novel ideas. Submissions should include
components from both fields of social choice and machine learning (or
closely related topics).

Topics of interest include (but not limited to):

   -

   Computational social choice
   -

   Fair Division
   -

   Matching
   -

   Voting theory
   -

   Sortition
   -

   Clustering
   -

   Ensemble learning
   -

   Explainable ML
   -

   Language models
   -

   Learning preferences
   -

   PAC-learning


Examples of interesting connections between these topics include, but are
not at all limited to:

   -

   Using machine learning to learn new mechanisms for matching
   -

   Novel uses of social choice for ensemble learning
   -

   Exploring the application of fair division concepts to clustering
   problems, or vice-versa
   -

   Applying multi-winner voting concepts to multi-class classification tasks



Organizing Committee

Ben Armstrong

Saar Cohen

Nicholas Mattei

Zoi Terzopoulou


-- 
*Nicholas Mattei*
Associate Professor, Tulane University
Co-Director, Tulane Center For Community Engaged AI
<https://sse.tulane.edu/cs/ceai>
Co-Author, Computing and Technology Ethics: Engaging through Science
Fiction
<https://mitpress.mit.edu/9780262048064/computing-and-technology-ethics/>
nsmattei at tulane.edu | www.nickmattei.net
Stanley Thomas Hall | 305B
+1 504 247 1416
Department of Computer Science
Tulane University
6823 St Charles Ave
New Orleans, LA 70118

