copa

2024 PART I Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference

COPA 2024 PART I SUBMISSIONS OPEN NOW:

https://easychair.org/conferences/?conf=copa2024

Format Guidelines: Instructions For Authors (easychair.org)

https://easychair.org/publications/for_authors

Conference Registration Open

Registration Open link (All Attendees including Authors)

https://buy.stripe.com/28oeX02VQbzv4RG144

July 8-10, 2024

Late Papers, Workshops, Tutorials, Fringe Submissions and Author Registrations due by

***July 8, 2024***

San Diego, California USA

Sponsored by ChipAct Non-Profit Corporation: http://chipact.org/

Hotel Del Coronado Island San Diego, California

Organizing Committee

Program Chair: Dr. Lindsay O’Brien Quarrie (Senior Member IEEE), 2023 Delphi Award Professor for Academic Excellence National University & CETO Space Sciences Corporation

Program Co-Chair: Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham & Lloyd’s of London

Program Committee

Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham & Lloyd’s of London

Dr. Lindsay O’Brien Quarrie (Senior Member IEEE), 2023 Delphi Award Professor for Academic Excellence National University & CETO Space Sciences Corporation

Dr. Brian Vinter, Vice Dean, Research Aarhus University, Aarhus Denmark; formerly Head of High-Performance Computing and Professor of X-Ray and Neutron Science Neils Bohr Institute, University of Copenhagen

Dr. Lawrence John Dickson, Chief Scientist, Space Sciences Corporation

Øyvind Teig, External examiner at Norwegian University of Science and Technology (NTNU), Department of Engineering Cybernetics and retired from being a senior development engineer at Autronica Fire & Security

Herman Roebbers, Advanced Expert Unit Embedded SW 5 Division of Embedded & Systems CapGemini Engineering

Robert Montgomery Fryer, Senior Principal Engineer, Space Sciences Corporation

Technical Chairs

Dr. Lawrence John Dickson, Chief Scientist, Space Sciences Corporation Workshops & Fringes

Dr. Lindsay O’Brien Quarrie, National University & Space Sciences Corporation, Technical Co-chair, Papers

Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham Lloyd’s of London

Dr. Carl-Johannes Johnsen, Professor Post-Doc Department of Computer Science, University of Copenhagen

Herman Roebbers, Advanced Expert Unit Embedded SW 5 Division of Embedded & Systems CapGemini Engineering

*****************************************************

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.

“Challenges and triumphs of verification in the CSP style”

” 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.” ****************************************************

Submission via EasyChair:

https://easychair.org/conferences/?conf=copa2024

Format Guidelines: Instructions For Authors (easychair.org)

https://easychair.org/publications/for_authors

Deadlines

Final paper copy must be agreed with your editor by the end of day on July 6, 2024.
In order for your CRC to appear in the proceedings, at least one author must register for the conference by July 8, 2024

Invited Topics research and/or application, long or short papers , Workshops and Tutorials are welcome in the following areas:

A. Practical Verification

B. Applications of CSP and Concurrency for more tractable Quantum Computing
C. Applications of Race-Condition-Robust Hardware-Software Equivalence in *n*x to IoT
D. Applications of Synchronous Message Exchange (SME) including AI on FPGAs, Transputer Links to OS
E. Applications, Methods and Modeling for Countering Rogue AI
F. Applications in Cyberphysical Systems and Techniques for maintaining functionality despite Hardware-Software Version Skew

G. Reliable AI Useful Occam Code Generator

H. Tools and languages for hardware-software co-design;
I. Hardware and software approaches to reconfigurable computing;
J. Modeling and model-driven development of concurrent software architectures;
K. Verification and analysis of concurrent systems;
L. Nested formal verification techniques.
M. Massively parallel computing, supercomputing architectures using concurrent processes
N. Applications of concurrent processes including to IoT, 5G and future 6G hardware/software requirements
O. Emphasis both software and hardware (IoT), including hardware-software equivalence like that of occam and the Transputer

P. Artificial Intelligence, Machine Learning in Concurrent Systems

Rules for Presentations: Includes, Keynote up to 1 hour, Papers 30-45 minutes; Workshops/Fringes up to 1 hour.

Publications

Negotiating IEEE Computer Society’s Conference Publishing Services (CPS) department, IEEE Xplore Digital Library, IOS, Scopus or other high impact publication or ChipAct Press.

Previous COPA 2023 Proceedings published in Kalpa Publications in Computing

https://easychair.org/publications/volume/COPA_2023

Previous COPA 2021 Proceedings published in IEEE Xplore Digital Library

https://ieeexplore.ieee.org/xpl/conhome/9541263/proceeding

https://www.computer.org/csdl/proceedings/copa/2021/1x8iKzhe70A

Rules for Presentation: Includes, Keynote up to 1 1/2 hours, Papers 1 hour or more if needed. Workshops/Posters/other up to 1 hour or more if needed.