- FMIndia - example.com

IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Umang Mathur, an Assistant Professor in the School of Computing at the National University of Singapore. The talk is scheduled on Tuesday, January 3, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWVtZzZuZn…> ). 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: Dynamic Data Race Prediction: Fundamentals and Advance Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism introduces subtle errors that are both hard to detect and to reproduce. Data races are arguably the most insidious amongst concurrency bugs and extensive research efforts have been dedicated to effectively detect them. A data race occurs when memory-conflicting actions are executed concurrently. Consequently, considerable effort has been made towards developing efficient techniques for race detection. The preferred approach to detect data races is through dynamic analysis, where one observes an execution of a concurrent program and checks for the presence of data races in the execution observed. Traditional dynamic race detectors rely on Lamport's happens-before (HB) partial order, which can be conservative and are often unable to discover simple data races, even after executing the program several times. Dynamic data race prediction aims to expose data races, that can be otherwise missed by traditional dynamic race detectors (such as those based on HB), by inferring data races in alternate executions of the underlying program, without re-executing it. In this talk, I will talk about the fundamentals of and recent algorithmic advances in data race prediction. Bio: Umang Mathur is an Assistant Professor at the National University of Singapore. He received his PhD from the University of Illinois at Urbana Champaign in 2021 and was an NTT Research Fellow at the Simons Institute for the Theory of Computing at Berkeley. His research interests lie in the use of formal methods and logic for answering design, analysis and implementation questions in programming languages, software engineering and systems. He is a recipient of a Google Research Award (2022), Google PhD Fellowship (2019), an ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'18, a Best Paper Award at ASPLOS'22 and was invited as a Young Researcher at the 8th Heidelberg Laureate Forum.

3 years, 1 month

1
0
0 0

Deadline extension : ICECCS 2023 (Toulouse, France)

by Étienne André

ICECCS 2023 - Call for Papers *************************************************************************************** 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) 12 - 16 June 2023, Toulouse, France https://www.irit.fr/iceccs2023/ *************************************************************************************** NEW! paper submission deadline extended to 16th January 2023. The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) is a well-established event that has been held around the world for over 25 years. Over the past years, we have seen a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. List of Topics -------------- Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: + Requirements analysis and specification + Verification and validation + Security and privacy of complex systems + Model-driven development + Reverse engineering and refactoring + Software Architecture + Human Machine Interaction + Big data management + Ubiquitous computing, context awareness, sensor networks + SAT/SMT solvers for software analysis and testing + Agile methods + Safety-critical and fault-tolerant architectures + Adaptive, self-managing and multi-agent systems + Cyber-physical systems and Internet of Things (IoT) + Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Submission and Publication -------------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by the program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in the industry, and reflect on the lessons learnt from them. Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by the program committee members, and accepted short papers will be published in the conference proceedings. Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings have been published by the Conference Publishing Services (CPS) of the IEEE Computer Society. Submitted manuscripts should be in English and formatted in the style of the double-column IEEE CPS format. Full papers should not exceed 9 pages + 1 page for bibliography, and short papers should not exceed 5 pages + 1 page for bibliography, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately without review. Please prepare your manuscripts in accordance with the IEEE CPS guidelines. https://www.ieee.org/conferences/publishing/templates.html We invite all prospective authors to submit their manuscripts via the ICECCS 2023 portal, hosted by the EasyChair conference management system. https://easychair.org/conferences/?conf=iceccs2023 Important Dates --------------- + Abstract Submissions Due: 08 December, 2022 ==> EXTENDED to 9th January 2023 + Full Paper Submissions Due: 15 December, 2022 ==> EXTENDED to 16th January 2023 + Acceptance/Rejection Notification: 15 March, 2023 + Camera-ready Due: 15 April, 2023 + Conference Dates: 12-16 June 2023 General Chair ------------- Dominique Méry, LORIA, Université de Lorraine, Nancy, France Program Committee Co-Chairs --------------------------- Yamine Ait-Ameur, IRIT-ENSEEIHT, Toulouse, France Ferhat Khendek, Concordia University, Montreal, Canada Program Committee ----------------- see https://www.irit.fr/iceccs2023/ ICECCS 2023 is referenced on https://www.conferences-computer.science/

3 years, 1 month

1
0
0 0

IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Krishna S, a faculty member in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Tuesday, December 6, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWU1amtjNG…> ). 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: Verification of Concurrent Programs under Release Acquire Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: This is an overview of some recent work on the verification of concurrent programs. Traditionally concurrent programs are interpreted under sequential consistency (SC). Eventhough SC is very intuitive and easy to use, modern multiprocessors do not employ SC for performance reasons, and instead use so called "weak memory models". Some of the well known weak memory models in vogue among modern multiprocessor architectures are Intel x-86, IBM POWER and ARM. The use of weak memory is also prevalent in the C11 model, leading to the release acquire fragment of C11. This talk is on the verification of concurrent programs under the release acquire (RA) semantics. The main focus of the talk will be on non parameterized programs under RA, and I will briefly discuss results in the parameterized setting. In the non parameterized setting, we show that the reachability problem for RA is undecidable even in the case where the input program is finite-state, closing a long standing open problem. What works well for this class is under approximate reachability, in the form of bounded view switching, an analogue of bounded context switching, relevant to RA. In the parameterized setting, the first observation is that the semantics of RA can be simplified, lending to a better complexity for verification. Further, safety verification is PSPACE-complete for the case where the distinguished threads are loop-free, and jumps to NEXPTIME-complete for the setting where an unrestricted distinguished ego thread interacts with the environment threads. This talk is based on papers that appeared in PLDI'19 (joint with Parosh Abdulla, Mohamed Faouzi Atig and Jatin Arora), PODC'22 (joint with Roland Meyer, Adwait Godbole and Soham Chakraborty), and Arxiv'21 (with Roland Meyer and Adwait Godbole). Bio: Krishna S is a faculty member in the Department of Computer Science and Engineering at IIT Bombay. Her areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.

3 years, 1 month

1
0
0 0

IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Krishna S, a faculty member in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Tuesday, December 6, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWU1amtjNG…> ). 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: Verification of Concurrent Programs under Release Acquire Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: This is an overview of some recent work on the verification of concurrent programs. Traditionally concurrent programs are interpreted under sequential consistency (SC). Eventhough SC is very intuitive and easy to use, modern multiprocessors do not employ SC for performance reasons, and instead use so called "weak memory models". Some of the well known weak memory models in vogue among modern multiprocessor architectures are Intel x-86, IBM POWER and ARM. The use of weak memory is also prevalent in the C11 model, leading to the release acquire fragment of C11. This talk is on the verification of concurrent programs under the release acquire (RA) semantics. The main focus of the talk will be on non parameterized programs under RA, and I will briefly discuss results in the parameterized setting. In the non parameterized setting, we show that the reachability problem for RA is undecidable even in the case where the input program is finite-state, closing a long standing open problem. What works well for this class is under approximate reachability, in the form of bounded view switching, an analogue of bounded context switching, relevant to RA. In the parameterized setting, the first observation is that the semantics of RA can be simplified, lending to a better complexity for verification. Further, safety verification is PSPACE-complete for the case where the distinguished threads are loop-free, and jumps to NEXPTIME-complete for the setting where an unrestricted distinguished ego thread interacts with the environment threads. This talk is based on papers that appeared in PLDI'19 (joint with Parosh Abdulla, Mohamed Faouzi Atig and Jatin Arora), PODC'22 (joint with Roland Meyer and Adwait Godbole) as well as some unpublished work. Bio: Krishna S is a faculty member in the Department of Computer Science and Engineering at IIT Bombay. Her areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.

3 years, 2 months

1
0
0 0

2nd call for papers: ICECCS 2023 (Toulouse, France)

by Étienne André

ICECCS 2023 - Call for Papers *************************************************************************************** 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) 12 - 16 June 2023, Toulouse, France https://www.irit.fr/iceccs2023/ *************************************************************************************** The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) is a well-established event that has been held around the world for over 25 years. Over the past years, we have seen a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. List of Topics -------------- Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: + Requirements analysis and specification + Verification and validation + Security and privacy of complex systems + Model-driven development + Reverse engineering and refactoring + Software Architecture + Human Machine Interaction + Big data management + Ubiquitous computing, context awareness, sensor networks + SAT/SMT solvers for software analysis and testing + Agile methods + Safety-critical and fault-tolerant architectures + Adaptive, self-managing and multi-agent systems + Cyber-physical systems and Internet of Things (IoT) + Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Submission and Publication -------------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by the program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in the industry, and reflect on the lessons learnt from them. Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by the program committee members, and accepted short papers will be published in the conference proceedings. Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings have been published by the Conference Publishing Services (CPS) of the IEEE Computer Society. Submitted manuscripts should be in English and formatted in the style of the double-column IEEE CPS format. Full papers should not exceed 9 pages + 1 page for bibliography, and short papers should not exceed 5 pages + 1 page for bibliography, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately without review. Please prepare your manuscripts in accordance with the IEEE CPS guidelines. https://www.ieee.org/conferences/publishing/templates.html We invite all prospective authors to submit their manuscripts via the ICECCS 2023 portal, hosted by the EasyChair conference management system. https://easychair.org/conferences/?conf=iceccs2023 Important Dates --------------- + Abstract Submissions Due: 08 December, 2022 + Full Paper Submissions Due: 15 December, 2022 + Acceptance/Rejection Notification: 15 March, 2023 + Camera-ready Due: 15 April, 2023 + Conference Dates: 12-16 June 2023 General Chair ------------- Dominique Méry, LORIA, Université de Lorraine, Nancy, France Program Committee Co-Chairs --------------------------- Yamine Ait-Ameur, IRIT-ENSEEIHT, Toulouse, France Ferhat Khendek, Concordia University, Montreal, Canada Program Committee ----------------- see https://www.irit.fr/iceccs2023/ ICECCS 2023 is referenced on https://www.conferences-computer.science/

