September 2022 - FMIndia - mail.cmi.ac.in

IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST
by VSS IARCS 30 Sep '22

30 Sep '22

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Mahesh Viswanathan, a faculty member at the University of Illinois at Urbana-Champaign. The talk is scheduled on Tuesday, October 4, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/event?action=TEMPLATE&tmeid=NmI5c2FkdXNhMGs0YnM…> ). The details of the talk can be found on the 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, Deepak, Madhukar, Rahul, Srivathsan ============================================================= Title: On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We introduce an automata model for describing interesting classes of differential privacy mechanisms/algorithms that include known mechanisms from the literature. These automata can model algorithms whose inputs can be an unbounded sequence of real-valued query answers. We consider the problem of checking whether there exists a constant $d$ such that the algorithm described by these automata are $d\epsilon$-differentially private for all positive values of the privacy budget parameter $\epsilon$. We show that this problem can be decided in time linear in the automaton's size by identifying a necessary and sufficient condition on the underlying graph of the automaton. This paper's results are the first decidability results known for algorithms with an unbounded number of query answers taking values from the set of reals. This is joint work with Rohit Chadha and Prasad Sistla. Bio: Mahesh Viswanathan is a faculty member at the University of Illinois at Urbana-Champaign. His research interests are in the core areas of logic, automata theory, and algorithm design, with applications to the algorithmic verification of systems. Most recently, his research has been focussed on the dynamic analysis of multi-threaded programs, model checking of cyberphysical systems and stochastic systems, and formal analysis of stochastic security protocols and differential privacy.

1 0

Call for papers: ICECCS 2023 (Toulouse, France)
by Étienne André 28 Sep '22

28 Sep '22

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 Inetraction + 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/

1 0

FINAL CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V 28 Sep '22

28 Sep '22

Dear all, Please find below the final call for papers for ICLA 2023. 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS March 3-5, 2023 IIT Indore, India https://icla2023.iiti.ac.in/index.html FINAL CALL FOR PAPERS ALI, the Association for Logic in India, announces the tenth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, from March 3rd to 5th, 2023. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, and logicians studying the foundations of formal logic. A special feature of this conference is the inclusion of studies on systems of logic in the Indian tradition, and historical research on logic. As in the earlier events in this series, we shall have eminent logicians as invited speakers. Details of the last ICLA (2021) may be found at https://www.isichennai.res.in/~sujata/icla2021/index.html Submission guidelines: Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, set theory, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science, formal verification and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome. Submissions must be in English and should provide sufficient detail to allow the program committee to assess the merits of the paper. The submission may not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX2e style. All submissions will be in electronic form and submitted through Easychair via https://easychair.org/my/conference?conf=icla2023. If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. The submission must be a PDF file. Concurrent submission to journals or to other conferences with proceedings is not allowed. Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. The conference proceedings will appear as a volume in the Springer Lecture Notes in Computer Science. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Important dates: Deadline for Submission: 2 October 2022* 9th Ocober 2022* Notification to Authors: 29 November 2022 *6th December 2022* Deadline for camera-ready papers: *16 December 2022* Conference dates: *3rd - 5th March 2023* Program committee: • C. Aiswarya, Chennai Mathematical Institute • Mohua Banerjee (co-chair), IIT Kanpur • Michael Benedikt, University of Oxford • Thomas Colcombet, IRIF • Laure David, City, University of London • Soma Dutta, University of Warmia and Mazury • Deepak D'Souza, IISc Bangalore • John Horty, University of Maryland • Juliette Kennedy, University of Helsinki • Minghui Ma, Sun Yat-Sen University • Amaldev Manuel, IIT Goa • Luca Motto Ros, University of Turin • Alessandra Palmigiano, Vrije Universiteit Amsterdam • M. Praveen, Chennai Mathematical Institute • Prakash Saivasan, IMSc Chennai • H. P. Sankappanavar, SUNY at New Paltz • Manidipa Sanyal, University of Calcutta • A. V. Sreejith (co-chair), IIT Goa • Andrzej Szalas, University of Warsaw and Linkoping University • Giorgio Venturi, Universidade Estadual de Campinas • Zach Weber, University of Otago Organising committee: • Md. Aquil Khan, IIT Indore • Somnath Dey, IIT Indore • M. Tanveer, IIT Indore • Vijay Kumar Sohani, IIT Indore Contact: Any queries related to the conference may be sent to the following email address: icla2023(a)easychair.org. Thanks, Mohua and Sreejith

