All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

• Full papers

Invited Topics research and/or application, long or short papers , Workshops and Tutorials are welcome in the following areas:-Tools and languages for hardware-software co-design;-Hardware and software approaches to reconfigurable computing;-Synchronous Message Exchange-Modeling and model-driven development of concurrent software architectures;-Verification and analysis of concurrent systems;-Nested formal verification techniques.-Massively parallel computing, supercomputing architectures using concurrent processes-Applications of concurrent processes including to IoT, 5G and future 6G hardware/software requirements-Emphasis both software and hardware (IoT), including hardware-software equivalence like that of occam and the Transputer.

-Advances in Blockchain and AI

-Artificial Intelligence, Machine Learning in Concurrent Systems

Paper Format guidelines and template: https://easychair.org/publications/for_authors

• Posters

Posters related to papers, fringe or new topics

List of Topics

• -Tools and languages for hardware-software co-design;
• -Hardware and software approaches to reconfigurable computing;
• -Synchronous Message Exchange-Modeling and model-driven development of concurrent software architectures;
• -Verification and analysis of concurrent systems;-Nested formal verification techniques.
• -Massively parallel computing, supercomputing architectures using concurrent processes
• -Applications of concurrent processes including to IoT, 5G and future 6G hardware/software requirements
• -Emphasis both software and hardware (IoT), including hardware-software equivalence like that of occam and the Transputer
• -Advances in Blockchain and AI Applications
• -Advances in AI guardrails and concurrent processes
• -Advances in Formal Methods, AI program transformation and formula translations
• -LEAN as a Model checker for Trusted AI
• -Very Low Power Efficient AI semiconductors, Hardware and Software Techniques
• -Disconnected Stand Alone AI and Practical Applications

Committees

Program Committee

• Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham 
• Dr. Lindsay O’Brien Quarrie (Senior Member IEEE), 2023 Delphi Award Professor for Academic Excellence National University & CETO Space Sciences Corporation
• Dr. Brian Vinter, Vice Dean, Research Aarhus University, Aarhus Denmark; formerly Head of High-Performance Computing and Professor of X-Ray and Neutron Science Neils Bohr Institute, University of Copenhagen  
• Dr. Lawrence John Dickson, Chief Scientist, Space Sciences Corporation 
• Øyvind Teig, External examiner at Norwegian University of Science and Technology (NTNU), Department of Engineering Cybernetics and retired from being a senior development engineer at Autronica Fire & Security
• Herman Roebbers, Advanced Expert Unit Embedded SW 5 Division of Embedded & Systems CapGemini Engineering
• Robert Montgomery Fryer, Senior Principal Engineer, Space Sciences Corporation

Organizing committee

• Program Chair: Dr. Lindsay O’Brien Quarrie (Senior Member IEEE), 2023 Delphi Award Professor for Academic Excellence National University & CETO Space Sciences Corporation
• Program Co-Chair: Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham 

Invited Speakers

• Keynote: Prof. Dr. Bill Roscoe,

• New Book on Practical Verification and the Future of Blockchain and AI

• Publication

COPA 2026 proceedings will be published in Kalpa Publications in Computing, IEEE eXplore, IOS Press, Scopus or other high impact journal

Venue

The conference will be held at University College at Oxford University, UK

Contact

All questions about submissions should be emailed to lindsay@chipact.org or lindsay@spacesciencescorp.com

Sponsors

ChipAct non-profit Corporation http://chipact.org/