- FMIndia - mail.cmi.ac.in

ICLA 2027: Second Call for Papers
by abhisekh.sankaran＠tcs.com 10 Aug '26

10 Aug '26

======================= CALL FOR PAPERS ======================= =============================================== ICLA 2027: Indian Conference on Logic and its Applications January 6 - 8, 2027 The Indian Institute of Science (IISc), Bangalore, India https://conf.researchr.org/home/icla-2027 Submission deadline: August 28, 2026 AOE Submission link: https://easychair.org/conferences/?conf=icla2027 Notification to authors: October 31, 2026 =============================================== ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic. Details of ICLA 2025 can be found here, and information about earlier editions of the conference is available on the ALI website. https://logicindia.org/icla/icla2025/ https://logicindia.org/ ICLA 2027 will be held at the Indian Institute of Science (IISc), Bangalore, from January 6–8, 2027. Pre-conference workshops will be held on January 5, 2027. LIST OF TOPICS Topics of interest include, but are not limited to, the following. Interdisciplinary submissions are especially encouraged. + Mathematical Logic and Foundations Algorithmic randomness, category theory, descriptive set theory, foundations of mathematics, homotopy type theory, logical aspects of topology, model theory, recursion theory, reverse mathematics, universal algebra. + Modal, Epistemic, and Non-Classical Logics Belief change and revision, deontic logics, description logics, dynamic epistemic logic, first-order modal logic, formal epistemology, imperative logics, interaction of classical logic with other logics, many-valued logics and their applications, modal logic: algebraic, algorithmic, category-theoretic, and model-theoretic aspects, non-monotonic logics, paraconsistency, particular systems of logic, provability logics, normative reasoning. + Logic in Computer Science Automata theory and logic, category theory in computer science, logic and algebraic methods, logic and concurrency, logic and games, logic and quantum computing, probabilistic logics and stochastic processes, transductions, two-variable logics, well-quasi-orders. + Formal Methods, Verification, and Automated Reasoning Automated reasoning, decision procedures for logics, formal analysis of programs, formal verification and synthesis, hyperproperties, logic in industrial applications, logic in security and privacy, programming language semantics, real-time logics, software tools and systems for logic, theory and applications of SAT and SMT solvers and theorem provers. + Finite Model Theory, Complexity, and Data Algorithmic metatheorems, comonads in finite model theory, definable functions on relational structures, logic and computational complexity, logic and constraint satisfaction problems, logic and databases, logic and graph structure theory, many-valued logics in finite model theory, proof complexity, stability theory over finite structures. + Logic, Artificial Intelligence, and Multi-Agent Systems Logic and artificial intelligence, logic and machine learning, logical aspects of Large Language Models (LLMs), logic for information, logic for probability and uncertainty, logic in decision and game theory, logic and social choice theory, logic and social cognition, logic and social software, logics for multi-agent systems. + History, Philosophy, Language, and Cognition History of logic: Indian, Chinese, and Western traditions and comparative studies, Indian philosophical systems: Buddhism, Jainism, Mīmāṃsā, and Nyāya, logic and cognitive science, logic and education, logic and ethics in artificial intelligence, logic and law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy of science, philosophical issues concerning logical systems, philosophy of language. SUBMISSION Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Submissions must be written in English and should provide sufficient detail to enable the Programme Committee to assess the merits of the work. Papers may not exceed 12 pages, excluding references, and must be prepared using the Springer-Verlag Lecture Notes LaTeX2e style: https://link.springer.com/series/558/information-for-authors-and-editors If necessary, detailed proofs of technical results may be included in a clearly marked appendix, which may be consulted at the discretion of the Programme Committee. Submissions must be in PDF format. All submissions must be made electronically through the EasyChair conference management system using the following link: https://easychair.org/conferences/?conf=icla2027 Simultaneous submission to journals or to other conferences with published proceedings is not permitted. Submitted papers will undergo peer review, and accepted papers will be published in the conference proceedings, which will be available at the time of the conference. The proceedings will appear as a volume in the FoLLI Publications on Logic, Language and Information, a subseries of Springer LNCS. To be included in the proceedings, at least one author of each accepted paper must commit to presenting the paper at the conference. INVITED SPEAKERS - Anuj Dawar (University of Cambridge) - Andreas Herzig (IRIT, Toulouse) - Angelo Montanari (University of Udine) - Greg Restall (University of St Andrews) IMPORTANT DATES ************************************************************************ - Deadline for Submission: August 28, 2026 AOE - Notification to Authors: October 31, 2026 - Deadline for camera-ready papers: November 11, 2026 - Pre-conference workshops: January 5, 2027 - ICLA 2027: January 6-8, 2027 ************************************************************************ PROGRAMME COMMITTEE Sreejith A V [IIT Palakkad] Philippe Balbiani [IRIT, Toulouse] Nick Bezhanishvili [University of Amsterdam] Abhishek De [Krea University] Tim French [The University of Western Australia] Malvin Gattinger [University of Amsterdam] Sujata Ghosh [Indian Statistical Institute, Chennai] (co-chair) Shibashis Guha [Tata Institute of Fundamental Research] Eberhard Guhe [Fudan University] Yurii Khomskii [University of Amsterdam] Arun Kumar [Banaras Hindu University] Graham Leigh [University of Gothenburg] Dazhu Li [Chinese Academy of Sciences] Hitoshi Omori [Tohoku University] Anantha Padmanabha [IIT Madras] Sophie Pinchinat [IRISA, Universite de Rennes] Dilip Raghavan [National University of Singapore] Subhajit Roy [IIT Kanpur] Prakash Saivasan [Institute of Mathematical Sciences, Chennai] Manidipa Sanyal [University of Calcutta] Sunil Simon [IIT Kanpur] (co-chair) S P Suresh [Chennai Mathematical Institute] Ramanathan Thinniyam Srinivasan [Uppsala University] Sourav Tarafder [St. Xavier's College, Kolkata] Sara Uckelman [Durham University] Yanjing Wang [Peking University] ORGANISING COMMITTEE Deepak D’Souza [Indian Institute of Science, Bangalore] Siddhartha Gadgil [Indian Institute of Science, Bangalore] Kamal Lodaya [BGVS Bangalore]