1 0

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu 26 Sep '22

26 Sep '22

Please accept our apologies if you receive multiple copies of this Second Batch UbiSec 2022 CFPs with Deadline October 10, 2022 (Extended). ============================== UbiSec 2022 ============================== Second Batch CFPs of The Second International Conference on Ubiquitous Security (UbiSec 2022) Zhangjiajie, China, December 28 - 31, 2022 Organizers: Guangzhou University, China Jishou University, China ====================================================================== Highlights: 5+ Keynote Speeches, 10+ Invited Talks, 16+ Journal Special Issues, and 3 Tracks: Please check the conference website for details: http://ubisecurity.org/2022/ ====================================================================== IMPORTANT DATES Paper Submission Deadline: October 10, 2022 (Second Batch) Author Notification: November 14, 2022 (Second Batch) Author Registration Due: December 15, 2022 (Second Batch) Camera-Ready Paper Due: December 15, 2022 (Second Batch) Conference Dates: December 28 - 31, 2022 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 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 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. 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 0

TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu 26 Sep '22

26 Sep '22

************************************************************************************************** We apologize if you receive multiple copies of this TrustData 2022 CFP. We appreciate your great help if you forward this TrustData 2022 CFP to your colleages and friends. ************************************************************************************************** Call for Papers for the 13th International Workshop on Trust, Security and Privacy for Big Data (TrustData 2022) Venue & Dates: Zhangjiajie, China, December 28 - 31, 2022 Conference Website: http://ubisecurity.org/TrustData/2022/ ------------------------------------------------------------------------------------------------- Introduction The proliferation of new technologies such as Internet of Things and cloud computing calls for innovative ideas to retrieve, filter, and integrate data from a large number of diverse data sources. Big Data is an emerging paradigm applied to datasets whose volume/velocity/variability is beyond the ability of commonly used software tools to manage and process the data within a tolerable period of time. More importantly, Big Data has to be of high value, and should be protected in an efficient way. Since Big Data involves a huge amount of data that is of high-dimensionality and inter-linkage, existing trust, security, and privacy measures for traditional databases and infrastructures cannot satisfy its requirements. Novel technologies for protecting Big Data are attracting researchers and practitioners with more and more attention. Scope and Interests TrustData 2022 is a part of UbiSec 2022 (http://ubisecurity.org/2022/) the Second International Conference on Ubiquitous Security. Topics of interest include, but are not limited to: Trust Track (1) Trust semantics, metrics, and models for Big Data (2) Trust management and evaluation for Big Data (3) Trusted systems, software, and applications for Big Data (4) Trusted platform implementation technologies for Big Data (5) Information quality/trustworthiness for Big Data (6) Provenance of content for Big Data (7) Trustworthiness of ratings/recommender systems for Big Data Security Track (1) Security model and architecture for Big Data (2) Data mining security for Big Data (3) Software and system security for Big Data (4) Intrusion detection for Gigabit Networks (5) Cryptography and Big Data (6) Visualizing large scale security data (7) Threat detection using Big Data analytics (8) Human computer interaction challenges for Big Data security (9) Data protection, integrity standards and policies (10) Security and legislative impacts for Big Data (11) Managing user access for Big Data (12) Secure quantum communications Privacy Track (1) Privacy in Big Data applications and services (2) Privacy in Big Data end-point input validation and filtering (3) Privacy in Big Data integration and transformation (4) Privacy in parallel and distributed computation (5) Privacy in Big Data storage management (6) Privacy in Big Data access control mechanisms (7) Privacy in Big Data mining and analytics (8) Privacy in Big Data sharing and visualization (9) Big Data privacy policies and standards Submission and Publication Information The accepted papers from this workshop will be published in the conference proceedings with Springer Communications in Computer and Information Science (CCIS) . Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All papers need to be submitted electronically through the conference submission website (https://easychair.org/conferences/?conf=trustdata2022) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. 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 (https://www.springer.com/cn/computer-science/lncs/conference-proceedings-gu…) Notice that accepted papers less than 12 pages will be tagged as Short Papers. Distinguished papers, after further revisions, will be considered for possible publication in SCI & EI indexed special issues of prestigious international journals. 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. All presented papers in the conference will be published in the proceedings of the conference. Authors (at least one) of any accepted paper are requested to register at the conference. Important Dates Paper Submission Deadline: October 10, 2022 (Second Batch) Author Notification: November 14, 2022 (Second Batch) Author Registration Due: December 15, 2022 (Second Batch) Camera-Ready Paper Due: December 15, 2022 (Second Batch) Conference Dates: December 28 - 31, 2022 General Chairs Qin Liu, Hunan University, China Arun Kumar Sangaiah, VIT University, India Wei Chang, Saint Joseph's University, USA Program Chairs Jiankun Hu, University of New South Wales at the Australian, Australia Isaac Agudo, University of Malaga, Spain Program Committee (In alphabetical order) Habtamu Abie, Norwegian Computing Center/Norsk Regnesentral, Norway Salima Benbernou, Universite Paris Descartes, France Christian Callegari, The University of Pisa, Italy Wei Chang, Saint Joseph's University, USA Anupam Chattopadhyay, Nanyang Technological University, Singapore John A. Clark University of York, UK Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Sabrina De Capitani di Vimercati, Universita degli Studi di Milano, Italy Yucong Duan, Hainan University, China Sheikh M. Habib, Technical University of Darmstadt, Germany Ching-Hsien Hsu, Chung Hua University, Taiwan Hai Jiang, Arkansas State University, USA Vana Kalogeraki, Athens University of Economics, Greece Ryan Ko, University of Waikato, New Zealand Ruggero Donida Labati, Universita degli Studi di Milano, Italy Xin Liao, Hunan University, China Giovanni Livraga, Universita degli Studi di Milano, Italy Haibing Lu, Santa Clara University, USA Joon S. Park, Syracuse University, USA Roberto Di Pietro, Nokia Bell Labs, France Vincenzo Piuri, Universita' degli Studi di Milano, Italy Imed Romdhani, Edinburgh Napier University, UK Bimal Roy, Indian Statistical Institute, India Jun Shen, University of Wollongong, Australia Dimitris E. Simos, SBA Research, Austria Chao Song, University of Electronic Science and Technology of China, China Chang-ai Sun, University of Science and Technology Beijing, China Yuanyuan Sun, Huazhong University of Science and Technology, China Luis Javier Garcia Villalba, Universidad Complutense de Madrid, Spain Yunsheng Wang, Kettering University, USA Mingzhong Wang, University of the Sunshine Coast, Australia Yongdong Wu, Institute for Infocomm Research, Singapore Hejun Wu, Sun Yat-Sen University, China Muneer Masadeh Bani Yassein, Jordan University of Science and Technology, Jordan Sherali Zeadally, University of Kentucky, USA Peiyin Xiong, Hunan University of Science and Technology, China Dengfeng Xiao, Hunan University of Science and Technology, China Publicity Chairs Weiwei Chen, Hunan University, China Bo Ou, Hunan University, China Webmaster Ziyi Tang, Hunan University, China Contact Please email inquiries concerning TrustData 2022 to: Prof. Qin Liu: gracelq AT 126 DOT com Prof. Qin Liu's Homepage: https://qinliu-hnu.github.io/ ====================================================================== 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 15+ 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) Information Sciences (SCI & EI Indexed, Impact Factor: 6.795) Special Issue on Decentralized Trust Management with Intelligence (Pending). (3) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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. (4) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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. (5) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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. (6) 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. (7) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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. (8) Applied Sciences (SCI & EI Indexed, Impact Factor: 2.679) 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. (9) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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. (10) Electronics (SCI & EI Indexed, Impact Factor: 2.397) 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. (11) Sensors (SCI & EI Indexed, Impact Factor: 3.576) 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 2022 (with possible extension later). (12) 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. (13) Distributed Ledger Technologies: Research and Practice (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. (14) 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. ====================================================================== -- 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 0

