From cdve.org at gmail.com  Tue Jun  9 20:49:38 2026
From: cdve.org at gmail.com (Cdve Org)
Date: Tue, 9 Jun 2026 11:49:38 -0700
Subject: [Event@CIG] CDVE2026 call for poster papers
Message-ID: <CACS1hrwmi4xBGQU23_BB-o83bX49+ee_bm7-6Narf0Q-=Nq+bw@mail.gmail.com>

The CDVE2026 poster paper submission is open. You are welcome to submit.

Submission deadline : June 30, 2026
Notification of acceptance: July 10, 2026

All the intermedia research results are welcome to submit within the area
of cooperative design, visualization, engineering and applications.
Contributions and ideas about AI applied to these areas are particularly
welcome.

What to submit: a poster paper abstract.  URL:
https://easychair.org/conferences/?conf=cdve2026
Poster papers will be displayed or presented in the conference but not
included in the proceedings book.

It is a great opportunity to have face to face interaction with the active
researchers.
-- 
-------------------
The 23rd International Conference on Cooperative Design, Visualization and
Engineering
Sept. 21-23, 2026, L?neburg, Germany
Email: cdve2026 at easychair.org <cdve2025 at easychair.org>
Web: https://www.cdve.org

From elena.yan at emse.fr  Mon Jun  8 13:35:15 2026
From: elena.yan at emse.fr (Elena YAN)
Date: Mon, 8 Jun 2026 13:35:15 +0200 (CEST)
Subject: [Event@CIG] Call for Participation 2026 Summer School on AI
 Technologies for Industry 4.0
Message-ID: <1083108328.19477508.1780918515016.JavaMail.zimbra@emse.fr>