1 0

ICLA 2027: Second Call for Papers
by Abhisekh Sankaran 10 Aug '26

10 Aug '26

TCS Confidential ======================= Call for Papers ======================= ================================================================= ICLA 2027: Indian Conference on Logic and its Applications January 6 - 8, 2027 The Indian Institute of Science (IISc), Bangalore, India https://conf.researchr.org/home/icla-2027 Submission deadline: August 28, 2026 AOE Submission link: https://easychair.org/conferences/?conf=icla2027 Notification to authors: October 31, 2026 ================================================================= ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic. Details of ICLA 2025 can be found here, and information about earlier editions of the conference is available on the ALI website. https://logicindia.org/icla/icla2025/ https://logicindia.org/ ICLA 2027 will be held at the Indian Institute of Science (IISc), Bangalore, from January 6–8, 2027. Pre-conference workshops will be held on January 5, 2027. List of Topics Topics of interest include, but are not limited to, the following. Interdisciplinary submissions are especially encouraged. Mathematical Logic and Foundations Algorithmic randomness, category theory, descriptive set theory, foundations of mathematics, homotopy type theory, logical aspects of topology, model theory, recursion theory, reverse mathematics, universal algebra. Modal, Epistemic, and Non-Classical Logics Belief change and revision, deontic logics, description logics, dynamic epistemic logic, first-order modal logic, formal epistemology, imperative logics, interaction of classical logic with other logics, many-valued logics and their applications, modal logic: algebraic, algorithmic, category-theoretic, and model-theoretic aspects, non-monotonic logics, paraconsistency, particular systems of logic, provability logics, normative reasoning. Logic in Computer Science Automata theory and logic, category theory in computer science, logic and algebraic methods, logic and concurrency, logic and games, logic and quantum computing, probabilistic logics and stochastic processes, transductions, two-variable logics, well-quasi-orders. Formal Methods, Verification, and Automated Reasoning Automated reasoning, decision procedures for logics, formal analysis of programs, formal verification and synthesis, hyperproperties, logic in industrial applications, logic in security and privacy, programming language semantics, real-time logics, software tools and systems for logic, theory and applications of SAT and SMT solvers and theorem provers. Finite Model Theory, Complexity, and Data Algorithmic metatheorems, comonads in finite model theory, definable functions on relational structures, logic and computational complexity, logic and constraint satisfaction problems, logic and databases, logic and graph structure theory, many-valued logics in finite model theory, proof complexity, stability theory over finite structures. Logic, Artificial Intelligence, and Multi-Agent Systems Logic and artificial intelligence, logic and machine learning, logical aspects of Large Language Models (LLMs), logic for information, logic for probability and uncertainty, logic in decision and game theory, logic and social choice theory, logic and social cognition, logic and social software, logics for multi-agent systems. History, Philosophy, Language, and Cognition History of logic: Indian, Chinese, and Western traditions and comparative studies, Indian philosophical systems: Buddhism, Jainism, Mīmāṃsā, and Nyāya, logic and cognitive science, logic and education, logic and ethics in artificial intelligence, logic and law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy of science, philosophical issues concerning logical systems, philosophy of language. Submission Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Submissions must be written in English and should provide sufficient detail to enable the Programme Committee to assess the merits of the work. Papers may not exceed 12 pages, excluding references, and must be prepared using the Springer-Verlag Lecture Notes LaTeX2e style: https://link.springer.com/series/558/information-for-authors-and-editors If necessary, detailed proofs of technical results may be included in a clearly marked appendix, which may be consulted at the discretion of the Programme Committee. Submissions must be in PDF format. All submissions must be made electronically through the EasyChair conference management system using the following link: https://easychair.org/conferences/?conf=icla2027 Simultaneous submission to journals or to other conferences with published proceedings is not permitted. Submitted papers will undergo peer review, and accepted papers will be published in the conference proceedings, which will be available at the time of the conference. The proceedings will appear as a volume in the FoLLI Publications on Logic, Language and Information, a subseries of Springer LNCS. To be included in the proceedings, at least one author of each accepted paper must commit to presenting the paper at the conference. Invited Speakers - Anuj Dawar (University of Cambridge) - Andreas Herzig (IRIT, Toulouse) - Angelo Montanari (University of Udine) - Greg Restall (University of St Andrews) Important Dates ************************************************************************ Deadline for Submission: August 28, 2026 AOE Notification to Authors: October 31, 2026 Deadline for camera-ready papers: November 11, 2026 Pre-conference workshops: January 5, 2027 ICLA 2027: January 6-8, 2027 ************************************************************************ Programme Committee Sreejith A V [IIT Palakkad] Philippe Balbiani [IRIT, Toulouse] Nick Bezhanishvili [University of Amsterdam] Abhishek De [Krea University] Tim French [The University of Western Australia] Malvin Gattinger [University of Amsterdam] Sujata Ghosh [Indian Statistical Institute, Chennai] (co-chair) Shibashis Guha [Tata Institute of Fundamental Research] Eberhard Guhe [Fudan University] Yurii Khomskii [University of Amsterdam] Arun Kumar [Banaras Hindu University] Graham Leigh [University of Gothenburg] Dazhu Li [Chinese Academy of Sciences] Hitoshi Omori [Tohoku University] Anantha Padmanabha [IIT Madras] Sophie Pinchinat [IRISA, Universite de Rennes] Dilip Raghavan [National University of Singapore] Subhajit Roy [IIT Kanpur] Prakash Saivasan [Institute of Mathematical Sciences, Chennai] Manidipa Sanyal [University of Calcutta] Sunil Simon [IIT Kanpur] (co-chair) S P Suresh [Chennai Mathematical Institute] Ramanathan Thinniyam Srinivasan [Uppsala University] Sourav Tarafder [St. Xavier's College, Kolkata] Sara Uckelman [Durham University] Yanjing Wang [Peking University] Organising Committee Deepak D’Souza [Indian Institute of Science, Bangalore] Siddhartha Gadgil [Indian Institute of Science, Bangalore] Kamal Lodaya [BGVS Bangalore] =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

