- FMIndia - example.com

Internship announcement: Testing blockchain consensus protocol implementation

by M Praveen

Title: Test case generation for blockchain consensus protocol with the help of formal methods Achieving consistency in modern large-scale and fault-tolerant distributed systems often relies on intricate consensus protocols. Ensuring the reliability of implementations of such protocols remains a significant challenge because of the enormous number of exceptional conditions that may arise in production. Netrix is a tool and a methodology for testing such implementations that aims to exploit programmer's knowledge to improve coverage, enables robust bug reproduction, and can be used in regression testing across different versions of an implementation. This has been applied to Tendermint, a popular proof of stake blockchain protocol, Tendermint and to a popular benign consensus algorithm, Raft. It has been able to identify deviations of the implementation from the protocol specification and verify corrections on an updated implementation. The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure. Time period: >= 6 months Remote Work Company: Supra Oracles, https://supra.com/ Contact: r.ramesh(a)supraoracles.com

1 year, 5 months

2
1
0 0

Internship announcement for static analysis of smart contracts

by M Praveen

Title: Static Analysis of EVM Bytecodes to determine an access specification of public entry functions Typically a smart contract has public entry functions that get called by the transactions. The scope of this internship is to determine "What data may be accessed by a public entry function?" using a standard program analysis technique. The internship involves finding the best research & tools available for such a project and implementing this static analysis and integrating into Supra technology stack. Time period: >= 4 months Remote Work Company: Supra Oracles, https://supra.com/ Contact: r.ramesh(a)supraoracles.com

1 year, 5 months

2
1
0 0

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024

by Qin Liu

