- FMIndia - mail.cmi.ac.in

ICISS 2025, Final Extended Deadline 10 Aug 2025
by Madhavan Mukund 01 Aug '25

01 Aug '25

----- Forwarded message from Gourinath Banda <gourinath(a)iiti.ac.in> ----- From: Gourinath Banda <gourinath(a)iiti.ac.in> Subject: Call for Papers – Final Extended Deadline: 10 August 2025 (FIRM) – 21st International Conference on Information Systems Security (ICISS 2025) Dear All, We are pleased to invite paper submissions for the 21st International Conference on Information Systems Security (ICISS 2025), to be hosted by the Indian Institute of Technology Indore (IIT Indore), India from December 16–20, 2025. ICISS is a premier international forum that brings together researchers, academicians, and industry professionals to share their latest findings and insights in the fields of cybersecurity, cryptography, system security, and hardware security. Since its inception in 2005, ICISS has played a critical role in shaping the research landscape and fostering meaningful collaborations in information systems security. The ICISS 2025 conference will feature technical paper presentations, workshops, an industry and demo track, invited talks, keynote speeches, and more. Keynote addresses will be delivered by leading experts in information systems security. Confirmed keynote speakers include Prof. Christopher Kruegel, Professor of Computer Science at the University of California, Santa Barbara (UCSB), and Prof. Elisa Bertino, Professor in the Department of Computer Science at Purdue University. In addition to the keynotes, several invited speakers will deliver talks on emerging topics in cybersecurity. One such speaker is Dr. Nils Ole Tippenhauer, faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. Additional invited speakers will be announced soon. The submission portal for ICISS 2025 is now open and accepting papers. The submission deadline has been extended to August 10, 2025 (AoE). This is the final chance to submit your paper(s) to ICISS 2025. Submit your paper here: https://meteor.springer.com/ICISS2025 **IMPORTANT DATES** • Paper Submission Deadline: August 10, 2025 (FIRM Deadline) • Acceptance Notification: September 30, 2025 • Camera-ready Deadline: October 15, 2025 • Conference Dates: December 16–20, 2025 The conference will be held at IIT Indore. Established in the year 2009, IIT Indore has rapidly gained a reputation for excellence in education, research, and innovation. IIT Indore is known for its diverse academic programs, state-of-the-art infrastructure, and vibrant campus life. ICISS 2025 invites original, high-quality research contributions in the field of information systems security. We look forward to your contributions and participation in ICISS 2025! Please find attached CFP or for more details, submission guidelines, and updates, please visit the official conference website: https://iciss.isrdc.in/ Best regards, Organizing Committee ICISS 2025 Gourinath Banda Associate Professor, CSE IIT Indore gourinath(a)iiti.ac.in ----- End forwarded message -----

1 0

RHPL@FSTTCS 2025: Call for Talk and Poster Proposals
by abhisekh.sankaran＠tcs.com 28 Jul '25

28 Jul '25