1 0

IARCS Verification Seminar Series -- Talk by Vadim Mutilin on August 11 at 1900 hrs IST
by VSS IARCS 04 Aug '26

04 Aug '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Vadim Mutilin, a Lead Researcher at ISPRAS and an Associate Professor at MIPT. The talk is scheduled on Tuesday, August 11, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MXJ1ZTBwcG…> ). 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, Organizers, IARCS Verification Seminar Series ============================================================= Title: Linux Driver Verification: Achievements and Prospects Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: This talk focuses on the automatic verification of Linux kernel device drivers. I will discuss the unique challenges that device drivers pose for software verification, as well as the characteristics of Linux kernel development that must be taken into account when designing effective verification techniques. I will present static verification approaches that have helped identify more than 400 real bugs in Linux device drivers. The talk will cover the classes of defects these techniques can detect, their current limitations, and promising directions for future research. Bio: Vadim Mutilin is a Lead Researcher at ISPRAS and an Associate Professor at MIPT. His research focuses on methods and tools for ensuring software correctness and reliability through static and dynamic verification techniques. He received his Ph.D. for his work on the verification of Linux device drivers using predicate abstraction. As part of this research, he made significant contributions to the LDV/Klever verification framework and enhanced verification tools such as BLAST and CPAchecker, adapting them for industrial-scale software systems comprising millions of lines of code, including Linux device drivers and real-time operating systems. These tools are currently used at the Center for System Software Security Research. His research interests include concurrent software verification and the detection of concurrency-related defects. He was one of the key contributors responsible for implementing multithreading support in the ARK TS virtual machine. His current work focuses on scalable techniques for detecting elusive concurrency bugs, including data races, in multithreaded software.

1 0

CFP - ICLA 2027
by Sunil Simon 15 Jul '26

15 Jul '26

