copa

2026 Concurrent Processes Architectures (COPA) and Embedded Systems IN PERSON/LIVE VIRTUAL Hybrid Conference

University College, Oxford, UK

COPA 2026 CALL FOR PAPERS SUBMISSIONS OPEN NOW: https://easychair.org/cfp/COPA2026

Format Guidelines: Instructions For Authors (easychair.org)

Conference Registration Open NOW: All Attendees(and Authors)

https://buy.stripe.com/28oeX02VQbzv4RG144

June 22-25, 2026

Late Papers, Workshops, Tutorials, Fringe Submissions and Author Registrations due by

***June 21, 2026***

Oxford, UK

Sponsored by ChipAct Non-Profit Corporation: http://chipact.org/

Organizing Committee

Program Chair: Dr. Lindsay O’Brien Quarrie (Senior Member IEEE), 2023 Delphi Award Professor for Academic Excellence National University, 2023 Aerospace Innovator of the Year, US Department of Commerce MBDA, NM & CETO Space Sciences Corporation

Program Co-Chair: Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham & Lloyd’s of London

Program Committee

Dr. Bill Roscoe, Retired Professor Head of Oxford University Department of Computer Science and Director of University of Oxford Blockchain Research Center. Expert on Practical Verification

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, 2023 Aerospace Innovator of the Year, US Department of Commerce MBDA, NM & 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

Technical Chairs

Dr. Lawrence John Dickson, Chief Scientist, Space Sciences Corporation Workshops & Fringes

Dr. Lindsay O’Brien Quarrie, National University & Space Sciences Corporation, Technical Co-chair, Papers

Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham

Dr. Carl-Johannes Johnsen, Professor Post-Doc Department of Computer Science, University of Copenhagen

Herman Roebbers, Advanced Expert Unit Embedded SW 5 Division of Embedded & Systems CapGemini Engineering

*****************************************************

Keynote: Prof. Dr. Bill Roscoe, Retired Professor Head of Oxford University Department of Computer Science and Director of University of Oxford Blockchain Research Center. Expert on Practical Verification

Dr. Roscoe will discuss his new book on Practical Verification and the Future of Blockchain and AI.

****************************************************

Submission via EasyChair: https://easychair.org/cfp/COPA2026

Format Guidelines: Instructions For Authors (easychair.org)

Deadlines

Final paper copy must be agreed with your editor by the end of day on June 21, 2026.
In order for your CRC to appear in the proceedings, at least one author must register for the conference by June 21, 2026

Invited Topics research and/or application, long or short papers , Workshops and Tutorials are welcome in the following areas:

A. Practical Verification

B. Applications of CSP and Concurrency for more tractable Quantum Computing
C. Applications of Race-Condition-Robust Hardware-Software Equivalence in *n*x to IoT
D. Applications of Synchronous Message Exchange (SME) including AI on FPGAs, Transputer Links to OS
E. Applications, Methods and Modeling for Countering Rogue AI, Guardrails, Agentic AI
F. Applications in Cyberphysical Systems and Techniques for maintaining functionality despite Hardware-Software Version Skew

G. Reliable AI Useful Occam Code Generator (new Large Language Model Development to Accommodate more reliable occam code)

H. Tools and languages for hardware-software co-design;
I. Hardware and software approaches to reconfigurable computing;
J. Modeling and model-driven development of concurrent software architectures;
K. Verification and analysis of concurrent systems;
L. Nested formal verification techniques.
M. Massively parallel computing, supercomputing architectures using concurrent processes
N. Applications of concurrent processes including to IoT, 5G and future 6G, FutureG hardware/software requirements
O. Emphasis both software and hardware (IoT), including hardware-software equivalence like that of occam and the Transputer

P. Artificial Intelligence, Machine Learning in Concurrent Systems

Advanced Special Emphasis Related Topics of Critical Interest include:

-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

Rules for Presentations: Includes, Keynote up to 1 hour, Papers 30-45 minutes; Workshops/Fringes up to 1 hour.

Publications

Kalpa Publications in Computing, IEEE Computer Society’s Conference Publishing Services (CPS), IEEE Xplore Digital Library, IOS, Scopus or other high impact publication or ChipAct Press.

Previous COPA 2024 Proceedings published in Kalpa Publications in Computing

https://easychair.org/publications/volume/COPA_2024

Previous COPA 2023 Proceedings published in Kalpa Publications in Computing

https://easychair.org/publications/volume/COPA_2023

Previous IEEE COPA 2021 Proceedings published in IEEE Xplore Digital Library

https://ieeexplore.ieee.org/xpl/conhome/9541263/proceeding

https://www.computer.org/csdl/proceedings/copa/2021/1x8iKzhe70A

Rules for Presentation: Includes, Keynote up to 1 1/2 hours, Papers 1 hour or more if needed. Workshops/Posters/other up to 1 hour or more if needed.