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/
- 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
Ø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
*****************************************************
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
Paper submissions due before: Workshops, Tutorials and Fringe submission due by: | July 8, 2024 July 8, 2024 |
Notification of acceptance, by: | July 8, 2024 |
Final revised Camera Ready Copy (CRC) due by: | July 8, 2024 |
Author registration, late submissions: | July 8, 2024 |
Conference Dates: | July 8 2024, Monday: 2:00 PM-6:30 PM GMT 3:00 PM-7:30 PM London, UK, 4:00 PM-8:30 PM Copenhagen, Denmark; Paris, France 7:30 PM-12:00 AM New Delhi, India July 9 2024, Tuesday: 2:00 PM-5:30 PM GMT 3:00 PM-6:30 PM London, UK 4:00 PM-7:30 PM Copenhagen, Denmark; Paris, France 7:30 PM-11:00 PM New Delhi, India July 10 2024, Wednesday 2:00 PM-5:00 PM GMT 3:00 PM-6:00 PM London, UK, 4:00 PM-7:00 PM Copenhagen, Denmark; Paris, France 7:30 PM-10:30 PM New Delhi, India |
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.