Call for Papers -------------------------------------------------------------- ICLA 2027: Indian Conference on Logic and its Applications January 6 - 8, 2027 The Indian Institute of Science (IISc), Bangalore, India https://conf.researchr.org/home/icla-2027 Submission deadline: August 28, 2026 AOE Submission link: https://easychair.org/conferences/?conf=icla2027 Notification to authors: October 31, 2026 --------------------------------------------------------------- ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic. Details of ICLA 2025 can be found here, and information about earlier editions of the conference is available on the ALI website. https://logicindia.org/icla/icla2025/ https://logicindia.org/ ICLA 2027 will be held at the Indian Institute of Science (IISc), Bangalore, from January 6–8, 2027. Pre-conference workshops will be held on January 5, 2027. List of Topics Topics of interest include, but are not limited to, the following. Interdisciplinary submissions are especially encouraged. Mathematical Logic and Foundations Algorithmic randomness, category theory, descriptive set theory, foundations of mathematics, homotopy type theory, logical aspects of topology, model theory, recursion theory, reverse mathematics, universal algebra. Modal, Epistemic, and Non-Classical Logics Belief change and revision, deontic logics, description logics, dynamic epistemic logic, first-order modal logic, formal epistemology, imperative logics, interaction of classical logic with other logics, many-valued logics and their applications, modal logic: algebraic, algorithmic, category-theoretic, and model-theoretic aspects, non-monotonic logics, paraconsistency, particular systems of logic, provability logics, normative reasoning. Logic in Computer Science Automata theory and logic, category theory in computer science, logic and algebraic methods, logic and concurrency, logic and games, logic and quantum computing, probabilistic logics and stochastic processes, transductions, two-variable logics, well-quasi-orders. Formal Methods, Verification, and Automated Reasoning Automated reasoning, decision procedures for logics, formal analysis of programs, formal verification and synthesis, hyperproperties, logic in industrial applications, logic in security and privacy, programming language semantics, real-time logics, software tools and systems for logic, theory and applications of SAT and SMT solvers and theorem provers. Finite Model Theory, Complexity, and Data Algorithmic metatheorems, comonads in finite model theory, definable functions on relational structures, logic and computational complexity, logic and constraint satisfaction problems, logic and databases, logic and graph structure theory, many-valued logics in finite model theory, proof complexity, stability theory over finite structures. Logic, Artificial Intelligence, and Multi-Agent Systems Logic and artificial intelligence, logic and machine learning, logical aspects of Large Language Models (LLMs), logic for information, logic for probability and uncertainty, logic in decision and game theory, logic and social choice theory, logic and social cognition, logic and social software, logics for multi-agent systems. History, Philosophy, Language, and Cognition History of logic: Indian, Chinese, and Western traditions and comparative studies, Indian philosophical systems: Buddhism, Jainism, Mīmāṃsā, and Nyāya, logic and cognitive science, logic and education, logic and ethics in artificial intelligence, logic and law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy of science, philosophical issues concerning logical systems, philosophy of language. Submission Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Submissions must be written in English and should provide sufficient detail to enable the Programme Committee to assess the merits of the work. Papers may not exceed 12 pages, excluding references, and must be prepared using the Springer-Verlag Lecture Notes LaTeX2e style: https://link.springer.com/series/558/information-for-authors-and-editors If necessary, detailed proofs of technical results may be included in a clearly marked appendix, which may be consulted at the discretion of the Programme Committee. Submissions must be in PDF format. All submissions must be made electronically through the EasyChair conference management system using the following link: https://easychair.org/conferences/?conf=icla2027 Simultaneous submission to journals or to other conferences with published proceedings is not permitted. Submitted papers will undergo peer review, and accepted papers will be published in the conference proceedings, which will be available at the time of the conference. The proceedings will appear as a volume in the FoLLI Publications on Logic, Language and Information, a subseries of Springer LNCS. To be included in the proceedings, at least one author of each accepted paper must commit to presenting the paper at the conference. Important Dates ************************************************************************ Deadline for Submission: August 28, 2026 AOE Notification to Authors: October 31, 2026 Deadline for camera-ready papers: November 11, 2026 Pre-conference workshops: January 5, 2027 ICLA 2027: January 6-8, 2027 ************************************************************************ Programme Committee Sreejith A V [IIT Palakkad] Philippe Balbiani [IRIT, Toulouse] Nick Bezhanishvili [University of Amsterdam] Abhishek De [Krea University] Tim French [The University of Western Australia] Malvin Gattinger [University of Amsterdam] Sujata Ghosh [Indian Statistical Institute, Chennai] (co-chair) Shibashis Guha [Tata Institute of Fundamental Research] Eberhard Guhe [Fudan University] Yurii Khomskii [University of Amsterdam] Arun Kumar [Banaras Hindu University] Graham Leigh [University of Gothenburg] Dazhu Li [Chinese Academy of Sciences] Hitoshi Omori [Tohoku University] Anantha Padmanabha [IIT Madras] Sophie Pinchinat [IRISA, Universite de Rennes] Dilip Raghavan [National University of Singapore] Subhajit Roy [IIT Kanpur] Prakash Saivasan [Institute of Mathematical Sciences, Chennai] Manidipa Sanyal [University of Calcutta] Sunil Simon [IIT Kanpur] (co-chair) S P Suresh [Chennai Mathematical Institute] Ramanathan Thinniyam Srinivasan [Uppsala University] Sourav Tarafder [St. Xavier's College, Kolkata] Sara Uckelman [Durham University] Yanjing Wang [Peking University] Organising Committee Deepak D’Souza [Indian Institute of Science, Bangalore] Siddhartha Gadgil [Indian Institute of Science, Bangalore] Kamal Lodaya [BGVS Bangalore]