Please accept our apologies if you receive multiple copies of this DASC 2024 Preliminary Call for Papers (CFPs). =====================CALL FOR PAPERS============================= The 22nd IEEE International Conference on Dependable, Autonomic and Secure Computing IEEE DASC 2024 http://cyber-science.org/2024/dasc/ joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2024 5-8 November 2024 - Boracay Island, Malay, Philippines =====================INTRODUCTION============================= As computer and communication systems, as well as other systems such as Cyber-Physical Systems (CPS), Internet of Things (IoT), and Autonomous Robotic Systems, become increasingly large and complex, their Dependability and Security play critical roles in supporting next-generation science, engineering, and commercial applications. It remains a challenge to design, analyze, evaluate, and improve the dependability and security of a large-scale computing environment. Trusted and autonomic computing/autonomous systems need synergistic research efforts covering many disciplines, from natural sciences to social sciences. It requires scientific and technological advances in a variety of fields, as well as new software, architectures, and communication technology that support the integration of the constituent technologies. IEEE DASC 2024 will be held during November 5-8, 2024, in Boracay Island, Malay, Philippines, co-located with IEEE CyberSciTech 2024, IEEE PICom 2024, and IEEE CBDCom 2024. It aims to bring together computer scientists, industrial engineers, and researchers to discuss and exchange theoretical and implementation results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of dependability, security, trust, and/or autonomic computing, and autonomous systems. =====================TRACKS AND TOPICS============================= - Track 1: Dependable and Fault-tolerant Computing - Track 2: Network and System Security and Privacy - Track 3: Autonomic Computing and Autonomous Systems - Track 4: Industrial Applications and Emerging Techniques - Track 5: Autonomic and Secure Computing with AI/ML Topics of interest include, but are not restricted to: - Self-Organization and Organic Computing - Cognitive Computing and Self-Aware Computing - Energy Management in Autonomic Computing and Autonomous Systems - Dependable & Fault-tolerant Computing in Big Data, CPS, IoT, SDN, and Real-time System - Hardware and Software Reliability, Verification and Testing - Security and Privacy in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Artificial Intelligence Techniques in Network and System Security and Privacy - Autonomic and Autonomous Issues in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Software/Apps/Tools Development for Dependable and Secure Applications - IoT and Sensor Network, Big Data, Smart Grid, Aerospace, Transportation Applications =====================IMPORTANT DATES========================== Paper Submission Due: 15 Jun 2024 Authors Notification: 15 Aug 2024 Camera-ready Submission: 15 Sep 2024 =====================SUBMISSION INSTRUCTION=================== Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), workshop, and special session papers need to be submitted in IEEE CS Proceedings format. IEEE formatting info: http://www.ieee.org/conferences_events/conferences/publishing/templates.html All the accepted papers will be published by IEEE in the Conference Proceedings (IEEE-DL and EI indexed). Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to prestigious journal Special Issues. Some papers originally submitted as full papers can be accepted as short papers during the review process. In such cases, the authors will need to reduce the paper accordingly when preparing the camera-ready version. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. Regular Tracks: 6-8 pages - WiP/Workshop/Special Session Tracks: 4-6 pages =====================ORGANIZING COMMITTEE============================= -Honorary Chairs- - Tadashi Dohi, Hiroshima University, Japan - Mohammed Atiquzzaman, Univ. of Oklahoma, USA -General Chairs- - Zakirul Alam Bhuiyan, Fordham University, USA - Kenichi Kourai, Kyushu Inst. of Tech., Japan -General Executive Chairs- - Moayad Aloqaily, Mohamad Bin Zayed Univ., UAE - Bernady O. Apduhan, Kyushu Sangyo Univ., Japan -Program Chairs- - Wenjia Li, New York Institute of Technology, USA - Aniello Castiglione, University of Salerno, Italy -Program Co-chairs- - Mohamed Rahouti, Fordham University, USA - Wei Wang, Beijing Jiaotong University, China - Adnan Anwar, Deakin University, Australia - Shan Jiang, The Hong Kong Polytechnic University, Hong Kong - Changqing Luo, Virginia Commonwealth Univ., USA - Lei Chen, Georgia Southern University, USA -Workshop & Special Session Chairs- - Preeti Mishra, Doon University, India - Arafatur Rahman, University of Wolverhampton, UK -WiP & LBI Chairs- - Saqib Ali, Univ. of Agri. Faisalabad, Pakistan - Mrinal Kanti Bhowmik, Tripura University, India -Publicity Chairs- - Mubashir Rehmani, Cork Inst. of Tech., Ireland - Junjun Zheng, Hiroshima University, Japan - Qin Liu, Hunan University, China - Senthil Kumar, Mepco Schlenk Eng. College, India - Yuhong Liu, Santa Clara University, USA -Steering Committee- - Jianhua Ma, Hosei University, Japan - Laurence T. Yang, St. Francis Xavier Univ., Canada - Yuanshun Dai, Univ. of Elec. Sci. & Tech. of China, China - Tadashi Dohi, Hiroshima University, Japan - Zakirul Alam Bhuiyan, Fordham University, USA Program Committee: Please check the "Program Committee" web page on the conference website for details: http://cyber-science.org/2024/dasc/tpc/ Contact: Please email inquiries concerning DASC 2024 to Prof. Zakirul Alam Bhuiyan: zakirulalam AT gmail DOT com. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

1 year, 5 months

1
0
0 0

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024

by Qin Liu

