COPA 2025 Call for Papers, Workshops & Tutorials

2025 Concurrent Processes Architectures (COPA) and Embedded Systems IN PERSON/LIVE VIRTUAL Hybrid Conference San Diego, California USA

COPA 2025 CALL FOR PAPERS SUBMISSIONS OPEN NOW: https://easychair.org/cfp/COPA2025

Format Guidelines: Instructions For Authors (easychair.org)

Conference Registration Open NOW: All Attendees(and Authors)

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

April 20-24, 2025

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

***April 20, 2025***

San Diego, California USA

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

Hotel Del Coronado Island San Diego, California
  • 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 & Lloyd’s of London

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 Lloyd’s of London

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

Ø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

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

Keynote: Prof. Dr. Lindsay O’Brien Quarrie, National University, Chief Engineering and Technical Officer (CETO) Space Sciences Corporation, FRAISOS, CHIPACT

 “Real Intelligence” (RI) the juxtaposition between AI, including new developments in Artificial General Intelligence (AGI), “Agentic AI” and physical reality in the new dawn of Practical Artificial Intelligence and Quantum Computing. Opportunities for Communicating Sequential Processes (CSP), transputers and Concurrent Systems Design for Guardrails, Safety, Cyberdefense, Performance, Reliability in Emerging Technologies and Embedded Systems. Presents a review of practical AI systems, implications and their applications in use, outcomes and opportunities with future context and potential ways to survive rouge, flawed or compromised computing systems including but not limited to using a CSP perspective especially in critical applications…..A discussion.

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

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

Format Guidelines: Instructions For Authors (easychair.org)

Deadlines


Paper submissions due before:

Workshops, Tutorials and Fringe  submission due by:

April 20, 2025

April 20 2025
Notification of acceptance, by:April 20, 2025
Final revised Camera Ready Copy (CRC) due by:April 20, 2025
Author registration, late submissions:April 20, 2025
Conference Dates:April 20 2025, Sunday:
2:00 PM-6:30 PM GMT
3:00 PM-7:30 PM London, UK,
4:00 PM-8:30 PM Copenhagen, Denmark; Paris, France
7:30 PM-12:00 AM New Delhi, India
April 21 2025, Monday:
2:00 PM-5:30 PM GMT
3:00 PM-6:30 PM London, UK
4:00 PM-7:30 PM Copenhagen, Denmark; Paris, France
7:30 PM-11:00 PM New Delhi, India
April 22 2025, Tuesday
2:00 PM-5:00 PM GMT
3:00 PM-6:00 PM London, UK,
4:00 PM-7:00 PM Copenhagen, Denmark; Paris, France
7:30 PM-10:30 PM New Delhi, India
April 23 2025, Wednesday
2:00 PM-5:00 PM GMT
3:00 PM-6:00 PM London, UK,
4:00 PM-7:00 PM Copenhagen, Denmark; Paris, France
7:30 PM-10:30 PM New Delhi, India

April 24 2025, Thursday
2:00 PM-5:00 PM GMT
3:00 PM-6:00 PM London, UK,
4:00 PM-7:00 PM Copenhagen, Denmark; Paris, France
7:30 PM-10:30 PM New Delhi, India

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

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

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.