COPA 2023: 2023 CONCURRENT PROCESSES ARCHITECTURES AND EMBEDDED SYSTEMS VIRTUAL CONFERENCE
September 25-28, 2023
SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning COPA 2023 CONFERENCE PROGRAM
September 25-28, 2023
Registration Open link (All Attendees including Authors)
https://buy.stripe.com/28oeX02VQbzv4RG144
Days: Monday, September 25, Tuesday September 26, Wednesday September 27, Thursday September 28th
Monday, September 25th
07:00-09:00 Session 1: FRINGE TALKS
CHAIR: Oyvind Teig
CHAIR: Lindsay Quarrie, Kevin Chalmers
Tuesday, September 26th
07:00-10:00 Session 3: KEYNOTE, Concurrency and Models of Abstraction: Past, Present and Future
CHAIR: Jeremy Martin, Brian Vinter
Wednesday, September 27th
CHAIR: Kenneth Skovhede, Carl-Johannes Johnsen, Lawrence Dickson
Thursday, September 28th
10:00-11:00 Session 7: Program Committee Plan Meeting for COPA 2024
CHAIR: Lindsay Quarrie, Lawrence Dickson
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) |