Please accept our apologies if you receive multiple copies of this DASC 2024 Preliminary Call for Papers (CFPs). =====================CALL FOR PAPERS============================= The 22nd IEEE International Conference on Dependable, Autonomic and Secure Computing IEEE DASC 2024 http://cyber-science.org/2024/dasc/ joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2024 5-8 November 2024 - Boracay Island, Malay, Philippines =====================INTRODUCTION============================= As computer and communication systems, as well as other systems such as Cyber-Physical Systems (CPS), Internet of Things (IoT), and Autonomous Robotic Systems, become increasingly large and complex, their Dependability and Security play critical roles in supporting next-generation science, engineering, and commercial applications. It remains a challenge to design, analyze, evaluate, and improve the dependability and security of a large-scale computing environment. Trusted and autonomic computing/autonomous systems need synergistic research efforts covering many disciplines, from natural sciences to social sciences. It requires scientific and technological advances in a variety of fields, as well as new software, architectures, and communication technology that support the integration of the constituent technologies. IEEE DASC 2024 will be held during November 5-8, 2024, in Boracay Island, Malay, Philippines, co-located with IEEE CyberSciTech 2024, IEEE PICom 2024, and IEEE CBDCom 2024. It aims to bring together computer scientists, industrial engineers, and researchers to discuss and exchange theoretical and implementation results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of dependability, security, trust, and/or autonomic computing, and autonomous systems. =====================TRACKS AND TOPICS============================= - Track 1: Dependable and Fault-tolerant Computing - Track 2: Network and System Security and Privacy - Track 3: Autonomic Computing and Autonomous Systems - Track 4: Industrial Applications and Emerging Techniques - Track 5: Autonomic and Secure Computing with AI/ML Topics of interest include, but are not restricted to: - Self-Organization and Organic Computing - Cognitive Computing and Self-Aware Computing - Energy Management in Autonomic Computing and Autonomous Systems - Dependable & Fault-tolerant Computing in Big Data, CPS, IoT, SDN, and Real-time System - Hardware and Software Reliability, Verification and Testing - Security and Privacy in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Artificial Intelligence Techniques in Network and System Security and Privacy - Autonomic and Autonomous Issues in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Software/Apps/Tools Development for Dependable and Secure Applications - IoT and Sensor Network, Big Data, Smart Grid, Aerospace, Transportation Applications =====================IMPORTANT DATES========================== Paper Submission Due: 15 Jun 2024 Authors Notification: 15 Aug 2024 Camera-ready Submission: 15 Sep 2024 =====================SUBMISSION INSTRUCTION=================== Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), workshop, and special session papers need to be submitted in IEEE CS Proceedings format. IEEE formatting info: http://www.ieee.org/conferences_events/conferences/publishing/templates.html All the accepted papers will be published by IEEE in the Conference Proceedings (IEEE-DL and EI indexed). Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to prestigious journal Special Issues. Some papers originally submitted as full papers can be accepted as short papers during the review process. In such cases, the authors will need to reduce the paper accordingly when preparing the camera-ready version. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. Regular Tracks: 6-8 pages - WiP/Workshop/Special Session Tracks: 4-6 pages =====================ORGANIZING COMMITTEE============================= -Honorary Chairs- - Tadashi Dohi, Hiroshima University, Japan - Mohammed Atiquzzaman, Univ. of Oklahoma, USA -General Chairs- - Zakirul Alam Bhuiyan, Fordham University, USA - Kenichi Kourai, Kyushu Inst. of Tech., Japan -General Executive Chairs- - Moayad Aloqaily, Mohamad Bin Zayed Univ., UAE - Bernady O. Apduhan, Kyushu Sangyo Univ., Japan -Program Chairs- - Wenjia Li, New York Institute of Technology, USA - Aniello Castiglione, University of Salerno, Italy -Program Co-chairs- - Mohamed Rahouti, Fordham University, USA - Wei Wang, Beijing Jiaotong University, China - Adnan Anwar, Deakin University, Australia - Shan Jiang, The Hong Kong Polytechnic University, Hong Kong - Changqing Luo, Virginia Commonwealth Univ., USA - Lei Chen, Georgia Southern University, USA -Workshop & Special Session Chairs- - Preeti Mishra, Doon University, India - Arafatur Rahman, University of Wolverhampton, UK -WiP & LBI Chairs- - Saqib Ali, Univ. of Agri. Faisalabad, Pakistan - Mrinal Kanti Bhowmik, Tripura University, India -Publicity Chairs- - Mubashir Rehmani, Cork Inst. of Tech., Ireland - Junjun Zheng, Hiroshima University, Japan - Qin Liu, Hunan University, China - Senthil Kumar, Mepco Schlenk Eng. College, India - Yuhong Liu, Santa Clara University, USA -Steering Committee- - Jianhua Ma, Hosei University, Japan - Laurence T. Yang, St. Francis Xavier Univ., Canada - Yuanshun Dai, Univ. of Elec. Sci. & Tech. of China, China - Tadashi Dohi, Hiroshima University, Japan - Zakirul Alam Bhuiyan, Fordham University, USA Program Committee: Please check the "Program Committee" web page on the conference website for details: http://cyber-science.org/2024/dasc/tpc/ Contact: Please email inquiries concerning DASC 2024 to Prof. Zakirul Alam Bhuiyan: zakirulalam AT gmail DOT com. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

1 year, 5 months

1
0
0 0

Advertisement for 01 post of Post-Doctoral Fellow in Dept. of Computer Science, BHU Varanasi

by Dr. Anshul Verma