Dear colleague, As you may know, FSTTCS 2025 (https://www.fsttcs.org.in/2025/) is going to be held at BITS Pilani, K K Birla Goa Campus (https://www.bits-pilani.ac.in/goa/) during December 17 – 19, 2025. The conference is organized by IARCS, the Indian Association for Research in Computing Science (https://www.iarcs.org.in/) in association with ACM India (https://india.acm.org/) It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. As in the previous years, this year too, co-located with the main FSTTCS conference, IARCS is organizing the Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages (PL), including but not limited to: - Applied formal methods - Automated and interactive theorem provers - Compilers - Concurrency and memory models - Domain and type theories - Program analysis and verification - Program sketching, synthesis and repair - Programming language design and semantics Further, in view of the increasing role of Artificial Intelligence (AI) and Machine Learning (ML) in PL theory and practice, the workshop also includes in its scope themes pertaining to the influences of AI/ML concepts and tools on the mentioned PL topics, and vice-versa; for instance, probabilistic programming languages. The website for the workshop is: https://fmindia.cmi.ac.in/rhpl2025/ The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. We solicit: (1) Talk proposals: On recent work that has been published in good venues, or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. Proposals to the workshop can be based on one or more works, published or unpublished. They may be submitted using the Google form below. https://forms.gle/RufuAs54zxsadp1n7 The important dates for the workshop are as below. All dates are in Indian Standard Time (IST). - Submission portal opens: July 28, 2025 - Submission deadline: September 18, 2025 - Notification: September 25, 2025 - Early registration deadline: TBA - RHPL@FSTTCS: TBA We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Abhisekh Sankaran (TCS Research) (co-Chair) Divyesh Unadkat (Synopsys) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Sumanth Prabhu (TCS Research) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore)

1 0

Logic education webinar on August 11 at 6-30 pm
by Madhavan Mukund 13 Jul '25

13 Jul '25

----- Forwarded message from R Ramanujam <jam(a)imsc.res.in> ----- From: R Ramanujam <jam(a)imsc.res.in> Date: Sun, 13 Jul 2025 23:26:54 +0530 Subject: logic education webinar on august 11 at 6-30 pm Speaker: PAUL CHRISTIAN DAWKINS, Professor of Mathematics, Texas State University Title: /What aspects of student language use do not comport with mathematical logic?/ Date: AUGUST 11, 2025, MONDAY Time: 0800 HOURS (DALLAS) 1000 (Brasilia) 1500 (Paris) 1830 (Bangalore) 2100 (Beijing) URL: https://cmi-ac-in.zoom.us/j/83042980483?pwd=8qXaJ6WqzLVEROZD1HrZ3b6aFhwyao.1 Meeting ID: 830 4298 0483 Passcode: 546866 ------------- -- R Ramanujam ----- End forwarded message -----

1 0

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat 03 Jul '25

03 Jul '25

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Call for papers PLAS 2025 <http://plas25.github.io>(co-located with CCS '25) Taipei, Taiwan 13th October, 2025 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ TL;DR: Submission Deadline: June 20, 2025 AoE ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Overview ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ The Workshop on Programming Languages and Analysis for Security (PLAS) explores the use of programming language and program analysis techniques to improve software security across compilers, machine learning models, and smart contracts. It promotes speculative, forward-looking ideas and insightful discussions at the intersection of programming languages and security. The 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025) <http://plas25.github.io> will be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei, Taiwan. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Submission Guidelines ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ The workshop has no formal published proceedings; hence, we encourage the submission of papers that are likely to generate lively discussion as well as papers covering ongoing and future work. Presenting a paper at the workshop does not preclude submission to or publication in other venues that are before, concurrent, or after the workshop. Papers presented at the workshop will be made available to workshop participants only. We invite both short papers and long papers. Full papers: There is no page limit on long papers. Papers in this category are expected to have relatively mature content. Papers that present promising preliminary and exploratory work, or recently published work are particularly welcome in this category. Long papers may receive longer talk slots at the workshop than short papers, depending on the number of accepted submissions. Short papers: should be at most 2 pages long, plus as many pages as needed for references. Papers that present radical, open-ended and forward-looking ideas are particularly welcome in this category. Authors submitting papers in this category must prepend the phrase "Short Paper:" to the title of the submitted paper. There is no restriction on paper format other than the page limits stated above. A non-exhaustive list of topics for the workshop is: - Side-channel vulnerability detection and elimination - Verification techniques applied to adversarial learning and smart contracts - Software isolation (e.g., SFI, sandboxing) - Compiler/runtime-based hardening and monitoring - Program analysis, binary analysis, and fuzzing - Security enforcement mechanisms - Cryptographic protocol verification - Information flow and access control - Security in web, IoT, and cloud programming languages Submissions will be made (in PDF format) via the following website: https://plas25.hotcrp.com. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Important Dates ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Paper submission: *June 20, 2025 AoE*Author notification: August 8, 2025 Workshop date: October 13, 2025 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Program Committee ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Amir Ahmadian (KTH, Sweden) Sebastien Bardin (CEA, France) Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair) Ferhat Erata (Yale, USA) Jana Hofmann (MPI-SP, Germany) (co-chair) Adrien Koutsos (Inria, France) McKenna McCall (Carnegie Mellon University, USA) Toby Murray (University of Melbourne, Australia) Sabine Oechsner (VU Amsterdam, Netherlands) ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Contact ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ For more information, please refer to plas25.github.io or email us at abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org Best Regards, Jana and Abhishek

1 4

Fully funded PhD position in Automata theory in Marseille, France
by C Aiswarya 03 Jul '25

03 Jul '25

We are looking for candidates for a PhD position in automata theory in LIS Marseille, France. A Masters degree with a strong background in theoretical computer science is required. The PhD will be jointly supervised by C. Aiswarya (Chennai Mathematical Institute) and Benjamin Monmege (LIS, Marseille). The student will be based in Marseille, with an option to visit Chennai Mathematical Institute for research discussions. The earliest starting date is October 1, 2025. Further details can be found in the application portal <https://emploi.cnrs.fr/Offres/Doctorant/UMR7020-BENMON-002/Default.aspx?lan…>. Application deadline: 14 July. Please reach out to us if you have any queries. Best regards, Aiswarya and Benjamin

1 0

Formal Methods Update Meeting 2025
by VSS IARCS 23 Jun '25

23 Jun '25

Dear all, The Formal Methods Update Meeting 2025 will be held as a physical meeting at DA-IICT in Gandhinagar during 3–4 July, 2025. Please visit the website https://fmindia.cmi.ac.in/update2025/ for registration and other details. The FM Update Meeting is an informal event organized by the FM community in India annually, with the aim of getting FM researchers together to present and discuss topical developments in their areas of interest. Everybody interested in the use of Formal Methods in Program Design and Verification and Theoretical Computer Science is welcome to join. If you would like to give a talk at the meeting, please send us a title and an abstract of your talk to fmupdatemeet(a)gmail.com. Best regards, Organizing Committee, FM Update Meeting 2025

1 0

VSTTE 2025 (co-located with FMCAD 2025): Call for papers
by Supratik Chakraborty 18 Jun '25

18 Jun '25

VSTTE 2025 17th International Conference on Verified Software: Theories, Tools, and Experiments October 06-07, 2025, Menlo Park, California, USA Co-located with Formal Methods in Computer-Aided Design 2025 (_FMCAD 2025 <https://fmcad.org/FMCAD25/>_) Key Information Conference Website: _https://systemf.epfl.ch/etc/vstte2025/ <https://systemf.epfl.ch/etc/vstte2025/>_ Paper submission Deadline: July 18th AoE This year, VSTTE accepts both (short and long) regular papers to be included in post-conference proceedings and work-in-progress (presentation only) papers. Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. The Verified Software Initiative (VSI), spearheaded by Tony Hoare and Jayadev Misra, is an ambitious research program for making large-scale verified software a practical reality. The International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) is the main forum for advancing the initiative. VSTTE brings together experts spanning the spectrum of software verification in order to foster international collaboration on the critical research challenges. The theoretical work includes semantic foundations and logics for specification and verification, and verification algorithms and methodologies. The tools cover specification and annotation languages, program analyzers, model checkers, interactive verifiers and proof checkers, automated theorem provers and SAT/SMT solvers, and integrated verification environments. The experimental work drives the research agenda for theory and tools by taking on significant specification/verification exercises covering hardware, operating systems, compilers, computer security, parallel computing, and cyber-physical systems. Call for papers and work-in-progress presentations VSTTE 2025 welcomes submissions describing significant advances in the production of verified software, i.e. software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. In addition to regular papers, we welcome submissions on in-progress verified software projects to a “work-in-progress (presentation-only)” track. Work-in-progress contributions will not appear in the post-proceedings of the conference. Submissions describing work of interest to the software verification community, but that could not be accepted for publication in the conference proceedings, may be invited to the “work-in-progress (presentation-only)” track, on a case-by-case basis. Topics of interest for this conference include, but are not limited to, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Submissions VSTTE 2025 accepts both long (limited to 16 pages, excluding references) and short (limited to 10 pages, excluding references) paper submissions. Short submissions also cover “verification pearls” describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Papers may be submitted via EasyChair at the _VSTTE 2025 conference submission page <https://easychair.org/conferences/?conf=vstte25>_. The use of LaTeX and the _Springer LNCS class files <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…>_ is strongly encouraged. Submissions that are not in the proper format or are too long will not be considered. Accepted regular-track papers will be included in the post-conference proceedings of VSTTE 2025, which will be published as a LNCS volume by Springer-Verlag. Authors of those papers will have to transfer copyright of their contribution to Springer-Verlag. Important Dates * Abstract submission: July 14th AoE * Paper submission: July 18th AoE * Notification of acceptance: Aug 31th (AoE) * Final pre-conference paper submission: September 26th (AoE) * Conference: October 6th-7th * Camera-ready for papers included in post-conference proceedings: TBA Invited speakers * _Caroline Trippel <https://cs.stanford.edu/people/trippel/>_ (Stanford University) * _Grant Passmore <https://www.imandra.ai/about>_ (Imandra) Invited tutorial speakers * _Pierre-Yves Strub <https://www.strub.nu/>_ (PQShield) Chairs Steering Committee * _Supratik Chakraborty <https://www.cse.iitb.ac.in/~supratik/>_ (IIT Bombay, India) * _Natarajan Shankar <https://www.csl.sri.com/~shankar/>_ (SRI International) Program Chairs * _Clément Pit-Claudel <https://pit-claudel.fr/clement/>_ (EPFL) * _Katherine Kosaian <https://sites.google.com/view/katherinekosaian>_ (University of Iowa)

1 0

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb 18 Jun '25

18 Jun '25

DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ -------------------------------------------------------------------------------- Abstract submission deadline (optional): 22 August 2025 Paper submission deadline: 29 August 2025 -------------------------------------------------------------------------------- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION All contributions in the form of either - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) will be reviewed by three members of the Program Committee. Authors are invited to submit their contributions via Easychair https://easychair.org/conferences/?conf=datamod2025 In addition, presentation reports will be considered having the following form: - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 All papers should be written in English and formatted according to the LNCS style. Paper formatting guidelines according to LNCS style are available here: http://www.springer.com/lncs Detailed information on the submission procedure and format are available on the symposium web page: https://datamod2025.github.io/ Accepted papers (both regular and short) will be included in a dedicated LNCS post-proceedings volume published by Springer after the Symposium. Condition for inclusion in the proceedings is that at least one of the co-authors attends and presents the paper at the Symposium. IMPORTANT DATES Abstract Submission deadline (optional): 22 August 2025 Paper Submission deadline: 29 August 2025 Notification: 30 September 2025 Revised Version: 7 October 2025 Symposium: 10-11 November 2025 KEYNOTE SPEAKERS * TBA PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Clarisó, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Université de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * José Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Università di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, Høgskulen på Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025(a)easychair.org

1 0

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS 12 Jun '25

12 Jun '25

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Shahaf Bassan, a senior PhD student in the Katz Lab at the Hebrew University of Jerusalem specializing in explainable AI. The talk is scheduled on Thursday, June 12, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NTRxaDRxdG…> ). 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: “Formal XAI”: Can we formally explain ML models? Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: The goal of explainability is to make sense of the decisions made by black-box ML models. Unfortunately, many existing explanation methods are heuristic, which makes them unreliable. In this talk, I will present our work on developing techniques that provide explanations with formal guarantees, ensuring their trustworthiness. These techniques often rely on formal verification, particularly neural network verification tools. In addition, we examine these explanations from a theoretical perspective - studying the computational challenges they pose and exploring ways to build practical tools that address these challenges and enable the generation of reliable explanations for ML models. Bio: Shahaf Bassan is a senior PhD student in the Katz Lab at the Hebrew University of Jerusalem specializing in explainable AI. His research focuses on developing explanation techniques with formally provable guarantees, at the intersection of explainability, formal verification, and ML theory. His work spans both theoretical foundations and practical applications. Sahaf has presented his research at leading conferences in formal verification (e.g., TACAS) and machine learning (e.g., ICML, ICLR). His research goal is to enhance trust in ML models by providing trustworthy, verifiable explanations.