1 0

IARCS Verification Seminar Series -- Talk by Ilya Sergey on July 14 at 1930 hrs IST
by VSS IARCS 13 Jul '26

13 Jul '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ilya Sergey, an Associate Professor at the School of Computing of National University of Singapore. The talk is scheduled on Tuesday, July 14, at 1930 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MmZtZ2RhaX…> ). 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, Organizers, IARCS Verification Seminar Series ============================================================= Title: Multi-Modal Verification of Distributed Systems in Lean Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In this talk, I will present Veil, a framework for automated and interactive verification of transition systems, aimed specifically at conducting machine-assisted proofs about concurrent and distributed algorithms. Veil is implemented on top of the Lean proof assistant. It allows one to describe a transition system and its specification in a simple imperative language, verifying it using both dynamic and symbolic execution techniques. Veil allows one to check the desired safety properties in the style of TLA+ using explicit-state model-checking. For symbolic deductive reasoning, Veil produces verification conditions in first-order logic, to be discharged automatically via a range of SMT solvers. In case automated verification fails or if the system's description requires statements in a higher-order logic, Veil provides an interactive verification mode, by virtue of being embedded in a general-purpose proof assistant. Veil's automated verification performance is acceptable for practical verification tasks, while it also allows for seamless automated/interactive verification of system specifications beyond the reach of existing automated provers. Bio: Ilya Sergey is an Associate Professor at the School of Computing of National University of Singapore, where he leads the Verified Systems Engineering lab. He received his PhD from KU Leuven. Before joining NUS, he was a postdoc at IMDEA Software Institute and a faculty at University College London. Ilya's research spans programming language design, software verification, and distributed systems. He is a Program Committee Co-Chair for OOPSLA'27, was General Chair for ICFP 2025, and organised the ICFP Programming Contest in 2019. He is the recipient of several POPL/PLDI distinguished paper awards, the 2019 Dahl-Nygaard Junior Prize, and research awards from Google, Meta, and Amazon.

1 0

[CFP Extension] ICISS 2026 – 22nd International Conference on Information Systems Security (Deadline Extended to July 24, 2026 AoE)
by Madhavan Mukund 12 Jul '26

12 Jul '26