Ref. No: BHU/CS/AV/RJP-PDF/2024/02 Date: 03.04.2024 *Advertisement for 01 post of Post-Doctoral Fellow* Dear Prof., The Department of Computer Science, Banaras Hindu University, Varanasi, India, is inviting application for *ONE* post of *Raja Jwala Prasad Post-Doctoral Fellow* with a consolidated fellowship of Rs. 60,000/- per month + HRA (Rs. 10,000/- per month) and a contingency of Rs. 50,000/- per year in an IoE BHU Sponsored fellowship sanctioned up to 12 months from the date of joining of the Fellow. The position is purely temporary and may be extended for one more year based on performance and the availability of funds under IoE. *Essential Qualifications:* Research scholars who have done their PhD in a field related to Computer Science/Information Technology or equivalent from an Indian University/Institute with NIRF ranking of up to 20 (overall or in respective areas) or those who have done PhD from abroad will be eligible. The candidates must have proven track record with published work of at least two papers in Q1 or Q2 journals or Scopus/Web of Science listed journals. *Desirable Qualifications:* Candidates with research experience in the field of Distributed Computing and Cloud/Edge/Fog Computing will be preferred. *Upper Age Limit:* The upper age limit is 45 years (5 years relaxation for female/SC/ST/Physically Handicapped Candidate). All things being equal, SC/ST candidates will be preferred as per GOI rules. The Fellow will have access to comprehensive benefits, including health services, library and access to other university resources. *How to Apply:* Interested candidates may submit their applications by sending their CV (providing details of name, permanent and correspondence address, names of father and mother, telephone no., email address, details of educational career (starting from High School or equivalent), research or other experience, research publications etc.) along with self-attested copies of all mark-sheets & certificates to *Dr. Anshul Verma *through email on *anshulverma87(a)gmail.com <anshulverma87(a)gmail.com>; anshul.verma(a)bhu.ac.in <anshul.verma(a)bhu.ac.in>*. The applications should reach within *21 days* of the advertisement to the undersigned with subject line “*Raja Jwala Prasad Post-Doctoral Fellowship”*. Only short-listed candidates will be notified through email for interview. No TA/DA will be paid if called for interview. https://www.bhu.ac.in/Site/TempVacancyDetail/1_2_16?735 https://www.bhu.ac.in/ Thanks & Regards ------------------------------- *Dr. Anshul Verma* Assistant Professor Department of Computer Science, Institute of Science, Banaras Hindu University, Varanasi, India. - 221005 Mobile No: +91-9826074618

1 year, 5 months

1
0
0 0

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024

by Qin Liu

