About us

COPA 2026 explores Concurrent Processes Architectures and Embedded Systems, featuring research on hardware-software co-design, reconfigurable computing, formal verification, parallel computing, and AI applications in concurrent systems. The conference will be held at University College, Oxford University, with proceedings published in high-impact journals.

Important Dates

Fri, Jun 19, 2026
Abstract registration deadline
Sun, Jun 21, 2026
Submission deadline

Call For Paper

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

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: Full papers (research and/or application, long or short papers) and Posters (related to papers, fringe or new topics). Workshops and Tutorials are also welcome.

Committee

Program Committee

Dr. Jeremy Martin

Senior Research Fellow

University of Buckingham

Dr. Lindsay O’Brien Quarrie

2023 Delphi Award Professor for Academic Excellence

Senior Member IEEE, 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

Dr. Lindsay O’Brien Quarrie

Program Chair

Senior Member IEEE, 2023 Delphi Award Professor for Academic Excellence National University & CETO Space Sciences Corporation

Dr. Jeremy Martin

Program Co-Chair

Senior Research Fellow, University of Buckingham

Speakers

Prof. Dr. Bill Roscoe

Keynote Speaker

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