THIRD CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V 16 Sep '22

16 Sep '22

*10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS* March 3-5, 2023 IIT Indore, India https://icla2023.iiti.ac.in/index.html *THIRD CALL FOR PAPERS* ALI, the Association for Logic in India, announces the tenth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, from March 3rd to 5th, 2023. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, and logicians studying the foundations of formal logic. A special feature of this conference is the inclusion of studies on systems of logic in the Indian tradition, and historical research on logic. As in the earlier events in this series, we shall have eminent logicians as invited speakers. Details of the last ICLA (2021) may be found at https://www.isichennai.res.in/~sujata/icla2021/index.html *Submission guidelines:* Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, set theory, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science, formal verification and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome. Submissions must be in English and should provide sufficient detail to allow the program committee to assess the merits of the paper. The submission may not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX2e style. All submissions will be in electronic form and submitted through Easychair via https://easychair.org/my/conference?conf=icla2023. If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. The submission must be a PDF file. Concurrent submission to journals or to other conferences with proceedings is not allowed. Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the Springer Lecture Notes in Computer Science. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. *Important dates:* Deadline for Submission: *2 October 2022* Notification to Authors: *29 November 2022* Deadline for camera-ready papers: *16 December 2022* Conference dates: *3rd - 5th March 2023* *Program committee:* • *C. Aiswarya, Chennai Mathematical Institute• Mohua Banerjee (co-chair), IIT Kanpur• Michael Benedikt, University of Oxford• Thomas Colcombet, IRIF• Laure David, City, University of London• Soma Dutta, University of Warmia and Mazury• Deepak D'Souza, IISc Bangalore• John Horty, University of Maryland• Juliette Kennedy, University of Helsinki• Minghui Ma, Sun Yat-Sen University• Amaldev Manuel, IIT Goa• Luca Motto Ros, University of Turin• Alessandra Palmigiano, Vrije Universiteit Amsterdam• M. Praveen, Chennai Mathematical Institute• Prakash Saivasan, IMSc Chennai• H. P. Sankappanavar, SUNY at New Paltz• Manidipa Sanyal, University of Calcutta• A. V. Sreejith (co-chair), IIT Goa• Andrzej Szalas, University of Warsaw and Linkoping University• Giorgio Venturi, Universidade Estadual de Campinas• Zach Weber, University of Otago* *Organising committee:* • *Md. Aquil Khan, IIT Indore• Somnath Dey, IIT Indore• M. Tanveer, IIT Indore• Vijay Kumar Sohani, IIT Indore* *Contact:* Any queries related to the conference may be sent to the following email address: icla2023(a)easychair.org. Thanks, Mohua and Sreejith