Please accept our apologies if you receive multiple copies of this DASC 2024 Preliminary Call for Papers (CFPs). =====================CALL FOR PAPERS============================= The 22nd IEEE International Conference on Dependable, Autonomic and Secure Computing IEEE DASC 2024 http://cyber-science.org/2024/dasc/ joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2024 5-8 November 2024 - Boracay Island, Malay, Philippines =====================INTRODUCTION============================= As computer and communication systems, as well as other systems such as Cyber-Physical Systems (CPS), Internet of Things (IoT), and Autonomous Robotic Systems, become increasingly large and complex, their Dependability and Security play critical roles in supporting next-generation science, engineering, and commercial applications. It remains a challenge to design, analyze, evaluate, and improve the dependability and security of a large-scale computing environment. Trusted and autonomic computing/autonomous systems need synergistic research efforts covering many disciplines, from natural sciences to social sciences. It requires scientific and technological advances in a variety of fields, as well as new software, architectures, and communication technology that support the integration of the constituent technologies. IEEE DASC 2024 will be held during November 5-8, 2024, in Boracay Island, Malay, Philippines, co-located with IEEE CyberSciTech 2024, IEEE PICom 2024, and IEEE CBDCom 2024. It aims to bring together computer scientists, industrial engineers, and researchers to discuss and exchange theoretical and implementation results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of dependability, security, trust, and/or autonomic computing, and autonomous systems. =====================TRACKS AND TOPICS============================= - Track 1: Dependable and Fault-tolerant Computing - Track 2: Network and System Security and Privacy - Track 3: Autonomic Computing and Autonomous Systems - Track 4: Industrial Applications and Emerging Techniques - Track 5: Autonomic and Secure Computing with AI/ML Topics of interest include, but are not restricted to: - Self-Organization and Organic Computing - Cognitive Computing and Self-Aware Computing - Energy Management in Autonomic Computing and Autonomous Systems - Dependable & Fault-tolerant Computing in Big Data, CPS, IoT, SDN, and Real-time System - Hardware and Software Reliability, Verification and Testing - Security and Privacy in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Artificial Intelligence Techniques in Network and System Security and Privacy - Autonomic and Autonomous Issues in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Software/Apps/Tools Development for Dependable and Secure Applications - IoT and Sensor Network, Big Data, Smart Grid, Aerospace, Transportation Applications =====================IMPORTANT DATES========================== Paper Submission Due: 15 Jun 2024 Authors Notification: 15 Aug 2024 Camera-ready Submission: 15 Sep 2024 =====================SUBMISSION INSTRUCTION=================== Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), workshop, and special session papers need to be submitted in IEEE CS Proceedings format. IEEE formatting info: http://www.ieee.org/conferences_events/conferences/publishing/templates.html All the accepted papers will be published by IEEE in the Conference Proceedings (IEEE-DL and EI indexed). Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to prestigious journal Special Issues. Some papers originally submitted as full papers can be accepted as short papers during the review process. In such cases, the authors will need to reduce the paper accordingly when preparing the camera-ready version. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. Regular Tracks: 6-8 pages - WiP/Workshop/Special Session Tracks: 4-6 pages =====================ORGANIZING COMMITTEE============================= -Honorary Chairs- - Tadashi Dohi, Hiroshima University, Japan - Mohammed Atiquzzaman, Univ. of Oklahoma, USA -General Chairs- - Zakirul Alam Bhuiyan, Fordham University, USA - Kenichi Kourai, Kyushu Inst. of Tech., Japan -General Executive Chairs- - Moayad Aloqaily, Mohamad Bin Zayed Univ., UAE - Bernady O. Apduhan, Kyushu Sangyo Univ., Japan -Program Chairs- - Wenjia Li, New York Institute of Technology, USA - Aniello Castiglione, University of Salerno, Italy -Program Co-chairs- - Mohamed Rahouti, Fordham University, USA - Wei Wang, Beijing Jiaotong University, China - Adnan Anwar, Deakin University, Australia - Shan Jiang, The Hong Kong Polytechnic University, Hong Kong - Changqing Luo, Virginia Commonwealth Univ., USA - Lei Chen, Georgia Southern University, USA -Workshop & Special Session Chairs- - Preeti Mishra, Doon University, India - Arafatur Rahman, University of Wolverhampton, UK -WiP & LBI Chairs- - Saqib Ali, Univ. of Agri. Faisalabad, Pakistan - Mrinal Kanti Bhowmik, Tripura University, India -Publicity Chairs- - Mubashir Rehmani, Cork Inst. of Tech., Ireland - Junjun Zheng, Hiroshima University, Japan - Qin Liu, Hunan University, China - Senthil Kumar, Mepco Schlenk Eng. College, India - Yuhong Liu, Santa Clara University, USA -Steering Committee- - Jianhua Ma, Hosei University, Japan - Laurence T. Yang, St. Francis Xavier Univ., Canada - Yuanshun Dai, Univ. of Elec. Sci. & Tech. of China, China - Tadashi Dohi, Hiroshima University, Japan - Zakirul Alam Bhuiyan, Fordham University, USA Program Committee: Please check the "Program Committee" web page on the conference website for details: http://cyber-science.org/2024/dasc/tpc/ Contact: Please email inquiries concerning DASC 2024 to Prof. Zakirul Alam Bhuiyan: zakirulalam AT gmail DOT com. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

