CONFERENCE PROGRAM

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

09:00-12:00 Session 2: Power, Artificial Intelligence, Computer Vision and Language Processing Applications

CHAIR: Lindsay Quarrie, Kevin Chalmers

Tuesday, September 26th

07:00-10:00 Session 3: KEYNOTE, Concurrency and Models of Abstraction: Past, Present and Future

10:00-12:00 Session 4: Medical, RF Wireless 5G, 6G Climate Models and Other Applications of Concurrent and High Performance Computing

CHAIR: Jeremy Martin, Brian Vinter

Wednesday, September 27th

07:00-11:00 Session 5: Formal Verification Tools, Updates on Synchronous Message Exchange (SME),Translators and FPGAs

CHAIR: Kenneth Skovhede, Carl-Johannes Johnsen, Lawrence Dickson

Thursday, September 28th

07:00-9:00 Session 6: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing

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:00Robert FryerLindsay 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:00Anchal YadavHarmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor (abstract)
10:00Oladapo IbitoyeReal-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network (abstract)
11:00Vrushali 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:00Lawrence DicksonKEYNOTE: Reliable Computing, Scientific and Technological Seedbank (abstract)
08:00Jeremy MartinDesigning and Verifying Microservices Using CSP (abstract)
09:00Abhishek 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:00Oladapo IbitoyeA Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (abstract
08:00Anurag TripathiAditya Arora and Anupama BhanClassification of cervical cancer using Deep Learning Algorithms (abstract)PRESENTER: Anurag Tripathi
09:00Archana RautSunanda 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:00Burkhart Wolff HOL-CSP Version 2.0 for formal verification in Isabelle 
08:00Alberte TheglerCarl-Johannes JohnsenKenneth Skovhede and Brian VinterAccelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs (abstract)PRESENTER: Alberte Thegler
09:00Matilde BroløsCarl-Johannes Johnsen and Kenneth SkovhedeOccam to Go translator (abstract)PRESENTER: Matilde Broløs
10:00Lawrence DicksonOCCAM-equivalent syntax with pure singleton descent structure (abstract)