3 years, 2 months

1
0
0 0

7th Indian SAT+SMT School -- Second call for participation

by Kumar Madhukar

Dear all, The 7th edition of the Indian SAT+SMT School will be held (in-person) during 15-17 December 2022, at IIT Madras, co-located with FSTTCS 2022. Please visit the webpage (https://sat-smt.in/index.html) for registration and other details. We are also inviting entries for poster presentations and talks, in the broad area of SAT/SMT, through this Google form: https://docs.google.com/forms/d/e/1FAIpQLScpAxed6T04Y2KSyacDMKpElTZQgVmd9dR… Please submit your entries by Nov. 15th. Note that a print-out of presentation-slides may be used in place of posters during the poster presentation. We look forward to your participation. Needless to say, we'd be very happy to clarify any questions you might have in this regard. Feel free to write to us at indian.satsmt.school(a)gmail.com <mailto:indian.satsmt.school @gmail.com <indian.satsmt.school(a)gmail.com>>. Best regards, Supratik Chakraborty, IIT Bombay Ashutosh Gupta, IIT Bombay Saurabh Joshi, SupraOracles Kumar Madhukar, IIT Delhi Kuldeep Meel, NUS Subodh Sharma, IIT Delhi

3 years, 2 months

1
0
0 0

7th Indian SAT+SMT School -- Call for participation

by Kumar Madhukar

Dear all, The 7th edition of the Indian SAT+SMT School will be held (in-person) during 15-17 December 2022, at IIT Madras, co-located with FSTTCS 2022 ( https://www.fsttcs.org.in/2022/). You are welcome to register yourself here: https://sat-smt.in/registration.html (the early bird discount closes on Nov. 5th). We are also inviting entries for poster presentations and talks, in the broad area of SAT/SMT, through this Google form: https://docs.google.com/forms/d/e/1FAIpQLScpAxed6T04Y2KSyacDMKpElTZQgVmd9dR… If you are interested in giving a talk or presenting a poster, please submit your entries by Nov. 15th. Note that a print-out of presentation-slides may be used in place of posters during the poster presentation. We look forward to your participation. Needless to say, we'd be very happy to clarify any questions you might have in this regard. Feel free to write to us at indian.satsmt.school(a)gmail.com <mailto:indian.satsmt.school @gmail.com <indian.satsmt.school(a)gmail.com>>. Best regards, Supratik Chakraborty, IIT Bombay Ashutosh Gupta, IIT Bombay Saurabh Joshi, SupraOracles Kumar Madhukar, IIT Delhi Kuldeep Meel, NUS Subodh Sharma, IIT Delhi

3 years, 3 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Shibashis Guha on Nov. 1 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Shibashis Guha, a faculty member at the School of Technology and Computer Science at Tata Institute of Fundamental Research, Mumbai. The talk is scheduled on Tuesday, November 1, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MGsxMHR2dT…> ). 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: A Game of Pawns Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We introduce and study pawn games; a class of two-player turn-based zero-sum games in which the control of vertices changes dynamically throughout the game. Pawn games naturally model ongoing decision-making setting in which resources are transferable. Each vertex of a pawn game is owned by a pawn. In each round of the game, the pawns are partitioned between the two players. The player who moves the token from a vertex is the player who controls the pawn that owns the vertex. A pawn game is equipped with a mechanism, which the players apply after each round in order to update the set of pawns that they control. We define several grabbing-based mechanisms in which control of at most one pawn transfers at the end of each round. We study the complexity of solving reachability pawn games, where we parameterize the problem by the mechanism that is being used and by restrictions on pawn ownership of vertices. For the positive news, even though pawn games are exponentially-succinct turn-based games, we identify some natural classes that can be solved in PTIME. For the negative news, we identify some classes for which the problem is EXPTIME-complete. Our EXPTIME-hardness results are based on a class of games which we introduce and call Lock-and-Key games, and which may be of independent interest. This is a joint work with Guy Avni and Pranav Ghorpade. Bio: Shibashis Guha is a faculty member at the School of Technology and Computer Science at Tata Institute of Fundamental Research, Mumbai. Before this, he was a postdoc at the Verification Group in Université libre de Bruxelles and at The Hebrew University in the group of Prof. Orna Kupferman. He did his PhD from the Department of Computer Science and Engineering at IIT Delhi, under the supervision of Prof. S. Arun-Kumar. His research interests include reactive synthesis, probabilistic systems, timed automata, behavioural equivalences, formal methods and its intersection with algorithmic game theory.

3 years, 3 months

1
0
0 0

7th Indian SAT+SMT School -- Call for posters/talks

by Kumar Madhukar

Dear all, The 7th edition of the Indian SAT+SMT School will be held during 15-17 December 2022, at IIT Madras, co-located with FSTTCS 2022. This will be an in-person event, for which you may register here: https://sat-smt.in/registration.html We invite entries for poster presentations and talks in the broad area of SAT/SMT. If you are interested, please let us know by submitting this Google form: https://docs.google.com/forms/d/e/1FAIpQLScpAxed6T04Y2KSyacDMKpElTZQgVmd9dR… The deadline for this is Nov. 15th (anywhere on earth). Note that a print-out of presentation-slides may be used in place of posters during the poster presentation. We look forward to your participation. Needless to say, we'd be very happy to clarify any questions you might have in this regard. Feel free to write to us at indian.satsmt.school(a)gmail.com <mailto:indian.satsmt.school @gmail.com <indian.satsmt.school(a)gmail.com>>. Best regards, Supratik Chakraborty, IIT Bombay Ashutosh Gupta, IIT Bombay Saurabh Joshi, SupraOracles Kumar Madhukar, IIT Delhi Kuldeep Meel, NUS Subodh Sharma, IIT Delhi

3 years, 3 months

1
0
0 0

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30

by Qin Liu

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30 Please accept our apologies if you receive multiple copies of this Final UbiSec 2022 Second Batch Call for Papers (CFPs) with Deadline October 30, 2022 (Final, No further extension will be granted). ============================== UbiSec 2022 ============================== Conferences Pivoting to a Part-Virtual Platform [UbiSec 2022] - Now Taking Place Part-Virtually Due to the current COVID-19 situation, the UbiSec 2022 conference will be a combination of online and offline event. For authors who consider to present their papers online, please pay a half of author registration fees for each paper and show this "Half Registration Fees" information in the "Remarks" field in the registration form; For attendees who will join the conference online, please pay a half of attendee registration fees and show this "Half Registration Fees" information in the "Remarks" field in the registration form. For questions, contact [UbiSec2022 AT googlegroups DOT com]. Final CFPs of The Second International Conference on Ubiquitous Security (UbiSec 2022) Zhangjiajie, China, December 28 - 31, 2022 Organizers: Guangzhou University, China Jishou University, China http://ubisecurity.org/2022/ ====================================================================== Keynote Speeches Section You are welcome to attend 5+ Keynote Speeches offerred by world-renowned professors and industry leaders. The detailed information will appear soon. (1) Keynote 1: Prof. Richard Hill, University of Huddersfield, UK Title: Next Generation Security for Cyber Physical Systems https://pure.hud.ac.uk/en/persons/richard-hill (2) Keynote 2: Prof. Tien N. Nguyen, University of Queensland, Australia Title: Intelligent Software Vulnerability Detection https://personal.utdallas.edu/~tien.n.nguyen/ (3) Keynote 3: Prof. Omer Rana, Cardiff University, UK Title: Security-Aware Task Execution across the Edge-Cloud Continuum https://www.cardiff.ac.uk/people/view/118157-rana-omer (4) Keynote 4: Prof. Kouichi SAKURAI, Kyushu University, Japan Title: State and Issues of Non-Fungible Token from Technical Point of View https://hyoka.ofc.kyushu-u.ac.jp/search/details/K000220/english.html (5) Keynote 5: Prof. Deqing Zou, Huazhong University of Science and Technology, China Title: Achieving Scalability and Interpretability Simultaneously in Detecting Multi-granularity Vulnerabilities http://faculty.hust.edu.cn/zoudeqing/zh_CN/index.htm ====================================================================== Invited Talks Section You are welcome to attend 10+ Invited Talks offerred by world-renowned professors and industry leaders. The detailed information will appear soon. (1) Prof. Arcangelo Castiglione, University of Salerno, Italy Title: New Insights on Cryptographic Hierarchical Access Control: Models, Schemes, and Analysis https://docenti.unisa.it/026260/en/home (2) Prof. Scott Fowler, Linkoping University, Sweden Title: Optimize Industrial IoT HVAC by using Machine Learning https://liu.se/en/employee/scofo47, https://sites.google.com/site/scofo47 (3) Prof. Wenjun Jiang, Hunan University, China Title: Online user analysis and learning optimization http://csee.hnu.edu.cn/people/jiangwenjun (4) Prof. Ryan Ko, University of Queensland, Australia Title: Operational Technology (OT) and Supply Chain Cyber Security: The Storm Approaching Us https://itee.uq.edu.au/profile/1409/ryan-ko (5) Prof. Qin Liu, Hunan University, China Title: Secure Search in Cloud Computing and Emerging Applications https://qinliu-hnu.github.io/ (6) Prof. Sabu M. Thampi, Kerala University of Digital Sciences, Innovation and Technology (KUDSIT), India Title: Security and Privacy Issues in the Internet of Drones http://www.sabumthampi.in (7) Prof. Tian Wang, Beijing Normal University, China Title: Distributed Mobile Computation Offloading and Edge Intelligence https://cist.bnu.edu.cn/xygk/szdw/zgj/104104.html (8) Prof. Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Title: Mutual Authentication with Multi-factor and Hybrid Approach to Intrusion Detection in IoT-Fog-Cloud Environment https://lrg.ufsc.br/westphal/ (9) Prof. Yulei Wu, University of Exeter, UK Title: Trustworthiness of anomaly detection for IIoT http://empslocal.ex.ac.uk/people/staff/yw433/ (10) Prof. Yang Xu, Hunan University, China Title: Blockchain-enabled Cloud Security: Frameworks and Solutions http://csee.hnu.edu.cn/people/xuyang ====================================================================== Panel Discussions Section You are welcome to attend 2+ Panel Discussions offerred by world-renowned professors and industry leaders. The detailed information will appear soon. ====================================================================== Special Issues Section Distinguished papers, after further revisions, will be published in 20+ SCI & EI indexed special issues. Here is the list of Special Issues that we will recommend high-quality papers for possible publication *: (1) IEICE Transactions on Information and Systems (SCI & EI Indexed, Impact Factor: 0.559) Special Section on Blockchain and Security (Pending). (2) IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing (SCI & EI Indexed, Impact Factor: 4.715) Special Issue on Security and Privacy-preserving Solutions on Remote Sensing Data of Smart Cities https://4d8xuv2577wggnmowfwzehpo-wpengine.netdna-ssl.com/wp-content/uploads… Deadline for manuscript submissions: 28 February 2023. (3) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Security and Privacy for Edge, Fog, and Cloud Computing; the Internet of Things and Mobile Crowdsensing https://www.mdpi.com/journal/sensors/special_issues/SP_EFC Deadline for manuscript submissions: 10 October 2023. (4) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Fog/Edge Computing based Smart Sensing System http://www.mdpi.com/journal/sensors/special_issues/FCSCS Deadline for manuscript submissions: 31 March 2023. (5) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Cyber Situational Awareness in Computer Networks https://www.mdpi.com/journal/sensors/topical_collections/Cyber_Situational_… Deadline for manuscript submissions: 31 March 2023. (6) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Security, Trust and Privacy in New Computing Environments https://www.mdpi.com/journal/sensors/topical_collections/STPNCE Deadline for manuscript submissions: 31 March 2023. (7) Connection Science (SCI & EI Indexed, Impact Factor: 1.972) https://www.tandfonline.com/ccos20 Some selected conference papers will be recommended for possible publication in regular issues of this journal, with a sufficient amount of new materials added into the journal version. Deadline for manuscript submissions: 31 March 2023. (8) Computers, Materials & Continua (SCI & EI Indexed, Impact Factor: 3.86) https://techscience.com/cmc/special_detail/human-centric_edge Special Issue on AI Powered Human-centric Computing with Cloud and Edge Deadline for manuscript submissions: 1 March 2023. (9) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Cryptography and Security Protocol in Internet of Things https://www.mdpi.com/journal/sensors/special_issues/CSPIOT Deadline for manuscript submissions: 31 December 2022. (10) Applied Sciences (SCI & EI Indexed, Impact Factor: 2.838) Special Issue on Computational Methods for Next Generation Wireless and IoT Applications https://www.mdpi.com/journal/applsci/special_issues/Generation_Wireless_IoT Deadline for manuscript submissions: 31 December 2022. (11) Sensors (SCI & EI Indexed, Impact Factor: 3.847) Special Issue on Advanced Signal Processing and Human-Machine Interface for Healthcare Diagnostics and Bioengineering Applications https://www.mdpi.com/journal/sensors/special_issues/advanced_signal_process… Deadline for manuscript submissions: 20 December 2022. (12) Information Sciences (SCI & EI Indexed, Impact Factor: 8.233) Special Issue on Decentralized Trust Management with Intelligence https://www.sciencedirect.com/journal/information-sciences/about/call-for-p… Deadline for manuscript submissions: 1 December 2022. (13) ISA Transactions (SCI & EI Indexed, Impact Factor: 5.468) Special Issue on Security and Privacy of AI-based Automation Systems http://ubisecurity.org/2022/share/CFP%20-%20ISA%20Transactions%20SI%20-%20S… Deadline for manuscript submissions: 30 November 2022. (14) Electronics (SCI & EI Indexed, Impact Factor: 2.690) Special Issue on Cybersecurity and Privacy Issues in Cyber-Physical Systems and Industrial Control Systems https://www.mdpi.com/journal/electronics/special_issues/cyber_industrial_co… Deadline for manuscript submissions: 25 November 2022. (15) IET Cyber-Physical Systems: Theory & Applications (EI Indexed) Special Issue on IoT-based Secure Health Monitoring and Tracking through Estimated Computing https://ietresearch.onlinelibrary.wiley.com/pb-assets/assets/23983396/Speci… Deadline for manuscript submissions: 30 April 2023. (16) International Journal of Computational Science and Engineering (IJCSE) (EI Indexed) http://www.inderscience.com/browse/index.php?journalCODE=ijcse Some selected conference papers will be recommended for possible publication in regular issues of this journal, with a sufficient amount of new materials added into the journal version. Deadline for manuscript submissions: 31 March 2023. (17) Cryptography (EI Indexed) Special Issue on Privacy-Preserving Techniques in Cloud/Fog and Internet of Things https://www.mdpi.com/journal/cryptography/special_issues/Privacy_Preserving… Deadline for manuscript submissions: 10 January 2023. (18) ACM Distributed Ledger Technologies: Research and Practice (ACM DLT) (EI Indexed) Special Issue on Recent Advances of Blockchain Evolution: Architecture and Performance https://dl.acm.org/pb-assets/static_journal_pages/dlt/pdf/DLT-SI-Recent-Adv… Deadline for manuscript submissions: 15 December 2022. (19) Organizational Cybersecurity Journal: Practice, Process and People Special Issue on Organizational Cybersecurity Journal: Practice, Process and People https://www.emeraldgrouppublishing.com/calls-for-papers/cybersecurity-highe… Deadline for manuscript submissions: 30 March 2023. (20) Acta Informatica Pragensia Special Issue on Deep Learning Blockchain-enabled Technology for Improved Healthcare Industrial Systems https://aip.vse.cz/corproof.php?tartkey=aip-000000-0305&fbclid=IwAR1veJzaae… Deadline for manuscript submissions: 20 December 2022. * More special issues will be available soon. ====================================================================== Welcome to participate in UbiSec 2022, Zhangjiajie, China, December 28 - 31, 2022! Zhangjiajie is an emerging tourist destination famous for its unique natural scenery and abundant tourism resources. It is located in the northwest of Hunan province, about 400 kilometers away from Changsha, the capital of Hunan province, covering a total area of 9,516 square kilometers, of which 76% are mountainous area. Out of its total population of 1.52 million, almost 77% belong to ethnic minority groups, including Tujia, Bai and Miao nationalities. Zhangjiajie National Forest Park was established by the State Council in 1982 as the first National Forest Park of China. Wulingyuan in Zhangjiajie was listed into the World Natural Heritage Catalogue by the UNESCO in 1992 and appraised as a national AAAAA scenic area. Zhangjiajie was awarded the title of "World Geological Park" in 2004. The amazing landscape here had been a source of creation of the CGI artist in the Avatar movie, and since the movie was released and achieved a great success, many tourists keeping coming to Zhangjiajie admiring this natural beauty. The Second International Conference on Ubiquitous Security (UbiSec 2022) stems from three conference/symposium/workshop series: (1) The well-established SpaCCS conference series with Springer LNCS: UbiSec is inspired by the SpaCCS style of three tracks (Security, Privacy, and Anonymity, "Spa" for short), which covers "Big Security" leveraging computation, communication and storage ("CCS" for short) systems and networks. UbiSec extends this style with three new tracks: Cyberspace Security, Cyberspace Privacy, and Cyberspace Anonymity. (2) The UbiSafe symposium series: UbiSec follows the UbiSafe vision on "Ubiquitous Safety", also meaning that "YOU (will) BE SAFE" (pronounced "UbiSafe"). UbiSec extends this vision to "Ubiquitous Security", using "Big Security" to embrace NOT ONLY security, privacy and anonymity, BUT ALSO safety, reliability, dependability, trustworthiness and more, also meaning that "YOU (will) BE SEC(ure)" (pronounced "UbiSec"). (3) The IWCSS workshop series: UbiSec follows the IWCSS theme on "Cyberspace Security", with "Cyberspace" as the 5th national sovereign space besides the traditional four domains of land, sea, air, and aerospace. UbiSec extends this theme to "Ubiquitous Security", meaning that cyberspace will be secure, physical world will be secure, social networking systems will be secure, and thus "YOU (will) BE SECure"! The UbiSec 2022 Conference ("The Conference" for short) is the second event in the series of conferences/symposia/workshops which are devoted to security, privacy and anonymity in cyberspace, physical world, and social networks. The Conference covers many dimensions including security algorithms and architectures, privacy-aware policies, regulations and techniques, anonymous computation and communication, encompassing fundamental theoretical approaches, practical experimental projects, and commercial application systems for cyberspace, physical world, and social networking systems. As applications of computer and information technology have permeated in every aspect of our daily life, the issues of security, privacy, and anonymity have become increasingly critical. The Conference will provide a forum for world-class researchers to gather and share their research achievements, emerging ideas and trends in the highly challenging research fields. UbiSec 2022 follows the UbiSec 2021 conference in Guangzhou and also the traditions of previous successful SpaCCS/UbiSafe/IWCSS conference/symposium/workshop series, held in Nanjing, China (SpaCCS 2020/UbiSafe 2020), Guangzhou, China (IWCSS 2020); Altanta, USA (SpaCCS 2019/UbiSafe 2019), Guangzhou, China (IWCSS 2019); Melbourne, Australia (SpaCCS 2018/UbiSafe 2018), Guangzhou China (IWCSS 2018); Guangzhou, China (SpaCCS 2017/UbiSafe 2017/IWCSS 2017); Zhangjiajie, China (SpaCCS 2016/UbiSafe 2016); Helsinki, Finland (UbiSafe 2015); Beijing, China (UbiSafe 2014); Melbourne, Australia (UbiSafe 2013); Liverpool, UK (UbiSafe 2012); Changsha, China (UbiSafe 2011); Chengdu China (UbiSafe 2009); and Niagara Falls, Canada (UbiSafe 2007). The conference aims at bringing together researchers and practitioners in the world working in the research fields of security, privacy, and anonymity aspects of computer systems and networks. The conference will focus on broad areas of architectures, algorithms, techniques, and applications for cyberspace security, cyberspace privacy, and cyberspace anonymity. UbiSec 2022 topics include, but are not limited to the following: Track 1: Cyberspace Security --Security Model and Architecture --Software and System Security --Trustworthy Computing --Security in Cloud/Fog/Edge Computing and Pervasive/Ubiquitous Computing --Machine Learning and AI Security --Network Security --Attacks and Defenses --Intrusion Detection and Prevention --Security in Web Services --Security in Mobile Social Networks --Security in Internet of Things --Fraud and Cyber Crime --Accounting and Auditing --Applied Cryptography --Database Security --Authentication --Forensics and Diagnostics for Security --Information Hiding --Security in Big Data and its Applications --Blockchain and Distributed System Security --Security in Hardware, Side Channels, and CyberPhysical Systems --Security in Formal Methods and Programming Languages Track 2: Cyberspace Privacy --Economics, Policies, Metrics, and Mechanisms of Privacy --Privacy Modeling and Analysis --Privacy-Preserving Computing --Privacy-Preserving Data Mining --Privacy-Enhancing Technologies and Anonymity --Privacy for Internet of Things --Privacy in Big Data and its Applications --Privacy-Preserving in Blockchain --Privacy-Preserving in Mobile Social Networks --Privacy-Preserving Crowdsensing --Privacy-Preserving Deep Learning Track 3: Cyberspace Anonymity --Anonymous Data Mining and Data Sharing --Anonymous Management in Trust Relationships --Anonymous Video Analytics Technology --Anonymity Metrics, Measures and Evaluations --Anonymity Models, Hardware/Device of Anonymity --Anonymity in Wireless Communication Systems --Anonymous Communication Protocols --Anonymity in Mobile, Ad Hoc, and Wireless Sensor Networks --Anonymous Communication and Internet --Anonymous Social Networks, Structural k-Anonymity in Social Networks --Authentication Protocol Providing User Anonymity --Anonymous Information Storage and Management --Private and Anonymous Data Storage --Anonymity, Pseudonymity & Identity Management --Anonymity in Big Data and Cloud Scenarios --Anonymity in Health and Medical Databases --Anonymity in Sensor-Cloud Systems --Anonymity in Edge Computing IMPORTANT DATES Paper Submission Deadline: October 30, 2022 (Second Batch, No further extension will be granted) Author Notification: November 30, 2022 (Second Batch) Author Registration Due: December 20, 2022 (Second Batch) Camera-Ready Paper Due: December 20, 2022 (Second Batch) Conference Dates: December 28 - 31, 2022 SUBMISSION and PUBLICATION INFORMATION All presented papers in the conference will be published in the conference proceedings with Springer Communications in Computer and Information Science (CCIS). Papers must be clearly presented in English, must not exceed 14 pages in Springer CCIS format (or up to 20 pages with the pages over length charge), including tables, figures, references and appendices. Notice that accepted papers less than 12 pages will be tagged as Short Papers. Papers should be submitted through the EasyChair paper submission system at the conference website. Distinguished papers, after further revisions, will be considered for possible publication in SCI & EI indexed special issues of prestigious international journals. The program committee will select and give three "Best Paper Awards" for the conference. By submitting a paper to the conference, authors assure that if the paper is accepted, at least one author will attend the conference and present the paper. Excecutive General Chair Guojun Wang, Guangzhou University, China Local Organizing Chair Jianfeng Li, Jishou University, China General Chairs Hanpin Wang, Guangzhou University, China Richard Hill, University of Huddersfield, United Kingdom Aniello Castiglione, University of Naples Parthenope, Italy Program Chairs Guojun Wang, Guangzhou University, China Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA Jie Wu, Temple University, USA Ernesto Damiani, Khalifa University, UAE/Universita' degli Studi di Milano, Italy Program Vice Chairs (1) Cyberspace Security Track Qin Liu, Hunan University, China Wenjia Li, New York Institute of Technology, USA Jie Hu, University of Electronic Science and Technology of China, China Saed Alrabaee, United Arab Emirates University, UAE Charalambos (Harrys) Konstantinou, King Abdullah University of Science and Technology, Saudi Arabia (2) Cyberspace Privacy Track Yulei Wu, University of Exeter, United Kingdom Wenjun Jiang, Hunan University, China Saqib Ali, University of Agriculture Faisalabad, Pakistan Md Tariqul Islam, Syracuse University, USA Saad Khan, University of Huddersfield, United Kingdom (3) Cyberspace Anonymity Track Tian Wang, Beijing Normal University & UIC, China A. S. M. Kayes, La Trobe University, Australia Oana Geman, University of Suceava, Romania Mamoun Alazab, Charles Darwin University, Australia Hudan Studiawan, Institut Teknologi Sepuluh Nopember, Indonesia Publicity Chairs Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Scott Fowler, Linkoping University, Sweden Peter Mueller, IBM Zurich Research Laboratory, Switzerland Haroon Elahi, Umea University, Sweden Yulei Wu, University of Exeter, United Kingdom Xiangyong Liu, Guangzhou University, China Workshop Chairs Sabu M. Thampi, Kerala University of Digital Sciences, Innovation and Technology (KUDSIT), India Arcangelo Castiglione, University of Salerno, Italy Shuhong Chen, Guangzhou University, China Publication Chairs Tao Peng, Guangzhou University, China Fang Qi, Central South University, China Registration Chairs Xiaofei Xing, Guangzhou University, China Pin Liu, Central South University, China Pengfei Yin, Jishou University, China Conference Secretariat Wenyin Yang, Foshan University, China Web Chairs Ziwei Xiao, Foshan University, China Jianguo Jiang, Foshan University, China Steering Committee Guojun Wang, Guangzhou University, China (Chair) Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA (Chair) Saqib Ali, University of Agriculture Faisalabad, Pakistan Valentina E. Balas, Aurel Vlaicu University of Arad, Romania Md Zakirul Alam Bhuiyan, Fordham University, USA Jiannong Cao, The Hong Kong Polytechnic University, Hong Kong Aniello Castiglione, University of Naples Parthenope, Italy Scott Fowler, Linkoping University, Sweden Oana Geman, University of Suceava, Romania Richard Hill, University of Huddersfield, United Kingdom Ryan Ko, University of Queensland, Australia Kuan-Ching Li, Providence University, Taiwan Jianhua Ma, Hosei University, Japan Gregorio Martinez, University of Murcia, Spain Peter Mueller, IBM Zurich Research Laboratory, Switzerland Kouichi Sakurai, Kyushu University, Japan Sabu M. Thampi, Indian Institute of Information Technology and Management - KeralaKerala University of Digital Sciences, Innovation and Technology (KUDSIT), India Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Jie Wu, Temple University, USA Yang Xu, Hunan University, China Zheng Yan, Xidian University, China/Aalto University, Finland Wenyin Yang, Foshan University, China Haojin Zhu, Shanghai Jiao Tong University, China Program Committee Please check the "Program Committee" web page at the conference website for detail: http://ubisecurity.org/2022/ Archived Conference Proceedings: (1) UbiSec 2021 Conference Proceedings https://link.springer.com/book/10.1007/978-981-19-0468-4 (2) SpaCCS 2020 Conference Proceedings https://link.springer.com/book/10.1007/978-3-030-68851-6 SpaCCS 2020 Workshops Proceedings https://link.springer.com/book/10.1007/978-3-030-68884-4 (3) SpaCCS 2019 Conference Proceedings https://link.springer.com/book/10.1007/978-3-030-24907-6 SpaCCS 2019 Workshops Proceedings https://link.springer.com/book/10.1007/978-3-030-24900-7 (4) SpaCCS 2018 Conference Proceedings https://link.springer.com/book/10.1007/978-3-030-05345-1 (5) SpaCCS 2017 Conference Proceedings https://link.springer.com/book/10.1007/978-3-319-72389-1 SpaCCS 2017 Workshops Proceedings https://link.springer.com/book/10.1007/978-3-319-72395-2 (6) SpaCCS 2016 Conference Proceedings https://link.springer.com/book/10.1007/978-3-319-49148-6 SpaCCS 2016 Workshops Proceedings https://link.springer.com/book/10.1007/978-3-319-49145-5 Contact Please email inquiries concerning UbiSec 2022 to Prof. Guojun Wang: csgjwang AT gmail DOT com and Conference Organizers: UbiSec2022 AT googlegroups.com. Prof. Guojun Wang, Executive General Chair of UbiSec 2022 http://trust.gzhu.edu.cn/faculty/~csgjwang/ -- *********************************************************************** Dr. Guojun Wang, Pearl River Scholarship Distinguished Professor Director of Institute of Computer Networks, School of Computer Science and Cyber Engineering, Guangzhou University, Guangzhou, Guangdong Province, P. R. China, 510006 Tel/Fax: +86-20-39366920, Mobile: +86-13360581866 Email: csgjwang AT gzhu.edu.cn http://trust.gzhu.edu.cn/faculty/~csgjwang/ *********************************************************************** -- 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/

3 years, 3 months

1
0
0 0

2026

2025

2024

2023

2022

FMIndia