1 year, 5 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Azadeh Farzan, a Professor in the Computer Science Department of University of Toronto. The talk is scheduled on Tuesday, April 02, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NGxmbmFvYX…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Coarser Equivalences for Causal Concurrency Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In this talk, I will discuss relaxations of trace equivalence with the goal of maintaining its algorithmic advantages. Specifically, for the problem of checking, in a streaming setting, if two arbitrary steps of a concurrent program run are causally concurrent (i.e. they can be reordered in an equivalent run) or causally ordered (i.e. they always appear in the same order in all equivalent runs), trace equivalence yields constant-space algorithms. I will discuss how certain relaxations, provably, do not yield similar efficient algorithms. Then, I will introduce a new commutativity-based notion of equivalence called grain equivalence that is strictly more relaxed than trace equivalence, and yet yields a constant space algorithm for the same problem. This notion of equivalence uses commutativity of grains, which are sequences of atomic steps, in addition to the standard commutativity from trace theory. I will discuss two distinct cases when the grains are contiguous subwords of the input program run and when they are not, formulate the precise definition of causal concurrency in each case, and show that they can be decided in constant space, despite being strict relaxations of the notion of causal concurrency based on trace equivalence. Bio: Azadeh Farzan is a Professor in the Computer Science Department of University of Toronto. She received her PhD from the University of Illinois at Urbana-Champaign. Her interests are in Software Verification, Programming Languages, Formal Methods, and Security, with an emphasis on concurrency-related issues.

1 year, 5 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Azadeh Farzan, a Professor in the Computer Science Department of University of Toronto. The talk is scheduled on Tuesday, April 02, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NGxmbmFvYX…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Coarser Equivalences for Causal Concurrency Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In this talk, I will discuss relaxations of trace equivalence with the goal of maintaining its algorithmic advantages. Specifically, for the problem of checking, in a streaming setting, if two arbitrary steps of a concurrent program run are causally concurrent (i.e. they can be reordered in an equivalent run) or causally ordered (i.e. they always appear in the same order in all equivalent runs), trace equivalence yields constant-space algorithms. I will discuss how certain relaxations, provably, do not yield similar efficient algorithms. Then, I will introduce a new commutativity-based notion of equivalence called grain equivalence that is strictly more relaxed than trace equivalence, and yet yields a constant space algorithm for the same problem. This notion of equivalence uses commutativity of grains, which are sequences of atomic steps, in addition to the standard commutativity from trace theory. I will discuss two distinct cases when the grains are contiguous subwords of the input program run and when they are not, formulate the precise definition of causal concurrency in each case, and show that they can be decided in constant space, despite being strict relaxations of the notion of causal concurrency based on trace equivalence. Bio: Azadeh Farzan is a Professor in the Computer Science Department of University of Toronto. She received her PhD from the University of Illinois at Urbana-Champaign. Her interests are in Software Verification, Programming Languages, Formal Methods, and Security, with an emphasis on concurrency-related issues.

1 year, 5 months

1
0
0 0

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024

by Qin Liu