----- Forwarded message from Vishwas Patil <vishwasp(a)cse.iitb.ac.in> ----- From: Vishwas Patil <vishwasp(a)cse.iitb.ac.in> Date: Sun, 12 Jul 2026 03:24:12 +0530 Subject: [CFP Extension] ICISS 2026 – 22nd International Conference on Information Systems Security (Deadline Extended to July 24, 2026 AoE) ==================================================================== ICISS 2026 - The 22nd International Conference on Information Systems Security December 16-20, 2026 Chennai Mathematical Institute (CMI), Chennai, India https://iciss.in <https://iciss.in/> ==================================================================== ⸻⸻⸻⸻⸻⸻⸻⸻⸻⸻⸻ DEADLINE EXTENDED: Paper Submission Deadline is now: 24 JULY 2026 (AoE) ⸻⸻⸻⸻⸻⸻⸻⸻⸻⸻⸻ Due to several requests from prospective authors, the regular paper submission deadline for ICISS 2026 has been extended to 24 July 2026 (AoE). ICISS is India’s premier annual conference dedicated to information and cyber security research. The conference brings together researchers, practitioners, industry professionals, and students to present and discuss advances in all areas of information systems security. Key Attractions: * Best Paper Award recognizing outstanding research contributions. * Distinguished keynote and invited talks by leading researchers and practitioners. - Earlence Fernandes, University of California, San Diego - Gururaj Saileshwar, University of Toronto - Shubham Agarwal, Max Planck Institute for Security and Privacy - Somesh Jha, University of Wisconsin - ... * Tutorials on emerging topics in cybersecurity. - Drunix: Performant, Enterprise-grade Blockchain Platform (hands-on) - 5G Network Security - ... * Industry/Demo Track for practitioners and applied security work. * PhD Forum for students to present preliminary and ongoing research. * Limited travel grants and registration waivers for student authors. * Excellent opportunities for networking and collaboration with the international security research community. * Chennai, the host city, is a vibrant modern city with a rich history and culinary extravaganza! Important Dates: * Regular Paper Submission: 24 July 2026 (AoE) * Notification of Acceptance: 20 September 2026 * Camera-Ready Submission: 30 September 2026 Note: The above dates are current at the time of this announcement and may be updated if necessary. Authors are requested to regularly visit the conference website for the latest information on important dates, submission instructions, and other announcements. The conference website shall be considered the authoritative source for any updates. Topics of interest include, but are not limited to: * Applied Cryptography and Cryptographic Protocols * Access Control and Trust Management * Network Security * System Security * Software Security * Web Security * Privacy Enhancing Technologies * Blockchain and Distributed Ledger Security * AI/ML Security and Adversarial Machine Learning * Secure Hardware and Embedded Systems Security * Digital Forensics and Malware Analysis * Cloud, IoT, and Cyber-Physical Systems Security * Human-Centric Security and Usable Security * Emerging Security Challenges and Applications Authors are invited to submit previously unpublished research papers. Industry practitioners are also encouraged to submit security-related work to the Industry/Demo Track. For submission guidelines, templates, and complete CFP details, please visit: https://iciss.in/cfp/ We look forward to your submissions and participation at ICISS 2026 in Chennai, India. Please circulate this call in your group. Call for Regular papers: https://iciss.in/cfp/ Call for Industry/Demo papers: https://iciss.in/call-for-demos/ Call for PhD Forum papers: https://iciss.in/call-for-phd-forum/ (registration fees waiver and partial travel grants are available if your submission gets accepted). — With best regards, Publicity Chair, ICISS 2026 Vishwas Patil (Sr Scientist, Dept of CSE, IIT Bombay) ----- End forwarded message -----

1 0

TAI-NetSec 2026 Workshop (with IEEE ANTS), IIT Roorkee, India, Dec 17-20,2026
by Nitin Auluck 09 Jul '26

09 Jul '26

WS-05: International Workshop on Trustworthy AI for Next-Generation Networks and Cybersecurity (TAI-NetSec 2026), co-located with IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS), IIT Roorkee, Dec 17-20, 2026. As communication networks become increasingly autonomous and AI-dependent, ensuring their trustworthiness, resilience, and security has become a major research priority for both academia and industry. The International Workshop on Trustworthy AI for Next-Generation Networks and Cybersecurity (TAI-NetSec 2026) aims to bring together researchers, practitioners, and industry experts to discuss the latest advances, emerging challenges, and future directions in trustworthy AI for secure communication networks and intelligent cyber defense. The workshop will serve as a platform for presenting original research, industrial experiences, and innovative ideas that advance reliable, explainable, and secure AI-enabled networking technologies. It will be a half-day workshop held during the IEEE ANTS 2026 conference at IIT Roorkee. Paper submission for TAI-NeTSec workshop is now live. Important dates Paper submission: Jul 5 to Aug 7 | Notifications: Oct 15 | Camera ready: Nov 7. For more details and paper submission link, visit the workshop page: *https://ants2026.ieee-ants.org/ws-05-international-workshop-trustworthy-ai-next-generation-networks-and-cybersecurity-tai-netsec <https://ants2026.ieee-ants.org/ws-05-international-workshop-trustworthy-ai-…>* Workshop Organizers Nadia Nedjah, State University of Rio de Janeiro, Brazil. Brij B. Gupta, Asia University, Taiwan. Nitin Auluck, Indian Institute of Technology (IIT) Ropar, India. Workshop Co-Chairs Kwok Tai Chui, Hong Kong Metropolitan University, Hong Kong SAR, China. Akshat Gaurav, Ronin Institute (RIIS 2.0), USA. -- Dr. Nitin Auluck / डॉ. नितिन औलक Professor / प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजन ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ nitin(a)iitrpr.ac.in | https://sites.google.com/iitrpr.ac.in/nauluck/home | LinkedIn: www.linkedin.com/in/nitin-auluck | Twitter: @auluck_nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

1 0

IARCS Verification Seminar Series -- Talk by Ilya Sergey on July 14 at 1930 hrs IST
by VSS IARCS 08 Jul '26

