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