{"id":96,"date":"2025-04-23T09:08:47","date_gmt":"2025-04-23T09:08:47","guid":{"rendered":"http:\/\/ieee-copa.org\/?page_id=96"},"modified":"2025-04-23T09:12:19","modified_gmt":"2025-04-23T09:12:19","slug":"conference-program","status":"publish","type":"page","link":"https:\/\/ieee-copa.org\/?page_id=96","title":{"rendered":"COPA 2025 CONFERENCE  PROGRAM"},"content":{"rendered":"\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>2025<\/strong> Concurrent Processes Architectures and Embedded Systems&nbsp;<\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>Hybrid Virtual Conference<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>April 21-24<\/strong>, <strong>2025<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\">SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning <strong>COPA 2025 CONFERENCE PROGRAM<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>April 21-24, 2025<\/strong><\/p>\n\n\n\n<p class=\"has-normal-font-size wp-block-paragraph\">             Registration Open link (All Attendees including Authors)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">                  <a href=\" https:\/\/buy.stripe.com\/28oeX02VQbzv4RG144\"> https:\/\/buy.stripe.com\/28oeX02VQbzv4RG144<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Days: Monday April 21, Monday April 21, Tuesday April 22, Wednesday April 23, Thursday April 24<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Monday April 21: DAY 1<\/strong> <strong>BEGINS<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>08:30-9:30<\/strong> KEYNOTE<\/a>: \u201cReal Intelligence\u201d (RI) the juxtaposition between AI, including new developments in Artificial General Intelligence (AGI), \u201cAgentic AI\u201d and physical reality in the new dawn of Practical Artificial Intelligence and Quantum Computing. Guardrails and Opportunities using Communicating Sequential Processes (CSP).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Prof. Dr. Lindsay O\u2019Brien Quarrie, National University, Chief Engineering and Technical Officer (CETO) Space Sciences Corporation, FRAISOS, CHIPACT<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 1: Chair, Prof. Dr. Lindsay O. Quarrie<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>9:35-10:05<\/strong> Methods for Modeling, Detecting and Containment of Rogue AI<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>10:05-10:35<\/strong><\/a> A Cross-Layer Threat Model for Automated AI Accelerator Design Platforms: Leveraging Hardware Trojans and Bit-Level Parameter Attacks, Apeksha Bhuekar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 2: Chair, Dr. Jeremy Martin, GSK, University of Buckingham Senior Research Fellow<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>10:40-11:00<\/strong> <\/a>OPEN DISCUSSION ON AI GUARDRAILS &amp; TAKEAWAYS<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 3 Chair: Dr. Lawrence J. Dickson, Space Sciences Corporation, Oyvind Teig,<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-color\"><strong>11:00-11:30<\/strong> Session 3: FRINGE TALKS &amp; DEMO<\/mark><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-color\"><strong>11:00-11:40 Can gears that engage only so good make the machine run?<\/strong><\/mark> \u00d8yvind Teig, Trondheim, Norway<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>END OF DAY 1<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Tuesday, April 22: DAY 2 BEGINS<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 4 Chair: Herman Roebbers, CapGemini<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>08:00-12:00<\/strong> Session 4: <\/a> <strong>WORKSHOP:<\/strong> ASIC &amp; FPGAs Applications and Increased Power Utilization in the Age of Artificial Intelligence.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>08:00-9:00<\/strong><\/a>  Optimizing Ultra Low Power Consumption in Embedded Systems, Herman Roebbers, CapGemini<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 5 Chair: Dr. Bill Roscoe, University of Oxford, Emeritus Professor<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>09:05-10:05<\/strong><\/a> Modelling and analysing a simple blockchain using CSP and FDR<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>10:10-10:40<\/strong><\/a> BlockShare: A Privacy-Preserving Blockchain System for Secure Data Sharing, Apeksha Bhuekar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"> <a><strong>10:45-11:15<\/strong><\/a> Modelling Serendipity in a Computational Context, Krishna Kumar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>12:15-1:00<\/strong><\/a> Eye-Tracking Insights into Human-Robot Interaction: Assessing Cognitive Mechanisms and Performance Impacts, Venkat Reddy Annapureddy<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>END OF DAY 2<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Wednesday, April 23: DAY 3 BEGINS<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 6: Chair: Dr. Lindsay O&#8217;Brien Quarrie, Robert Montgomery Fryer, Dr. Lawrence John Dickson, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>8:00-9:00<\/strong><\/a><strong>  WORKSHOP<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>8:00-9:00<\/strong><\/a> <strong>Modelling and analysing a simple blockchain using CSP and FDR (Live Demo)<\/strong> Dr. Bill Roscoe, University of Oxford, Emeritus Professor<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>9:00-10:00<\/strong><\/a><strong>  WORKSHOP<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>9:00-10:00<\/strong><\/a> <strong>Link input in Alternation Implementation details in occam Pseudocode<\/strong> (with credits to Roger Shepherd) Dr. Lawrence J. Dickson , Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">10:00-10:30 Coexistence of LTE-U and WiFi in 5GHz: Challenges and Solutions, Sneha Vinayak Bhambure.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">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.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">11:00-11:30 <a>Enhancing MIMO Detection Efficiency with ScNet: A Neural Network Approach<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">11:30-12:00 Jovial: Astronomical Data Analysis Cloud Service, Sufiyan Ahmed Mohammed.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1:00-1:30 <a>Cloud-Driven Drone Logistics: Optimizing Package Delivery with Real-Time Monitoring and Scalable Fleet Management<\/a>, Venkat Reddy Annapureddy<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1:30-2:00 Evaluating the Effectiveness of the Mining Android Sandbox (MAS) Approach for Malicious App Detection in Large Datasets, Apeksha Bhuekar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2:00-2:30 <a>TREX: A Visualization Tool for Linear Regression Experiments to Support Novice Programmers<\/a>, Jyoti Singh<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2:30-3:00 VMPlaceS: Enhancing Virtual Machine Placement through Advanced Simulation Frameworks, Apeksha Bhuekar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">3:00-3:30 Tighter Privacy Auditing of Differentially Private Stochastic Gradient Descent in the Hidden State Threat Model, Apeksha Bhuekar.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>END OF DAY 3<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Thursday, April 24: DAY 4 <strong>WORKSHOP<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">8:00 -8:30 OPEN DISCUSSION: AI-OCCAM TRANSLATIONS AND THE LAWS OF OCCAM, <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">8:30-9:00 SEEDBANK: DISCONNECTED STAND ALONE ON-PREM AI<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>09:00-10:00<\/strong> Session 7: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing <\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>10:00-11:00<\/strong> Session 8: <\/a>Program Committee Plan Meeting for COPA 2026<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: <mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-color\">Lindsay O&#8217;Brien Quarrie, <\/mark>Bill Roscoe<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">END OF DAY 4<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">*******************END OF COPA 2025****************<\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>COPA 2024 PAST CONFERENCE PROGRAM<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">DAY 1 Agenda (TIMES ARE USA CALIFORNIA PACIFIC TIME ZONE)<br>OPENING REMARKS: Dr. Lindsay O&#8217;Brien Quarrie, COPA 2024 Part I Chair<br>07:00-8:30 AM JULY 8, 2024<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">KEYNOTE, Fundamentals of Blockchain, a Model of Concurrency and Understanding Decentralised Systems<br>Keynote: Prof. William Roscoe, University of Oxford (Ret.), Cocotec<br>Fundamentals of Blockchain, a model of Concurrency and Understanding Decentralised System. The state of the art in the CSP style of verification, and the \u201cCocotec\u201d success story.<br>Includes: \u201cChallenges and triumphs of verification in the CSP style\u201d Authors Andrew William Roscoe and Pedro Antonino, University of Oxford<br>\u201d 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.\u201d<br>Q&amp;A: 15 minutes<br>Session 1: Chair, Prof. Dr. Lindsay O. Quarrie, Space Sciences Corporation<br>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<br>Q&amp;A: 15 minutes<br>9:45-10:30 AM Panel Open Discussion: Methods for Modeling, Detecting and Containment of Rogue AI<br>Motivations, Techniques, and the Future<br>Session 2: Chair, Dr. Jeremy Martin, Lloyds of London, University of Buckingham Senior Research Fellow<br>10:30-11:20 AM Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?<br>11:20 AM-11:50 AM Q&amp;A and Panel Open Discussion: Applications of CSP and Concurrency to more tractable Modeling of Quantum Computing, Quantum and the Future of Blockchain<br>11:50 AM-12:30 PM OPEN FRINGE SESSION:<br>Chairs: Dr. Lawrence J. Dickson, Space Sciences Corporation; \u00d8yvind Teig External examiner at Norwegian University of Science and Technology (NTNU), Robert Montgomery Fryer, Space Sciences Corporation<br>AI to OCCAM Translators and Large Language Models (LLMs), Occam Code Generators, Applications in Cyberphysical Systems, Practical Verification and other topics welcome<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">12: 30 PM Pacific Time END OF DAY 1<\/p>\n\n\n\n<h1 class=\"wp-block-heading has-normal-font-size\"><strong>DAY 2 Agenda<\/strong><\/h1>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Session 3:&nbsp;<\/strong>Approaches to Eliminating Hardware-Software Version Skew to Allow Continuity of Form and Function without Obsolescence<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Chair: Dr. Lawrence John Dickson, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>7:00 -7:45 AM<\/strong>&nbsp;Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example, Author<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dr. Lawrence J. Dickson, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Q&amp;A 15 Minutes<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>8:00-8:45 AM<\/strong>&nbsp;Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs. Author Vijaya Laxmi Pachva<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Q&amp;A 15 Minutes<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>9:00-9:45 AM<\/strong>&nbsp;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<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Q&amp;A 15 Minutes<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Session 4:<\/strong>&nbsp;Emerging trends in parallel processing\/AI architectures, Energy, performance and tradeoffs<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Chair: Herman Roebbers, Lead Embedded Software Engineer | Unit Embedded SW 5 | Division Embedded &amp; Systems Cap Gemini Engineering<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>10:00-10:45 AM<\/strong>&nbsp;Presentation and Open Discussion, AI Energy consumption and other architecture impacts<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Q&amp;A 15 Minutes<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>11:00-11:45 AM<\/strong>&nbsp;Building Towards a Distributed, Dynamic Solution to the Santa Problem. Author, Mahmood Mohammed Seoud and David Gray Marchant<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Q&amp;A 15 Minutes<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>12:00 PM END COPA 2024 Part I DAY 2<\/strong><\/p>\n\n\n\n<h1 class=\"wp-block-heading has-normal-font-size\"><strong>DAY 3 Agenda<\/strong><\/h1>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Current and Upcoming Research Opportunities &amp; Collaborations<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>07:00-9:00 AM Session 4:&nbsp;<\/strong>Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>9:00-10:00 AM Session 5:<\/strong>&nbsp;Program Committee Plan Meeting for COPA 2025<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: Lindsay Quarrie, Lawrence Dickson, Bill Roscoe<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>10:00 AM END OF DAY 3<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">****************END COPA 2024***********************************<\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\"><strong>COPA 2023 PAST CONFERENCE PROGRAM<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Days: Monday, September 25, Tuesday September 26, Wednesday September 27<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Monday, September 25th: DAY 1<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 1: Chair, Dr. Jeremy Martin<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-8:30<\/strong>&nbsp;KEYNOTE, Concurrency and Models of Abstraction: Past, Present and Future<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham Lloyd\u2019s of London<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>8:30-9:30<\/strong>&nbsp;Accelerating Scientific and Engineering Applications through Cloud-based GPU Computing<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dipesh Rawat, Department of Information Technology, Guru Gobind Singh Indraprastha University, New Delhi, India<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Kopal Chakravarty, Department of Computer Science<br>LNM Institute of Information Technology, Jaipur, India<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Neelaksh Singh, Department of Computer Science<br>Birla Institute of Technology, Mesra, Jharkhand, India<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Vijaya Laxmi Pachva, Department of Computer Science<br>Kakatiya University, Warangal, India<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Rakshit Anand Bhootham, Department of Computer Science<br>Jawaharlal Nehru Technological University, Hyderabad, India<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 2 Chair: Dr. Lawrence J. Dickson<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><mark><strong>09:30-11:30<\/strong>&nbsp;Session 2: FRINGE TALKS<\/mark><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a>Race-Condition-Robust Hardware-Software Equivalence in *n*x<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dr. Lawrence J. Dickson, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">END OF DAY 1<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Tuesday, September 26th: DAY 2<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 3 Chair: Dr. Carl-Johannes Johnsen<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-11:00<\/strong>&nbsp;Session 5: Formal Verification Tools, Updates on Synchronous Message Exchange (SME),Translators and FPGAs<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-8:00<\/strong><\/a>&nbsp;<a>Slurm Scheduling From Rules-Based Systems<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Mark Blomqvist and David Marchant, Department of Computer Science,<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">University of Copenhagen, Copenhagen, Denmark<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>08:00-9:00<\/strong><\/a>&nbsp;<a>IS IT FEASIBLE TO IDENTIFY OUTPUTS OF AN ARBITRARY PROCESS AT RUN TIME WITHOUT EXCESSIVELY SLOWING DOWN WORKFLOWS?<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1st Philip Shun B. Jensen, Department of Computer Science<br>University of Copenhagen, Virum, Denmark<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2nd Iben Lilholm, 3rd David Marchant, Department of Computer Science<br>University of Copenhagen, Copenhagen, Denmark<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>09:00-10:00<\/strong><\/a>&nbsp;<a>Evaluation of FPGA Acceleration of Neural Networks?<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1st Emil Stevnsborg, 2nd Sture Oksholm, 3rd Carl-Johannes Johnsen<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Department of Computer Science, University of Copenhagen, Denmark<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Session 4 Chair: Dr. Lindsay O\u2019Brien Quarrie<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>10:00-11:00<\/strong><\/a><strong>&nbsp;FRINGE WORKSHOP DEMO MODE:<\/strong>&nbsp;<a>Race-Condition-Robust Hardware-Software Equivalence in *n*x<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dr. Lindsay O\u2019Brien Quarrie, National University, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dr. Lawrence J. Dickson, Space Sciences Corporation<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">END OF DAY 2<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Wednesday, September 27th: DAY 3<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-9:00<\/strong>&nbsp;Session 5: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>9:00-10:00<\/strong>&nbsp;Session 6:&nbsp;<\/a>Program Committee Plan Meeting for COPA 2024<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR:&nbsp;<mark>Lindsay O Quarrie, Lawrence J  Dickson<\/mark><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">END OF DAY 3<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">           <strong> IEEE COPA 2021 PAST CONFERENCE PROGRAM: <\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Days:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html\">Sunday, April 25th<\/a>&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-26.html\">Monday, April 26th<\/a>&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-27.html\">Tuesday, April 27th<\/a>&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-28.html\">Wednesday, April 28th<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Sunday, April 25th<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-09:00<\/strong>&nbsp;Session 1: FRINGE TALKS<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: <a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person23.html\">Kenneth Skovhede<\/a>, <\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>07:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person1.html\">\u00d8yvind Teig<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person2.html\">Lawrence John Dickson<\/a>FRINGE: Torus heat equations to get dizzy from. Hooping with xC&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html#talk:168161\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person1.html\">\u00d8yvind Teig<\/a><\/td><\/tr><tr><td>08:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person21.html\">Robert Fryer<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person22.html\">Lindsay Quarrie<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person3.html\">Lawrence Dickson<\/a>Pizza Model &#8211; FPGA SME Transputer platform and the Path Forward&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html#talk:168823\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person21.html\">Robert Fryer<\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>09:00-12:00<\/strong>&nbsp;Session 2: Power, Image Recognition and Language Processing Applications<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: <a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person22.html\">Lindsay Quarrie<\/a><\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>09:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person6.html\">Anchal Yadav<\/a>Harmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html#talk:168171\">abstract<\/a>)<\/td><\/tr><tr><td>10:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person7.html\">Oladapo Ibitoye<\/a>Real-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html#talk:168168\">abstract<\/a>)<\/td><\/tr><tr><td>11:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person8.html\">Vrushali Lanjewar<\/a>Transfer learning using Pre-trained AlexNet for Marathi Handwritten Compound Character Image Classification&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-25.html#talk:168164\">abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Monday, April 26th<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-10:00<\/strong>&nbsp;Session 3: KEYNOTE, Microservices and VPN Applications<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR:<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person3.html\">Lawrence Dickson<\/a><\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>07:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person3.html\">Lawrence Dickson<\/a>KEYNOTE: Reliable Computing, Scientific and Technological Seedbank&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-26.html#talk:168173\">abstract<\/a>)<\/td><\/tr><tr><td>08:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person4.html\">Jeremy Martin<\/a>Designing and Verifying Microservices Using CSP&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-26.html#talk:168172\">abstract<\/a>)<\/td><\/tr><tr><td>09:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person5.html\">Abhishek Gupta<\/a>Deep Reinforcement Learning and Fuzzy K-means based VPN-nonVPN Traffic Classification and Characterization&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-26.html#talk:168169\">abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Tuesday, April 27th<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-10:00<\/strong>&nbsp;Session 4: Object Recognition, Medical and Wireless Applications<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: <a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person4.html\">Jeremy Martin<\/a><\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>07:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person7.html\">Oladapo Ibitoye<\/a>A Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-27.html#talk:168162\">abstract<\/a>)&nbsp;<\/td><\/tr><tr><td>08:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person15.html\">Anurag Tripathi<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person16.html\">Aditya Arora<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person17.html\">Anupama Bhan<\/a>Classification of cervical cancer using Deep Learning Algorithms&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-27.html#talk:168165\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person15.html\">Anurag Tripathi<\/a><\/td><\/tr><tr><td>09:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person18.html\">Archana Raut<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person19.html\">Sunanda Khandait<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person20.html\">Snehlata Dongre<\/a> <br>A Machine Learning based Mission Critical Data Transmission Protocol in Wireless Sensor Networks&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-27.html#talk:168163\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person18.html\">Archana Raut<\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Wednesday, April 28th<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a><strong>07:00-11:00<\/strong>&nbsp;Session 5: Formal Verification Tools, Synchronous Message Exchange (SME),Translators<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">CHAIR: <a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person13.html\">Brian Vinter<\/a><\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>07:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person9.html\">Burkhart Wolff<\/a> HOL-CSP Version 2.0 for formal verification in Isabelle&nbsp;<\/td><\/tr><tr><td>08:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person10.html\">Alberte Thegler<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person11.html\">Carl-Johannes Johnsen<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person12.html\">Kenneth Skovhede<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person13.html\">Brian Vinter<\/a>Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-28.html#talk:168166\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person10.html\">Alberte Thegler<\/a><\/td><\/tr><tr><td>09:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person14.html\">Matilde Brol\u00f8s<\/a>,&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person11.html\">Carl-Johannes Johnsen<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person12.html\">Kenneth Skovhede<\/a>Occam to Go translator&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-28.html#talk:168167\">abstract<\/a>)PRESENTER:&nbsp;<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person14.html\">Matilde Brol\u00f8s<\/a><\/td><\/tr><tr><td>10:00<\/td><td><a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/person3.html\">Lawrence Dickson<\/a>OCCAM-equivalent syntax with pure singleton descent structure&nbsp;(<a href=\"https:\/\/easychair.org\/smart-program\/COPA2021\/2021-04-28.html#talk:168170\">abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>2025 Concurrent Processes Architectures and Embedded Systems&nbsp; 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 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_exactmetrics_skip_tracking":false,"footnotes":""},"class_list":["post-96","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/pages\/96","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ieee-copa.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=96"}],"version-history":[{"count":75,"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/pages\/96\/revisions"}],"predecessor-version":[{"id":358,"href":"https:\/\/ieee-copa.org\/index.php?rest_route=\/wp\/v2\/pages\/96\/revisions\/358"}],"wp:attachment":[{"href":"https:\/\/ieee-copa.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=96"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}