2025 Concurrent Processes Architectures and Embedded Systems
Hybrid Virtual Conference
April 21-24, 2025
SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning COPA 2025 CONFERENCE PROGRAM
April 21-24, 2025
Registration Open link (All Attendees including Authors)
https://buy.stripe.com/28oeX02VQbzv4RG144
Days: Monday April 21, Monday April 21, Tuesday April 22, Wednesday April 23, Thursday April 24
Monday April 21: DAY 1 BEGINS
08:30-9:30 KEYNOTE: “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. Guardrails and Opportunities using Communicating Sequential Processes (CSP).
Prof. Dr. Lindsay O’Brien Quarrie, National University, Chief Engineering and Technical Officer (CETO) Space Sciences Corporation, FRAISOS, CHIPACT
Session 1: Chair, Prof. Dr. Lindsay O. Quarrie
9:35-10:05 Methods for Modeling, Detecting and Containment of Rogue AI
10:05-10:35 A Cross-Layer Threat Model for Automated AI Accelerator Design Platforms: Leveraging Hardware Trojans and Bit-Level Parameter Attacks, Apeksha Bhuekar.
Session 2: Chair, Dr. Jeremy Martin, GSK, University of Buckingham Senior Research Fellow
10:40-11:00 OPEN DISCUSSION ON AI GUARDRAILS & TAKEAWAYS
Session 3 Chair: Dr. Lawrence J. Dickson, Space Sciences Corporation, Oyvind Teig,
11:00-11:30 Session 3: FRINGE TALKS & DEMO
11:00-11:40 Can gears that engage only so good make the machine run? Øyvind Teig, Trondheim, Norway
END OF DAY 1
Tuesday, April 22: DAY 2 BEGINS
Session 4 Chair: Herman Roebbers, CapGemini
08:00-12:00 Session 4: WORKSHOP: ASIC & FPGAs Applications and Increased Power Utilization in the Age of Artificial Intelligence.
08:00-9:00 Optimizing Ultra Low Power Consumption in Embedded Systems, Herman Roebbers, CapGemini
Session 5 Chair: Dr. Bill Roscoe, University of Oxford, Emeritus Professor
09:05-10:05 Modelling and analysing a simple blockchain using CSP and FDR
10:10-10:40 BlockShare: A Privacy-Preserving Blockchain System for Secure Data Sharing, Apeksha Bhuekar.
10:45-11:15 Modelling Serendipity in a Computational Context, Krishna Kumar.
12:15-1:00 Eye-Tracking Insights into Human-Robot Interaction: Assessing Cognitive Mechanisms and Performance Impacts, Venkat Reddy Annapureddy
END OF DAY 2
Wednesday, April 23: DAY 3 BEGINS
Session 6: Chair: Dr. Lindsay O’Brien Quarrie, Robert Montgomery Fryer, Dr. Lawrence John Dickson, Space Sciences Corporation
8:00-9:00 WORKSHOP
8:00-9:00 Modelling and analysing a simple blockchain using CSP and FDR (Live Demo) Dr. Bill Roscoe, University of Oxford, Emeritus Professor
9:00-10:00 WORKSHOP
9:00-10:00 Link input in Alternation Implementation details in occam Pseudocode (with credits to Roger Shepherd) Dr. Lawrence J. Dickson , Space Sciences Corporation
10:00-10:30 Coexistence of LTE-U and WiFi in 5GHz: Challenges and Solutions, Sneha Vinayak Bhambure.
10:30-11:00 Enhancing URLLC Performance in 5G Networks Through Hybrid ARQ Feedback for eMBB and URLLC Multiplexing in Grant-Free Resources, Sneha Vinayak Bhambure.
11:00-11:30 Enhancing MIMO Detection Efficiency with ScNet: A Neural Network Approach
11:30-12:00 Jovial: Astronomical Data Analysis Cloud Service, Sufiyan Ahmed Mohammed.
1:00-1:30 Cloud-Driven Drone Logistics: Optimizing Package Delivery with Real-Time Monitoring and Scalable Fleet Management, Venkat Reddy Annapureddy
1:30-2:00 Evaluating the Effectiveness of the Mining Android Sandbox (MAS) Approach for Malicious App Detection in Large Datasets, Apeksha Bhuekar.
2:00-2:30 TREX: A Visualization Tool for Linear Regression Experiments to Support Novice Programmers, Jyoti Singh
2:30-3:00 VMPlaceS: Enhancing Virtual Machine Placement through Advanced Simulation Frameworks, Apeksha Bhuekar.
3:00-3:30 Tighter Privacy Auditing of Differentially Private Stochastic Gradient Descent in the Hidden State Threat Model, Apeksha Bhuekar.
END OF DAY 3
Thursday, April 24: DAY 4 WORKSHOP
8:00 -8:30 OPEN DISCUSSION: AI-OCCAM TRANSLATIONS AND THE LAWS OF OCCAM,
8:30-9:00 SEEDBANK: DISCONNECTED STAND ALONE ON-PREM AI
10:00-11:00 Session 8: Program Committee Plan Meeting for COPA 2026
CHAIR: Lindsay O’Brien Quarrie, Bill Roscoe
END OF DAY 4
*******************END OF COPA 2025****************
COPA 2024 PAST CONFERENCE PROGRAM
DAY 1 Agenda (TIMES ARE USA CALIFORNIA PACIFIC TIME ZONE)
OPENING REMARKS: Dr. Lindsay O’Brien Quarrie, COPA 2024 Part I Chair
07:00-8:30 AM JULY 8, 2024
KEYNOTE, Fundamentals of Blockchain, a Model of Concurrency and Understanding Decentralised Systems
Keynote: Prof. William Roscoe, University of Oxford (Ret.), Cocotec
Fundamentals of Blockchain, a model of Concurrency and Understanding Decentralised System. The state of the art in the CSP style of verification, and the “Cocotec” success story.
Includes: “Challenges and triumphs of verification in the CSP style” Authors Andrew William Roscoe and Pedro Antonino, University of Oxford
” I have been doing practical verification in CSP, its tools and models for 40 years. The main challenge has been packaging this for the industrial engineer. I will discuss how this has been solved in the Coco System www.cocotec.io, which is used for object-based development of massive systems in industry. Separately I will show how I have used it to underpin a highly innovative blockchain consensus protocol by using it to model decentralized, partly malevolent systems.”
Q&A: 15 minutes
Session 1: Chair, Prof. Dr. Lindsay O. Quarrie, Space Sciences Corporation
8:45-9:30 AM Modeling a GuardRail for an AI Control System Using CSP, Author Dr. Jeremy Martin, Lloyds London University of Buckingham Senior Research Fellow
Q&A: 15 minutes
9:45-10:30 AM Panel Open Discussion: Methods for Modeling, Detecting and Containment of Rogue AI
Motivations, Techniques, and the Future
Session 2: Chair, Dr. Jeremy Martin, Lloyds of London, University of Buckingham Senior Research Fellow
10:30-11:20 AM Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?
11:20 AM-11:50 AM Q&A and Panel Open Discussion: Applications of CSP and Concurrency to more tractable Modeling of Quantum Computing, Quantum and the Future of Blockchain
11:50 AM-12:30 PM OPEN FRINGE SESSION:
Chairs: Dr. Lawrence J. Dickson, Space Sciences Corporation; Øyvind Teig External examiner at Norwegian University of Science and Technology (NTNU), Robert Montgomery Fryer, Space Sciences Corporation
AI to OCCAM Translators and Large Language Models (LLMs), Occam Code Generators, Applications in Cyberphysical Systems, Practical Verification and other topics welcome
12: 30 PM Pacific Time END OF DAY 1
DAY 2 Agenda
- Session 3: Approaches to Eliminating Hardware-Software Version Skew to Allow Continuity of Form and Function without Obsolescence
Chair: Dr. Lawrence John Dickson, Space Sciences Corporation
7:00 -7:45 AM Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example, Author
Dr. Lawrence J. Dickson, Space Sciences Corporation
Q&A 15 Minutes
8:00-8:45 AM Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs. Author Vijaya Laxmi Pachva
Q&A 15 Minutes
9:00-9:45 AM Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity, Osei Wusu Brempong Jnr, Junaid Hussain Muzamal, Okechukwu Clement Agomuo and Zohaib Khan
Q&A 15 Minutes
- Session 4: Emerging trends in parallel processing/AI architectures, Energy, performance and tradeoffs
Chair: Herman Roebbers, Lead Embedded Software Engineer | Unit Embedded SW 5 | Division Embedded & Systems Cap Gemini Engineering
10:00-10:45 AM Presentation and Open Discussion, AI Energy consumption and other architecture impacts
Q&A 15 Minutes
11:00-11:45 AM Building Towards a Distributed, Dynamic Solution to the Santa Problem. Author, Mahmood Mohammed Seoud and David Gray Marchant
Q&A 15 Minutes
12:00 PM END COPA 2024 Part I DAY 2
DAY 3 Agenda
- Current and Upcoming Research Opportunities & Collaborations
07:00-9:00 AM Session 4: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing
9:00-10:00 AM Session 5: Program Committee Plan Meeting for COPA 2025
CHAIR: Lindsay Quarrie, Lawrence Dickson, Bill Roscoe
10:00 AM END OF DAY 3
****************END COPA 2024***********************************
COPA 2023 PAST CONFERENCE PROGRAM
Days: Monday, September 25, Tuesday September 26, Wednesday September 27
Monday, September 25th: DAY 1
Session 1: Chair, Dr. Jeremy Martin
07:00-8:30 KEYNOTE, Concurrency and Models of Abstraction: Past, Present and Future
Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham Lloyd’s of London
8:30-9:30 Accelerating Scientific and Engineering Applications through Cloud-based GPU Computing
Dipesh Rawat, Department of Information Technology, Guru Gobind Singh Indraprastha University, New Delhi, India
Kopal Chakravarty, Department of Computer Science
LNM Institute of Information Technology, Jaipur, India
Neelaksh Singh, Department of Computer Science
Birla Institute of Technology, Mesra, Jharkhand, India
Vijaya Laxmi Pachva, Department of Computer Science
Kakatiya University, Warangal, India
Rakshit Anand Bhootham, Department of Computer Science
Jawaharlal Nehru Technological University, Hyderabad, India
Session 2 Chair: Dr. Lawrence J. Dickson
09:30-11:30 Session 2: FRINGE TALKS
Race-Condition-Robust Hardware-Software Equivalence in *n*x
Dr. Lawrence J. Dickson, Space Sciences Corporation
END OF DAY 1
Tuesday, September 26th: DAY 2
Session 3 Chair: Dr. Carl-Johannes Johnsen
07:00-8:00 Slurm Scheduling From Rules-Based Systems
Mark Blomqvist and David Marchant, Department of Computer Science,
University of Copenhagen, Copenhagen, Denmark
08:00-9:00 IS IT FEASIBLE TO IDENTIFY OUTPUTS OF AN ARBITRARY PROCESS AT RUN TIME WITHOUT EXCESSIVELY SLOWING DOWN WORKFLOWS?
1st Philip Shun B. Jensen, Department of Computer Science
University of Copenhagen, Virum, Denmark
2nd Iben Lilholm, 3rd David Marchant, Department of Computer Science
University of Copenhagen, Copenhagen, Denmark
09:00-10:00 Evaluation of FPGA Acceleration of Neural Networks?
1st Emil Stevnsborg, 2nd Sture Oksholm, 3rd Carl-Johannes Johnsen
Department of Computer Science, University of Copenhagen, Denmark
Session 4 Chair: Dr. Lindsay O’Brien Quarrie
10:00-11:00 FRINGE WORKSHOP DEMO MODE: Race-Condition-Robust Hardware-Software Equivalence in *n*x
Dr. Lindsay O’Brien Quarrie, National University, Space Sciences Corporation
Dr. Lawrence J. Dickson, Space Sciences Corporation
END OF DAY 2
Wednesday, September 27th: DAY 3
9:00-10:00 Session 6: Program Committee Plan Meeting for COPA 2024
CHAIR: Lindsay O Quarrie, Lawrence J Dickson
END OF DAY 3
IEEE COPA 2021 PAST CONFERENCE PROGRAM:
Days: Sunday, April 25th Monday, April 26th Tuesday, April 27th Wednesday, April 28th
Sunday, April 25th
07:00-09:00 Session 1: FRINGE TALKS
CHAIR: Kenneth Skovhede,
| 07:00 | Øyvind Teig and Lawrence John DicksonFRINGE: Torus heat equations to get dizzy from. Hooping with xC (abstract)PRESENTER: Øyvind Teig |
| 08:00 | Robert Fryer, Lindsay Quarrie and Lawrence DicksonPizza Model – FPGA SME Transputer platform and the Path Forward (abstract)PRESENTER: Robert Fryer |
09:00-12:00 Session 2: Power, Image Recognition and Language Processing Applications
CHAIR: Lindsay Quarrie
| 09:00 | Anchal YadavHarmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor (abstract) |
| 10:00 | Oladapo IbitoyeReal-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network (abstract) |
| 11:00 | Vrushali LanjewarTransfer learning using Pre-trained AlexNet for Marathi Handwritten Compound Character Image Classification (abstract) |
Monday, April 26th
07:00-10:00 Session 3: KEYNOTE, Microservices and VPN Applications
CHAIR:Lawrence Dickson
| 07:00 | Lawrence DicksonKEYNOTE: Reliable Computing, Scientific and Technological Seedbank (abstract) |
| 08:00 | Jeremy MartinDesigning and Verifying Microservices Using CSP (abstract) |
| 09:00 | Abhishek GuptaDeep Reinforcement Learning and Fuzzy K-means based VPN-nonVPN Traffic Classification and Characterization (abstract) |
Tuesday, April 27th
07:00-10:00 Session 4: Object Recognition, Medical and Wireless Applications
CHAIR: Jeremy Martin
| 07:00 | Oladapo IbitoyeA Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (abstract) |
| 08:00 | Anurag Tripathi, Aditya Arora and Anupama BhanClassification of cervical cancer using Deep Learning Algorithms (abstract)PRESENTER: Anurag Tripathi |
| 09:00 | Archana Raut, Sunanda Khandait and Snehlata Dongre A Machine Learning based Mission Critical Data Transmission Protocol in Wireless Sensor Networks (abstract)PRESENTER: Archana Raut |
Wednesday, April 28th
07:00-11:00 Session 5: Formal Verification Tools, Synchronous Message Exchange (SME),Translators
CHAIR: Brian Vinter
| 07:00 | Burkhart Wolff HOL-CSP Version 2.0 for formal verification in Isabelle |
| 08:00 | Alberte Thegler, Carl-Johannes Johnsen, Kenneth Skovhede and Brian VinterAccelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs (abstract)PRESENTER: Alberte Thegler |
| 09:00 | Matilde Broløs, Carl-Johannes Johnsen and Kenneth SkovhedeOccam to Go translator (abstract)PRESENTER: Matilde Broløs |
| 10:00 | Lawrence DicksonOCCAM-equivalent syntax with pure singleton descent structure (abstract) |