08 Jul '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ilya Sergey, an Associate Professor at the School of Computing of National University of Singapore. The talk is scheduled on Tuesday, July 14, at 1930 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MmZtZ2RhaX…> ). 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, Organizers, IARCS Verification Seminar Series ============================================================= Title: Multi-Modal Verification of Distributed Systems in Lean Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: In this talk, I will present Veil, a framework for automated and interactive verification of transition systems, aimed specifically at conducting machine-assisted proofs about concurrent and distributed algorithms. Veil is implemented on top of the Lean proof assistant. It allows one to describe a transition system and its specification in a simple imperative language, verifying it using both dynamic and symbolic execution techniques. Veil allows one to check the desired safety properties in the style of TLA+ using explicit-state model-checking. For symbolic deductive reasoning, Veil produces verification conditions in first-order logic, to be discharged automatically via a range of SMT solvers. In case automated verification fails or if the system's description requires statements in a higher-order logic, Veil provides an interactive verification mode, by virtue of being embedded in a general-purpose proof assistant. Veil's automated verification performance is acceptable for practical verification tasks, while it also allows for seamless automated/interactive verification of system specifications beyond the reach of existing automated provers. Bio: Ilya Sergey is an Associate Professor at the School of Computing of National University of Singapore, where he leads the Verified Systems Engineering lab. He received his PhD from KU Leuven. Before joining NUS, he was a postdoc at IMDEA Software Institute and a faculty at University College London. Ilya's research spans programming language design, software verification, and distributed systems. He is a Program Committee Co-Chair for OOPSLA'27, was General Chair for ICFP 2025, and organised the ICFP Programming Contest in 2019. He is the recipient of several POPL/PLDI distinguished paper awards, the 2019 Dahl-Nygaard Junior Prize, and research awards from Google, Meta, and Amazon.

1 0

Paper Submissions to UCC 2026 and BDCAT 2026.
by Nitin Auluck 07 Jul '26

07 Jul '26

Dear Colleagues: As publicity co-chairs, it is our privilege to invite you to submit your work to the IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2026), and the IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT). Both events will be held in Florianópolis Brazil, from December 1 - 4, 2026. Paper submission deadline - August 19, 2026. For more details, please visit the conference websites - https://ucc-conference.org/, https://bdcat-conference.org/. Thanks, Mario Dantas, Carlos Trujillo, Thar Baker, Feras M. Awaysheh, Minxian Xu, and Nitin Auluck, Publicity co-chairs, UCC 2026 and BDCAT 2026. -- Dr. Nitin Auluck / डॉ. नितिन औलक Professor / प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजन ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ nitin(a)iitrpr.ac.in | https://sites.google.com/iitrpr.ac.in/nauluck/home | LinkedIn: www.linkedin.com/in/nitin-auluck | Twitter: @auluck_nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

1 0

[Deadline approaching] CFP: ICISS-2026
by Madhavan Mukund 05 Jul '26

05 Jul '26