Please accept our apologies if you receive multiple copies of IEEE DASC 2024 Preliminary Call for Papers (CFPs). =====================CALL FOR PAPERS============================= The 22nd IEEE International Conference on Dependable, Autonomic and Secure Computing IEEE DASC 2024 http://cyber-science.org/2024/dasc/ joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2024 5-8 November 2024 - Boracay Island, Malay, Philippines =====================INTRODUCTION============================= As computer and communication systems, and other systems such as Cyber-Physical Systems (CPS), Internet of Things (IoT), and Autonomous Robotic Systems, become increasingly large and complex, their Dependability and Security play critical roles in supporting next-generation science, engineering, and commercial applications. It remains a challenge to design, analyze, evaluate, and improve the dependability and security of a large-scale computing environment. Trusted and autonomic computing/autonomous systems need synergistic research efforts covering many disciplines, from natural sciences to social sciences. It requires scientific and technological advances in a variety of fields, as well as new software, architectures, and communication technology that support the integration of the constituent technologies. IEEE DASC 2024 will be held during November 5-8, 2024, in Boracay Island, Malay, Philippines, co-located with IEEE CyberSciTech 2024, IEEE PICom 2024, and IEEE CBDCom 2024. It aims to bring together computer scientists, industrial engineers, and researchers to discuss and exchange theoretical and implementation results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of dependability, security, trust, and/or autonomic computing, and autonomous systems. =====================TRACKS AND TOPICS============================= - Track 1: Dependable and Fault-tolerant Computing - Track 2: Network and System Security and Privacy - Track 3: Autonomic Computing and Autonomous Systems - Track 4: Industrial Applications and Emerging Techniques - Track 5: Autonomic and Secure Computing with AI/ML Topics of interest include, but are not restricted to: - Self-Organization and Organic Computing - Cognitive Computing and Self-Aware Computing - Energy Management in Autonomic Computing and Autonomous Systems - Dependable & Fault-tolerant Computing in Big Data, CPS, IoT, SDN, and Real-time System - Hardware and Software Reliability, Verification and Testing - Security and Privacy in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Artificial Intelligence Techniques in Network and System Security and Privacy - Autonomic and Autonomous Issues in Cloud/Fog/Edge Computing, Mobile and Pervasive Computing, Big Data, CPS and IoT systems - Software/Apps/Tools Development for Dependable and Secure Applications - IoT and Sensor Network, Big Data, Smart Grid, Aerospace, Transportation Applications =====================IMPORTANT DATES========================== Paper Submission Due: 15 Jun 2024 Authors Notification: 15 Aug 2024 Camera-ready Submission: 15 Sep 2024 =====================SUBMISSION INSTRUCTION=================== Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), workshop, and special session papers need to be submitted in IEEE CS Proceedings format. IEEE formatting info: http://www.ieee.org/conferences_events/conferences/publishing/templates.html All the accepted papers will be published by IEEE in the Conference Proceedings (IEEE-DL and EI indexed). Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to prestigious journal Special Issues. Some papers originally submitted as full papers can be accepted as short papers during the review process. In such cases, the authors will need to reduce the paper accordingly when preparing the camera-ready version. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. Regular Tracks: 6-8 pages - WiP/Workshop/Special Session Tracks: 4-6 pages =====================ORGANIZING COMMITTEE============================= -Honorary Chairs- - Tadashi Dohi, Hiroshima University, Japan - Mohammed Atiquzzaman, Univ. of Oklahoma, USA -General Chairs- - Zakirul Alam Bhuiyan, Fordham University, USA - Kenichi Kourai, Kyushu Inst. of Tech., Japan -General Executive Chairs- - Moayad Aloqaily, Mohamad Bin Zayed Univ., UAE - Bernady O. Apduhan, Kyushu Sangyo Univ., Japan -Program Chairs- - Wenjia Li, New York Institute of Technology, USA - Aniello Castiglione, University of Salerno, Italy -Program Co-chairs- - Mohamed Rahouti, Fordham University, USA - Wei Wang, Beijing Jiaotong University, China - Adnan Anwar, Deakin University, Australia - Shan Jiang, The Hong Kong Polytechnic University, Hong Kong - Changqing Luo, Virginia Commonwealth Univ., USA - Lei Chen, Georgia Southern University, USA -Workshop & Special Session Chairs- - Preeti Mishra, Doon University, India - Arafatur Rahman, University of Wolverhampton, UK -WiP & LBI Chairs- - Saqib Ali, Univ. of Agri. Faisalabad, Pakistan - Mrinal Kanti Bhowmik, Tripura University, India -Publicity Chairs- - Mubashir Rehmani, Cork Inst. of Tech., Ireland - Junjun Zheng, Hiroshima University, Japan - Qin Liu, Hunan University, China - Senthil Kumar, Mepco Schlenk Eng. College, India - Yuhong Liu, Santa Clara University, USA -Steering Committee- - Jianhua Ma, Hosei University, Japan - Laurence T. Yang, St. Francis Xavier Univ., Canada - Yuanshun Dai, Univ. of Elec. Sci. & Tech. of China, China - Tadashi Dohi, Hiroshima University, Japan - Zakirul Alam Bhuiyan, Fordham University, USA Program Committee: Please check the "Program Committee" web page on the conference website for details: http://cyber-science.org/2024/dasc/tpc/ Contact: Please email inquiries concerning DASC 2024 to Prof. Zakirul Alam Bhuiyan: zakirulalam AT gmail DOT com. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

1 year, 5 months

1
0
0 0

QEST+FORMATS: Final Call for Papers

by Patrick Totzke

======================================================== FINAL CALL FOR PAPERS ======================================================== The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: - Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); - Languages and methods for the specification of quantitative properties of systems; - Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; - Quantitative and probabilistic aspects of programming; - Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; - Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; - Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: - Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): - Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. - Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. - Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: - Regular papers must not exceed 14 pages, excluding references. - Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer’s authors’ guidelines and use Springer’s LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan Artifact Evaluation Chairs Tobias Meggendorfer, Lancaster University Leipzig, Germany Andrea Vandin, Sant'Anna School for Advanced Studies, Italy For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org).

1 year, 5 months

1
0
0 0

2025

2024

2023

2022

FMIndia