1 0

ANTIC-2022 | BHU Varanasi, India | CCIS Springer [Scopus Indexed]
by Dr. Anshul Verma 13 Sep '22

13 Sep '22

Dear Prof./Researcher, Greetings from Department of Computer Science, Banaras Hindu University, Varanasi, India. We are glad to inform you that the Department of Computer Science, Banaras Hindu University, Varanasi, India is organizing the *2nd International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC-2022)* in *hybrid *mode from *22nd to 24th December 2022*. The proceedings of conference will be published in *Communications in Computer and Information Science (CCIS)* series of *Springer* [*SCOPUS* Indexed]. You are cordially invited to submit high quality research papers in the areas of Advanced Network Technologies and Intelligent Computing. The topics covered (but are not limited to) in the conference are as follows: *Advanced Network Technologies* *Intelligent Computing* · Blockchain Technology · Cloud, Edge & Fog Computing · Distributed Computing · High Performance Computing · Internet of Things · Mobile Ad-hoc Networks · Networks Security · Social Networking · Software Defined Networks · Wireless Sensor Networks · Artificial Intelligence · Deep Learning · Evolutionary Algorithms · Fuzzy Systems · Genetic Algorithms · Machine Learning · Video, Speech & Text Processing using AI · Neural Networks · Recommendation System · Soft Computing *Paper Submission Link:* *https://equinocs.springernature.com/service/ANTIC2022 <https://equinocs.springernature.com/service/ANTIC2022>* *After Conference Proceedings:* Communications in Computer and Information Science (CCIS) series of Springer *Indexing of the CCIS Springer:* CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, and *Scopus*. CCIS volumes are also submitted for the inclusion in ISI Proceedings. *Important Dates: * Last date of manuscript submission: 15-10-2022 Last date of acceptance notification: 30-11-2022 Last date of final manuscript submission: 10-12-2022 Last date of registration: 15-12-2022 *Registration & Publication Fees: * Indian Author: 6000 INR Foreign Author: 150 USD *Please visit our website for more details:* *www.antic.co.in <http://www.antic.co.in/>* *Call for Reviewer: *Interested faculty members/researchers/industry professionals may join us as Reviewer by filling the following Google Form. The eligibility criteria for the reviewer is Ph.D. awarded or pursuing. Each reviewer will receive a Certificate. *https://forms.gle/weTtyZHgn8FJKszt6 <https://forms.gle/weTtyZHgn8FJKszt6>* You are requested to share this call for paper with your esteemed research circle and scholars. Thank you very much for your kind support. *With Best Regards,* Dr. Anshul Verma (Programme Chair & Convener, ANTIC-2022) Department of Computer Science Banaras Hindu University, Varanasi – 221005, Uttar Pradesh, India Email ID: antic2022.bhu(a)gmail.com; anshulverma87(a)gmail.com Mobile No.: +91-9826074618; +91-7903496917