1 0

IARCS Verification Seminar Series -- Talk by Shahaf Bassan postponed to June 12, 1900 hrs IST
by VSS IARCS 09 Jun '25

09 Jun '25

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Shahaf Bassan, a senior PhD student in the Katz Lab at the Hebrew University of Jerusalem specializing in explainable AI. The talk is scheduled on Thursday, June 12, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NTRxaDRxdG…> ). 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: “Formal XAI”: Can we formally explain ML models? Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: The goal of explainability is to make sense of the decisions made by black-box ML models. Unfortunately, many existing explanation methods are heuristic, which makes them unreliable. In this talk, I will present our work on developing techniques that provide explanations with formal guarantees, ensuring their trustworthiness. These techniques often rely on formal verification, particularly neural network verification tools. In addition, we examine these explanations from a theoretical perspective - studying the computational challenges they pose and exploring ways to build practical tools that address these challenges and enable the generation of reliable explanations for ML models. Bio: Shahaf Bassan is a senior PhD student in the Katz Lab at the Hebrew University of Jerusalem specializing in explainable AI. His research focuses on developing explanation techniques with formally provable guarantees, at the intersection of explainability, formal verification, and ML theory. His work spans both theoretical foundations and practical applications. Sahaf has presented his research at leading conferences in formal verification (e.g., TACAS) and machine learning (e.g., ICML, ICLR). His research goal is to enhance trust in ML models by providing trustworthy, verifiable explanations.

1 0