----- Forwarded message from Vishwas Patil <ivishwas(a)gmail.com> ----- From: Vishwas Patil <ivishwas(a)gmail.com> Subject: [Deadline approaching] CFP: ICISS-2026 ================================================================================ CALL FOR PAPERS The 22nd International Conference on Information Systems Security (ICISS-2026) December 16–20, 2026 | Chennai Mathematical Institute, India ================================================================================ IMPORTANT DATES (All deadlines are 11:59 PM AoE) ----------------------------------------------- Regular Paper Submission Deadline: July 10, 2026 Notification of Acceptance: September 10, 2026 Camera-ready Submission Deadline: September 30, 2026 ABOUT ICISS-2026 ---------------- ICISS provides a premier forum for researchers and industry practitioners to present their original, previously unpublished work in systems security. The 22nd edition will be held at the Chennai Mathematical Institute. The conference features: • Pre-conference tutorials on cutting-edge security topics • Keynote talks and invited presentations from leading security experts • Three distinct tracks: Main Technical Track, Industry/Demo Track, and PhD Forum • Partial travel grants and registration waivers for students SCOPE AND AREAS OF INTEREST ---------------------------- ICISS solicits previously unpublished, original research work in systems security. Submissions on the following topics (non-exhaustive list) are welcome: SYSTEMS SECURITY • OS, VM, containers, cloud • Network: SDN, NFV, SD-WAN • IoT, RFID, SCADA systems • IDS, IPS, Honeypot, Botnet ACCESS CONTROL • Authentication, Authorization • PKI & Trust management • Zero Trust APPLICATION SECURITY • Vulnerabilities, Malware • Ransomware, APTs, MITRE • Information flow control • Threat Modelling, Attack graphs SECURITY IN AI/ML • Adversarial learning/inputs • Prompt injection, RLHF strategies • Model stealing, Model poisoning FORMAL METHODS FOR SECURITY • Verification of Security Protocols • FM for AI/ML Models & Apps HARDWARE SECURITY • Remote attestation, PUFs • Trojans, Backdoors, FPGA • TEE, TRNG, SGX PRIVACY • PETs, anonymization tech • De-identification attacks • Surveillance & Censorship • Inference, correlation attacks BLOCKCHAIN • Cryptocurrency, stablecoins • Interoperability, scalability • Smart contracts, concurrency • DIDs, NFTs, CBDCs, AML EMERGING TECHNOLOGIES & STANDARDS • ChatGPT, LaMDA, Dall-E 2, etc • Security-by-design, SBOM • STIX/TAXII REAL-WORLD USE CASES • e-voting, e-gov, smart cities • Healthcare, UPI payments SUBMISSION GUIDELINES --------------------- FORMAT & LENGTH • Submissions must be in English and not exceed 20 pages using LNCS format (excluding appendices and references) • Camera-ready versions must not exceed 20 pages (including appendices and references) • Do not modify LNCS format (fonts/margins) to adjust page length ANONYMITY & DOUBLE-BLIND REVIEW • ICISS follows a strict double-blind review process with at least 3 reviews per paper • Remove author identification: avoid revealing names via arXiv, GitHub, funding acknowledgments, or other searchable information • Cite your own prior work as if citing others • Consider using Anonymous4OpenScience (https://anonymous.4open.science/) SUBMISSION REQUIREMENTS • Submit as a single PDF file (ensure compatibility with Adobe Reader) • All figures must be readable when printed in grayscale • Submit by the deadline (11:59 PM AoE) • Ensure proper anonymization; inadequately anonymized papers may be rejected without review • All submissions are checked for plagiarism ETHICAL REQUIREMENTS • Submissions involving human subjects, user data, or real-world vulnerability analysis must include a dedicated "Ethical Considerations" section • Discuss risk-benefit trade-offs • Document responsible disclosure practices • Detail data anonymization procedures • This section does not count toward the page limit SPECIAL PAPER TYPES • Systematization of Knowledge (SoK) and Survey papers must be clearly marked with "SoK: " prefix • We encourage submissions from diverse methodological approaches AUTHOR DECLARATIONS ------------------- At the time of submission, you must: • Declare potential conflicts-of-interest with TPC members • Declare IRB status and responsible disclosure practices for vulnerability analysis and user privacy • Declare any use of generative AI in your work • Agree that at least one author of each accepted paper will register for and attend the conference • Acknowledge the chairs' right to desk-reject submissions attempting to disrupt the review process • Optionally consent to review others' submissions and/or LLM-assisted review of your work GENERATIVE AI USE POLICY ICISS encourages authors to use LLMs to critique their own papers before submission. However, authors must adhere to two core principles: • Human Accountability: Authors (humans) remain ultimately responsible for the contents of the paper. LLMs cannot be held responsible. • Transparency: Clearly declare your use of generative AI and its role in the research and writing process. REVIEW PROCESS ENHANCEMENTS --------------------------- RECIPROCAL REVIEW ICISS introduces a reciprocal review model to enhance scalability and diversity of perspectives. TPC chairs may request qualified authors to review others' submissions. Submission indicates your willingness to participate if needed. SUBMISSION TRACKS ----------------- ICISS accepts submissions across multiple tracks: • Regular Papers: Original research contributions in systems security • Industry/Demo Track: Security implementations, PoCs, and case studies from practitioners • PhD Forum: Early-stage and work-in-progress research from PhD students (lightning talks & posters) • Tutorials: Half/full-day courses on cutting-edge security topics Select the correct track when submitting. If you choose incorrectly, resubmit in the appropriate track and notify the track chairs. AWARDS & STUDENT SUPPORT ------------------------ • Best Paper Award: Announced at the conference • Student Travel Grants: Partial support for students with accepted papers • Registration Waivers: Available for PhD Forum participants • Generous funding for student attendance at tutorials and the main conference PROCEEDINGS ----------- All accepted papers will be published in the Springer LNCS (Lecture Notes in Computer Science) series, ensuring wide visibility and impact in the security research community. REFERENCES & POLICIES --------------------- For additional ethics guidance, refer to: • IEEE S&P 2023 Financial Conflict Policy • USENIX Security '26 Ethics Policy HOW TO SUBMIT -------------- Papers must be submitted via the ICISS 2026 Submission Portal on Springer Meteor: https://meteor.springer.com/ICISS2026 CONTACT ------- For any questions regarding submissions, please contact: Email: iciss.conf(a)gmail.com ================================================================================ ICISS-2026 | Chennai Mathematical Institute, India ================================================================================ -- Yours sincerely, Vishwas Patil. Senior Scientist, IIT Bombay. https://sites.google.com/site/ivishwas <http://sites.google.com/site/ivishwas> An omission is the most powerful form of lying. ~ George Orwell. ----- End forwarded message -----

1 0