- FMIndia - example.com

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.

2 years, 6 months

1
0
0 0

First Call for Papers ABZ2023 International Conference on Rigorous State Based Methods

by Étienne André

*********************************************************************** First Call for Papers ABZ 2023: International Conference on Rigorous State Based Methods LORIA, Université de Lorraine, Nancy, France. May 30-June 2, 2023 https://abz2023.loria.fr *********************************************************************** ---------------- Important dates ---------------- Workshops/Tutorials Workshop proposal submission: November 01, 2022 Workshop notification: November 15, 2022 Tutorial proposal submission: February 16, 2023 Case Study Track Abstract submission: December 05, 2022 Paper submission: December 18, 2022 Notification: January 28, 2023 Final version: March 06, 2023 Main Track Abstract submission: January 16, 2023 Paper submission: January 23, 2023 (including research/short/industry papers) Notification: March 6, 2023 Final version: March 27, 2023 Doctoral Symposium Paper submission: January 23, 2023 Notification: March 6, 2023 Final version: March 27, 2023 Conference Workshops and Tutorials : May 30, 2023 ABZ 2023 conference: May 31-June 02, 2023 ---------- About ABZ ---------- The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods. The name ABZ goes back to the first conference in London in 2008, where the ASM, B and Z conference series were merged into a joint event. In the following years other formal methods were added, e.g. Alloy in 2010 (Orford, Canada), VDM in 2012 (Pisa, Italy), and TLA + in 2014 (Toulouse, France). After the also successful 2016 conferences in Linz, Austria and 2018 in Southampton, UK, it was decided to name the conference "ABZ: International Conference on Rigorous State Based Methods", to stress the openness for further state-based formal methods. We hope to continue many fruitful discussions between representatives of the individual methods in the past, which will bring us closer to the common goal of this research community: the creation of reliable and safe software. ABZ2020 and ABZ2021 were the two first new entitled conferences planned in Ulm but virtually organised. ABZ 2023 will have a main conference track, a case study track, tutorials and workshops. --------------- Main ABZ Track --------------- Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z and other state-based rigour approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods in a single event, editorial control of the joint conference is vested in one integrated program committee. ----------------- Case Study Track ----------------- As successfully practiced since ABZ 2014, the 10th edition of ABZ will again include special sessions dedicated to an industrial case study. We explicitly invite you to also submit contributions to case studies from previous conferences, which substantially extend the solutions presented there in one aspect or another. Possible enhancements could be new proof techniques, more elegant modeling, generation, verification, or validation of executable code, etc. See https://abz2023.loria.fr/case-study for a detailed description of the new case study and links to the previous ones. -------------------------------- Workshop and Tutorial Proposals -------------------------------- Workshops and tutorials will be associated with the main event ABZ. Proposals are solicited in areas related to the conference topics. A workshop proposal should contain the title of the workshop, a short description of the scientific content, the names and brief CVs of the workshop organizers, the intended PC for the workshop, the duration of the workshop, and the expected number of participants. A tutorial proposal should contain the title of the tutorial, a short description of the scientific content, the names and brief CVs of the tutorial presenters and the duration. Please submit your proposals to dominique dot mery at loria.fr. ------------ Submissions ------------ Four kinds of contributions are invited: * Full Research papers: full papers of not more than 16 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere. * Short presentations of work in progress, and tool demonstrations.An extended abstract of not more than 6 pages is expected and will be reviewed. * Application in industry papers: reporting on work or experiences on the application of state based formal methods in industry. An extended abstract of not more than 8 pages is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper. * Answers to case study papers: full papers of not more than 16 pages in LNCS format reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2023. We also expect a link to a webpage, where the produced models can be downloaded. * Contribution to doctoral symposium:This is an excellent opportunity for PhD students to present their ongoing work and receive valuable feedback from the ABZ community. Please submit a short paper of no more than 4 pages Accepted papers will appear in the Springer LNCS proceedings. The deadlines for the different kinds of contributions see above. ------------------- Organization ------------------- Conference Chairs: Uwe Glässer (CoChair), Simon Fraser University, Canada Dominique Méry (CoChair), Université de Lorraine & LORIA, France Case Study Chair: José Creissac Campos, Departamento de Informática - Universidade do Minho, Portugal. Philippe Palanque, Interactive Critical Systems - IRIT- Univ. Toulouse, France For further questions concerning ABZ 2023, please contact us at dominique dot mery at loria.fr

2 years, 6 months

1
0
0 0

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

by Qin Liu

************************************************************************************************** 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 30, 2022 (Second Batch) 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 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/

2 years, 6 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST

by VSS IARCS

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.

2 years, 6 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST

by VSS IARCS

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.

2 years, 6 months

1
0
0 0

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

2 years, 7 months

1
0
0 0

FINAL CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

by Sreejith A V

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

2 years, 7 months

1
0
0 0

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

by Qin Liu

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/

2 years, 7 months

1
0
0 0

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

by Qin Liu

************************************************************************************************** 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/

2 years, 7 months

1
0
0 0

THIRD CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

by Sreejith A V

*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

2 years, 7 months

1
0
0 0

2025

2024

2023

2022

FMIndia