1 0

IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST
by VSS IARCS 05 Sep '22

05 Sep '22

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Subodh Sharma, a faculty member in the Department of Computer Science and Engineering at IIT Delhi. The talk is scheduled on Tuesday, September 6, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/event?action=TEMPLATE&tmeid=NWNpZWM5bTR2YzV1c20…> ). The details of the talk can be found on the 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, Deepak, Madhukar, Rahul, Srivathsan ============================================================= Title: Exploiting partial orders and symmetries in efficient analysis of message-passing concurrency Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: The message passing paradigm is the lingua franca for developing large distributed-memory programs, such as high-performance scientific computing and event-driven web applications. Message-passing applications are often found to be using communication nondeterminism (used primarily to obtain efficiency by masking network latencies) and symmetric communication among processes (which keeps programming simple). Under communication nondeterminism, a process can post (possibly asynchronous) receive calls that can potentially match any of the messages sent to the process. Under symmetric communication, a process's communication structure may be partly or completely symmetric with the communication structure of other processes. Interestingly, communication nondeterminism is one of the important sources of analysis complexity and detecting symmetries is, in general, hard. This talk will present practical techniques to efficiently analyse message passing programs by (i) exploiting partial order among the communication dependencies and (ii) detecting symmetries in process-communication. The work in this talk has been published in TOPLAS 2017, FM 2018, ICST 2021, and ASE 2022. Bio: Subodh Sharma is a faculty member in the Department of Computer Science and Engineering at IIT Delhi. His research interests lie in the area of software engineering and formal methods, particularly in ensuring the reliability of parallel software via static and dynamic program analyses, model checking, and PL solutions, and employing HPC towards the creation of scalable verification technology. Lately, his research investigations have also spanned the areas of systems security, data privacy, and Blockchain.

1 0