Call for Participation 2026 Summer School on AI Technologies for Trust, Interoperability, Autonomy and Resilience in Industry 4.0 
[ https://ci.mines-stetienne.fr/ai4industry/2026/ | https://ci.mines-stetienne.fr/ai4industry/2026/ ] 

NO REGISTRATION FEE 

We invite PhD students, academics and researchers from academia and industry to apply for the Summer School on AI Technologies for Trust, Interoperability, Autonomy and Resilience in Industry 4.0 (henceforth AI4Industry). 

The summer school aims to provide participants with knowledge of state-of-the-art AI technologies and models to address the challenges of the data revolution and the automation of cognitive tasks for the development of a trustworthy and resilient Industry 4.0 (or Industry of the Future). The summer school is organized around concrete industrial problems structured as use cases. These use cases are intended to stimulate the discussion in academic institutions to solve real-world problems and to present innovative solutions to industrial stakeholders. 

During the summer school, participants attend lectures of AI technologies and carry out practical exercises dedicated to applying these technologies to solve real-world industrial problems. The summer school addresses various aspects of AI in Industry, with a special focus on: 



    * Web of Things 
    * Knowledge Graphs 
    * Multi-Agent Systems 
    * Trustworthy and Responsible AI 

Half of the summer school is dedicated to introducing the theoretical foundations of state-of-the-art AI technologies and models, while the other half is dedicated to a practical work in the style of a hackathon. 

Participants are encouraged to continue working on solving the proposed problems after the summer school with the support of the organizers and to submit their work to workshop and conferences. 

The [ https://ai4industry.wp.imt.fr/ | AI4Industry Summer School series ] website provide more general information of the summer school. 

Important Dates 


    * Application on a rolling basis 
        * On-site participation : July 03 , 2026 
        * Online participation : July 10 , 2026 
    * Notification : 1 week after application 
    * Summer School : July 20 -24, 2026 

Target Audience and Eligibility 
We welcome applications from PhD students, academics, and researchers from academia and industry who already have knowledge in at least one of the summer school topics and would like to broaden their perspective on applying their skills on real-world industrial problems. We also welcome researchers and industry partners who want to interact with a new research community and learn more about the latest advances in AI technologies. 

Application Process 
Please apply for the summer school by filling in the form available at [ https://portail.emse.fr/limesurvey2021/index.php/931242?lang=en | https://portail.emse.fr/limesurvey2021/index.php/931242?lang=en ] . 

NOTE : You are required to provide a r?sum?/CV and a brief motivation text explaining how the summer school will benefit your career. 

We are glad to announce that there is NO REGISTRATION FEE for participating to the 2026 AI4Industry Summer School. You are responsible for your travel arrangements and expenses. 

Thanks to our sponsors, we will cover the following items to those who are accepted to participate on-site in Saint-?tienne (France): 


    * Lunch and coffee breaks 
    * One Group Dinner 

For those attending on-site in Saint-?tienne, the [ https://www.me-mines-saint-etienne.org/ | Maison des ?l?ves ] offers special price for participants of the summer school. Please contact them for make your accommodation arrangements. 

Contact 
[ mailto:contact-ai4industry at listes.emse.fr | contact-ai4industry at listes.emse.fr ] 

From fmec2024 at gmail.com  Wed Jun 10 09:51:34 2026
From: fmec2024 at gmail.com (Jose Gonzales)
Date: Wed, 10 Jun 2026 09:51:34 +0200
Subject: [Event@CIG] CFP: NGEN-AI 2026 | The International Conference on
 Next-Generation AI Systems | Scopus Indexed | A Hybrid Event | Trento, Italy
Message-ID: <CA+ORbu6rgUEDebKCqwdkvaEKm=FsYB7fjnke+uWQ68XbQPu6Ow@mail.gmail.com>

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

Springer CCIS Proceedings

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     *Dates:* 1?4 September 2026
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

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

   - 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

   - 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

   - 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

   - 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

   - 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

   - 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

   - 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

   - 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

   - 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.

Workshops

NGEN-AI 2026 will also host a set of specialized workshops covering key
emerging areas in next-generation AI systems. Papers accepted in the
workshops will appear in the main conference proceedings:

   - *Security for AI Systems and AI for Systems Security (AISEC 2026)*
   - *AI for Industry (AI4I 2026)*
   - *GEN-AI and Software Engineering (GEN-SE 2026)*
   - *Agentic AI Workflows and Technologies (AAWT 2026)*

Important Dates

   - Paper submission deadline: *June 20, 2026*
   - Notification of acceptance: *July 20, 2026*
   - Camera-ready submission: *August 10, 2026*
   - Conference dates: *September 1?4, 2026* (Trento, Italy)

*All deadlines are in Anywhere on Earth (AoE) time.*
Submission Portal

Submissions are handled via EasyChair.

For submission guidelines and the submission link, please visit:
https://ngen-ai.org/index.php
Contact Information

For questions about submissions, please contact me:

   - fahed.alkhabbas at mau.se

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

From giovanni.stanco at unina.it  Thu Jun 11 11:35:48 2026
From: giovanni.stanco at unina.it (GIOVANNI STANCO)
Date: Thu, 11 Jun 2026 09:35:48 +0000
Subject: [Event@CIG] [CFP: AIMEH'26 - WiMob'26] Second International
 Workshop on AI for Mobile & Wireless Health: Advancing Explainability in
 the Future of Healthcare 2026
In-Reply-To: <PAWPR02MB99523F1E828CCEEE93FFAECC811B2@PAWPR02MB9952.eurprd02.prod.outlook.com>
References: <PAWPR02MB995273E78BC6C1C3F89F3E8081BC2@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99523972741E7A8A1C5329FC819CA@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952CB3E745E091FE35D63F5819CA@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99523392DDA11711FFC6EB05819CA@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99529BA8797EDAC96F3C30E98172A@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952132073B57C0580939D658172A@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <DB9PR02MB9945728860C603DA2C693616812A2@DB9PR02MB9945.eurprd02.prod.outlook.com>
 <PAWPR02MB99521AFEC19E3734535FF51081362@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99528818CE4C776461BBD7D581372@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995221ADA08E79FCF26D41BF81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952C22C336567F5859E38DF81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99527F76A0A76AF4EEC6615781082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952D1BB1AEF657D8650DB2681082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99523350FB49B7B068943CEA81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995239E9E007CF812A7622BC81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952CDD5F00B920AEA4F59E481082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952CD83BB808A9E7CF3EE2A81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952BF66CCE9D3370AE5ADE081082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995223F0FB6DA209EFFAAB6881082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995298AFF29A949B0E6186EF81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99525735B9754A968EA0CC1C81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995289B26C8D9DF06952E08B81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99527FB2CAE1352B6FE3B9F281082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99523858FF7D02DEC4BD6BEF81082@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952B83F11F81321022DB435811A2@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB9952AE23A417C42D1F18EC31811A2@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB995241F103B445AE31B65346811A2@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99521C44C4812B87C471ED9A811B2@PAWPR02MB9952.eurprd02.prod.outlook.com>
 <PAWPR02MB99523F1E828CCEEE93FFAECC811B2@PAWPR02MB9952.eurprd02.prod.outlook.com>
Message-ID: <PAWPR02MB99524174E3E44B2A0E233334811B2@PAWPR02MB9952.eurprd02.prod.outlook.com>

Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare 2026 (AIMEH'26)

Joint with the 22nd International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2026) Avignon, France // 14 - 16 October 2026

https://sites.google.com/view/aimeh2026/home-page<%20https:/sites.google.com/view/aimeh2026/home-page%0d>

Call for Papers

The Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare 2026 (AIMEH'26) invites high-quality submissions of papers describing original and unpublished research results regarding the use of AI and XAI in next-gen wireless and mobile networks in the context of healthcare.


TOPICS OF INTEREST

Topics of interest include, but are not limited to:

  *   5G Network architectures and protocols for medical applications
  *   Wi-Fi adoption in healthcare IoT and real-time medical data transmission
  *   AI adoption in healthcare and networks
  *   Network advancements in telemedicine
  *   5G, Wi-Fi 6, and AI for Remote Patient Monitoring
  *   AI and ML in data processing, storage, and analytics
  *   AI for Secure and Intelligent Data Transmission for Healthcare
  *   AI-Driven Network Optimization for Healthcare Applications
  *   Interoperability and AI in Smart Healthcare Networks
  *   Privacy-Preserving AI in Networks for Healthcare
  *   Regulatory and Ethical Considerations for AI in Healthcare Networks
  *   Cybersecurity Challenges in AI-Powered Healthcare Systems
  *   Machine Learning for Anomaly Detection in Medical and Network Data
  *   Smart resource allocation for critical healthcare services
  *   Security and Privacy in Wireless Networks for Healthcare
  *   eXplainable AI (XAI) in Networks for Healthcare
  *   XAI for Trustworthy Medical Decision-Making
  *   AI-Powered Digital Twins for Healthcare and Network Optimization
  *   Federated Learning in Healthcare
  *   Advancements in wireless networks for Federated Learning

SUBMISSION GUIDELINES

All papers accepted by a workshop will be published in the WiMob 2026 Proceedings and will be sent for inclusion in the IEEE eXplore digital library.
Workshop papers must follow the guidelines and size limit as provided in the "author guidelines" on the WiMob website: http://www.wimob.org/wimob2026/guidelines.php
The submission and revision process will be managed through the EDAS system (submission link: https://edas.info/newPaper.php?c=35176).

IMPORTANT DATES


  *   Paper submission deadline for the workshop: July 15, 2026
  *   Paper acceptance for the workshop: August 15, 2026
  *   Camera ready & Author Registration: September 1, 2026
  *   Workshop: October 14, 2026

We look forward to your valuable contributions and hope to see you at the workshop.

Best regards,
Stefania Zinno and Giovanni Stanco
Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare (AIMEH'26)


From guiotto.mattia at spes.uniud.it  Thu Jun 11 10:39:40 2026
From: guiotto.mattia at spes.uniud.it (Mattia Guiotto)
Date: Thu, 11 Jun 2026 08:39:40 +0000
Subject: [Event@CIG] Deadline Extension - ICTCS'26 - 27th Italian Conference
 on Theoretical Computer Science
Message-ID: <PAXPR03MB7981262D228153F3F0814065C01B2@PAXPR03MB7981.eurprd03.prod.outlook.com>

*** CALL FOR PAPERS ***

ICTCS 2026 ? 27th Italian Conference on Theoretical Computer Science
September 7?9, 2026
Udine, Italy
Conference website: https://ictcs2026.uniud.it/
Submission link: https://easychair.org/conferences/?conf=ictcs2026

---

SCOPE

The Italian Conference on Theoretical Computer Science (ICTCS) is the
conference of the Italian Chapter of the European Association for
Theoretical Computer Science (EATCS).

The aim of ICTCS is to foster cross-fertilization of ideas across
different areas of theoretical computer science and to provide an
environment where junior researchers and PhD students can interact
with senior researchers.

Researchers of all nationalities are invited to submit contributions
in any area of theoretical computer science.

TOPICS

Topics of interest include, but are not limited to:

Algorithms, argumentation, automata theory, complexity theory,
computational logic, computational social choice, concurrency theory,
cryptography, discrete mathematics, distributed computing,
dynamical systems, formal methods, game theory, graph theory,
knowledge representation, languages, model checking, multi-agent
systems, process algebras, quantum computing, reasoning, rewriting
systems, security and trust, search and planning, semantics,
specification and verification, symbolic AI, systems biology,
theorem proving, and type theory.

---

SPECIAL TRACKS

ICTCS 2026 includes three special tracks devoted to significant
application domains of theoretical computer science. The aim is to
solicit contributions that, while not primarily situated within
theoretical computer science, address substantive theoretical questions
emerging from applied research problems.
The three special tracks are as follows:


Cyber-Physical Systems: (chair Alessandro Cimatti)
Formal modeling, verification, synthesis, and analysis techniques for
systems integrating computational and physical processes, including
real-time, embedded, and safety-critical systems.

Quantum Computing: (chair Ugo Dal Lago)
Theoretical foundations of quantum computation, including quantum
algorithms, quantum complexity theory, formal models of quantum
computation, verification of quantum systems, and quantum programming
languages.

Bioinformatics: (chair Paola Bonizzoni)
Algorithmic, logical, and mathematical methods for computational
biology, including sequence analysis, biological networks, systems
biology modeling, and formal approaches to molecular and cellular
processes.

---

SUBMISSION

Two types of contributions (in English, CEUR-WS format) are solicited.

Regular papers:
Up to 12 pages (bibliography excluded), presenting original results
not published or submitted elsewhere. Authors may include an appendix;
reviewers are not required to consider it.

Communications:
Up to 5 pages (bibliography excluded), suitable for extended abstracts
of published or submitted papers, ongoing research reports, and PhD
thesis or project overviews.

Submissions must be in PDF format via EasyChair:
https://easychair.org/conferences/?conf=ictcs2026

All accepted original contributions (regular papers and communications
of at least 5 pages including bibliography) will be published on
CEUR-WS.org unless the authors opt out.

At least one author of each accepted paper must register and present
the contribution at the conference.

---

SPECIAL ISSUE

Authors of the best papers presented at the conference will be invited
to submit an extended version to a special issue of a Scopus-indexed
journal. Invitations will be sent after the conference. The special
issue is expected to appear by the end of 2027.

---

INVITED SPEAKERS

Parosh Aziz Abdulla -  Uppsala University, Sweden
Nadia Pisanti - University of Pisa, Italy

---

IMPORTANT DATES (AoE)

Abstract Submission deadline (extended): June 20, 2026
Paper Submission deadline (extended):????? June 28, 2026
Notification:               ???????? July 21, 2026
Camera-ready:               ???????? August 5, 2026
Conference:                 ???????? September 7?9, 2026

?

REGISTRATION FEES

Early registration fees (deadline August 5th, 2026):
Junior (non-faculty members: PhD students, post-docs, etc.): 290 EUR
Senior (faculty members: professors and researchers):        350 EUR
Late registration fees:
Junior (non-faculty members: PhD students, post-docs, etc.): 350 EUR
Senior (faculty members: professors and researchers):        420 EUR

---

PROGRAM COMMITTEE

Mario Alviano - University of Calabria
Marcella Anselmo - University of Salerno
Alessandro Artale - Free University of Bolzano-Bozen
Marco Bernardo - University of Urbino?????
Filippo?????Bonchi - University of Pisa
Michele?????Boreale?????- University of Firenze
Linda Brodo - University of Sassari
Sara Brunetti - University of Siena
Giuseppa Castiglione - University of Palermo
Alessandro Cimatti - Fondazione Bruno Kessler
Ugo Dal Lago - University of Bologna and INRIA Sophia Antipolis
Irene Finocchi - LUISS Guido Carli University
Francesco Gavazzo - University of Pisa
Zsuzsanna Liptak - University of Verona
Maria Madonia - University of Catania
Carlo Mereghetti - University of Milano Statale
Fabio Mogavero - University of Napoli Federico II
Alfredo?????Navarra - University of Perugia
Roberto?????Pagliarini - University of Udine
Francesco Pasquale - University of Roma Tor Vergata
Adriano?????Peron - University of Trieste
Michele?????Pinna - University of Cagliari
Matteo Pradella???- Politecnico di Milano?
Guido Proietti - University of L'Aquila
Paola Quaglia - University of Trento
Barbara?????Re - University of Camerino
Sabina Rossi - University of Venice Ca' Foscari
Luca Roversi - University of Torino
Francesca Scozzari - University of Chieti-Pescara
Simone Tini - Univerisity of Insubria
Cosimo Vinci - University of Salento
Enea Zaffanella???- University of Parma
Paolo Zuliani - University of Roma La Sapienza

---

CONFERENCE CHAIRS

Luca Geatti (University of Udine)
Carla Piazza (University of Udine)

---

ORGANISING COMMITTEE

Andrea Brunello (University of Udine)
Dario Della Monica (University of Udine)
Mattia Guiotto (University of Udine)
Angelo Matteo (University of Udine)
Michele Mignani (University of Udine)
Stefano Pessotto (University of Udine)
Gabriele Puppis (University of Udine)
Nicola Saccomanno (University of Udine)

---

SPONSOR

Danieli Automation spa ?(Gold Sponsor)
BEANTECH Srl ???????????(Silver Sponsor)

