- FMIndia - example.com

IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST

by VSS IARCS

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.

2 years, 12 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST

by VSS IARCS

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.

3 years

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/

3 years

1
0
0 0

Second Batch UbiSec 2022 CFPs : Deadline October 10, 2022 (Extended)

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/

3 years

1
0
0 0

Post-doc hiring in Singapore-French collaborative program Descartes on Formal Reasoning and AI

by Abhik Roychoudhury

*Post-doc hiring in Singapore-French collaborative program Descartes on Formal Reasoning and AI* Several Post-doctoral positions are invited in the 5-year research program Descartes: Intelligent Modeling for Decision-making in Critical Urban Systems. This program is jointly between National University of Singapore (NUS), CNRS France, and several organizations in Singapore and France. One facet of the program deals with formal reasoning and AI, for which we are seeking to hire a postdoctoral research fellow. The research work is on trustworthy AI, intersecting between formal methods and AI. See https://descartes.cnrsatcreate.cnrs.fr/wp-1-trustworthy-hybrid-ai/ It will focus on one or more of the following research themes: 1.We want to provide /formal /guarantees about the intelligent systems, considering all possible behaviors. In doing so, combining formal reasoning with learning processes, we will contribute to the development of /neuro-symbolic reasoning/. Moving forward from verification, it would also be critical for autonomous systems to employ self-healing, subject to adaptations in the environment which includes humans. In this context, there exist significant opportunities in /automated code generation and rectification/ using language models, and using formal reasoning to enhance trust in the generated code. 2.At the same time, the verification of hyper-properties of intelligent systems has gained importance, with newer techniques for privacy, robustness and fairness. Formal methods to establish hyper-properties in intelligent decision-making may thus decompose a high-dimensional input space into hyper-cubes and calculate the “desired” probabilities of the hyper-cubes to preserve an overall hyper-property for the entire system. Alternatively, the probabilistic nature of hyper-properties may be exploited to establish their validity by adaptively sampling inputs from a high dimensional space. 3.We will develop deductive reasoning-based explanations of hyper-property violations (apart from explaining the AI model predictions), which can then be used by neuro-symbolic reasoning technique to rectify the AI models so that it can satisfy fairness/robustness etc. We also plan to study interactive mechanisms for producing explanations while considering the cognitive load of understanding the explanations by human users. The post-doc will work from CREATE Tower on the National University of Singapore campus which is a leading university in Asia and provides significant opportunities for career growth, supervised jointly by French and Singaporean colleagues. Interested candidates can directly contact the following Lead Principal Investigators (Lead PIs): Blaise Genest, CNRS Senior Researcher, https://perso.crans.org/genest/ Abhik Roychoudhury, Provost’s Chair Professor, National University of Singapore, https://abhikrc.com/ -- -Abhik Roychoudhury School of Computing National University of Singapore https://abhikrc.com

3 years

1
0
0 0

ICLA 2023: Call for Papers

by Sreejith A V

Dear Prospective Authors, *10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS* March 3-5, 2023 IIT Indore, India https://icla2023.iiti.ac.in/index.html *SECOND 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, logicians studying foundations of formal logic. A special feature of this conference is the inclusion of studies in 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 programme 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* *Programme 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. Regards, Sreejith and Mohua

3 years

1
0
0 0

2025

2024

2023

2022

FMIndia