2024 PART I Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
July 8-10, 2024
SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning COPA 2024 CONFERENCE PROGRAM
July 8-10, 2024
Registration Open link (All Attendees including Authors)
https://buy.stripe.com/28oeX02VQbzv4RG144
Days: Monday, July 8, Tuesday July 9, Wednesday July 10
Monday, July 8th: DAY 1
Prof. William Roscoe, University of Oxford (Ret.), Cocotec
Session 1: Chair, Prof. Dr. Lindsay O. Quarrie
8:30-9:30 Methods for Modeling, Detecting and Containment of Rogue AI
8:30 AM
8:50 AM
9:10 AM Open
Session 2: Chair, Dr. Jeremy Martin, Lloyds of London, University of Buckingham Senior Research Fellow
9:30-10:30 Applications of CSP and Concurrency to more tractable Modeling of Quantum Computing
9:30 AM
10:00 AM Open
Session 3 Chair: Dr. Lawrence J. Dickson
10:30-12:00 Session 3: FRINGE TALKS
10:30 AM-11:00 AM Approaches to Eliminating Hardware-Software Version Skew to Allow Continuity of Form and Function without Obsolescence
Dr. Lawrence J. Dickson, Space Sciences Corporation
11:00 AM Open
11:30 AM Open
END OF DAY 1
Tuesday, July 9th: DAY 2
Session 4 Chair: Dr. Carl-Johannes Johnsen
08:00-9:00 Open
09:00-10:00 Open
10:00-11:00 FRINGE WORKSHOP DEMO MODE:
Dr. Lindsay O’Brien Quarrie, National University, Space Sciences Corporation
Dr. Lawrence J. Dickson, Space Sciences Corporation
Robert Montgomery Fryer
END OF DAY 2
Wednesday, July 10th: DAY 3
9:00-10:00 Session 5: Program Committee Plan Meeting for COPA 2024 Part II/COPA 2025
CHAIR: Lindsay Quarrie, Lawrence Dickson
END OF DAY 3
*******************END OF 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) |