------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
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
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
2nd Workshop on Innovations In Compiler Technology (IICT)
==========================================================
Call for Presentation Proposals
-------------------------------
The 2nd workshop on Innovations In Compiler Technology (IICT) aims to
bring together researchers, practitioners, and enthusiasts in the field
of compiler technologies. The first workshop was held in Bengaluru on 28
and 29 September 2024. This edition of IICT is being held as an ACM
Meetup in collaboration with iSoft on 27 and 28 September 2025 at Indian
Institute of Science (IISc) Bengaluru. More details about the workshop
can be found athttps://compilertech.org/.
IICT focuses on the cutting-edge advancements in design, implementation,
and optimization of compiler techniques as well as their applications on
emerging software and hardware platforms. We invite speakers from
academia and industry to present their work related to programming
languages and compilers. We invite presentations on all aspects of
compilers covering the classical compiler techniques, compilers for
AI/ML, DSLs, Web3, blockchains etc.
Proposals should provide sufficient information for the program
committee to be able to judge the quality of the submission. Proposals
can be submitted under the form of an extended abstract, full paper, or
slides. The selections will happen in two steps: In the first step, a
conditional acceptance will be provided. The second step requires the
participants of conditionally accepted proposals to submit a ninety
seconds video of their presentation which will be displayed as a teaser
on the workshop website. The final acceptance will be provided based on
the evaluation of the video presentations.
Some of the proposals may be accepted for posters rather than
conventional presentations.
Important dates:
Submissions Open 1 June 2025
Submission Deadline 1 July 2025
Notification of Conditional Acceptance 7 August 2025
Submission of 90 second video 15 August 2025
Final Notification 1 September 2025
Workshop Dates 27, 28 September 2025
Link for submission:
https://easychair.org/my/conference?conf=compilertech2025.
Who should attend?
- Practitioners of compilers.
- Students and Researchers in the field of compilers, programming
languages, and runtime.
- Those interested in using compiler and toolchain technology in
novel and interesting ways.
Uday Khedker (IIT Bombay) Aditya Kumar (Google)
Program Chair Organizing Chair
--
signature.html
------------------------------------------------------------------------
Dr. Uday Khedker, Professor
Department of Computer Science & Engg.
IIT Bombay, Powai, Mumbai 400 076, India.
Email : uday(a)cse.iitb.ac.in
Homepage: http://www.cse.iitb.ac.in/~uday
Phone : 91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)
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
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)
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
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.
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.
(Apologies for cross-posting)
CALL FOR PAPERS
******************************************************
Data Privacy Management (DPM 2025)
20th International Workshop
September 25, 2025, Toulouse, France
(co-located with ESORICS 2025)
website: https://deic.uab.cat/dpm/dpm2025/
******************************************************
IMPORTANT DATES
======================
Submission Deadline:
-- June 17, 2025
Notification:
-- July 31, 2025
Camera Ready:
-- September 5, 2025
======
SCOPE
======
DPM is an annual international workshop covering research in data
privacy management. Organizations are increasingly concerned about the
privacy of information that they manage (as witnessed, for example, by
lawsuits filed against organizations for violating the privacy of
customer's data). Thus, the management of privacy-sensitive
information is very critical and important for every organization.
This poses several challenging problems, such as how to translate the
high-level business goals into system-level privacy policies,
administration of privacy-sensitive data, privacy preserving data
integration and engineering, privacy preserving access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers. Starting from these
observations, the aim of DPM is to discuss and exchange ideas related
to data privacy management. We invite papers from researchers and
practitioners working in privacy, security, trustworthy data systems
and related areas to submit their original papers in this workshop.
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
TOPICS
========
Topics of interest include, but are not limited to:
- Privacy in Machine Learning
- Privacy Information Management
- Privacy Policy-based Infrastructures and Architectures
- Privacy-oriented Access Control Languages and Models
- Privacy in Trust Management
- Privacy in Cryptocurrencies
- Privacy Data Integration
- Privacy Risk Assessment and Assurance
- Privacy Services
- Privacy Policy Analysis
- Data Protection Regulations in Practice
- Cryptographic Protocols for Privacy
- Query Execution over Privacy Sensitive Data
- Privacy Preserving Data Mining
- Privacy for Integrity-based Computing
- Privacy Monitoring and Auditing
- Privacy in Social Networks
- Privacy in Ambient Intelligence (AmI) Applications
- Individual Privacy vs. Corporate/National Security
- Privacy in computer networks
- Privacy and RFIDs
- Privacy and Big Data
- Privacy in sensor networks
- Privacy in the Internet of Things
PAPER SUBMISSIONS
===================
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Papers can be submitted as Full Papers or
Short Papers. Full papers should be at most 16 pages in the LNCS
format, including the bibliography and well-marked appendices. Short
papers should be at most 8 pages in the LNCS format, including the
bibliography and well-marked appendices. Program Committee members are
not required to read the appendices, so papers should be intelligible
without them.
Authors should indicate whether their paper is a short paper to
differentiate them from full papers. All submissions must be written
in English. It is planned to have accepted papers published by
Springer in the Lecture Notes in Computer Science (LNCS) series, the
LNCS template can be found at:
http://www.springer.com/computer/lncs/lncs+authors.
Submission should be done through the ESORICS 2025 Easychair:
https://easychair.org/conferences/?conf=esorics2025
and the select the track: DPM Workshop.
Only PDF files will be accepted (a Latex source file will be required
for the final version of the accepted papers). All papers will be
refereed. Accepted papers must be presented at the Workshop. At least
one author of each accepted paper must register to the workshop, by
the early date indicated by the organizers, and present the paper.
PROGRAM CHAIRS
===============
Joaquin Garcia-Alfaro (Institut Polytechnique de Paris)
Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona)
PROGRAM COMMITTEE
=================
- Abderrahim Ait Wakrime (Mohammed V University)
- Ken Barker (University of Calgary)
- Elisa Bertino (Purdue University)
- Alessandro Brighente (University of Padova)
- Jordi Casas-Roma (Universitat Autonoma de Barcelona)
- Jordi Castella-Roca (Universitat Rovira i Virgili)
- Depeng Chen (Anhui University)
- Mathieu Cunche (University of Lyon / Inria)
- Frederic Cuppens (Polytechnique Montreal)
- Sabrina De Capitani di Vimercati (Universita degli Studi di Milano)
- Jose M. De Fuentes (Universidad Carlos III de Madrid)
- Josep Domingo-Ferrer (Universitat Rovira i Virgili)
- Lorena Gonzalez Manzano (Universidad Carlos III de Madrid)
- M. Emre Gursoy (Koç University)
- Guy-Vincent Jourdan (University of Ottawa)
- Florian Kammueller (Middlesex University London)
- Bruce Kapron (University of Victoria)
- Sokratis Katsikas (Norwegian University of Science and Technology)
- Christophe Kiennert (Telecom SudParis)
- Hiroaki Kikuchi (Meiji University)
- Evangelos Kranakis (Carleton University)
- Romain Laborde (Universite de Toulouse)
- Patrick Lacharme (Ensicaen)
- Giovanni Livraga (University of Milan)
- Brad Malin (Vanderbilt University)
- Lukas Malina (Brno University of Technology)
- Zoltan Mann (University of Halle-Wittenberg)
- David Megias (Universitat Oberta de Catalunya)
- Gerardo Pelosi (Politecnico di Milano)
- Cristina Perez-Sola (Universitat Autonoma de Barcelona)
- Ruben Rios (University of Malaga)
- Pierangela Samarati (Universita degli Studi di Milano)
- Vicenc Torra (Umea University)
- Alexandre Viejo (Universitat Rovira i Virgili)
- Isabel Wagner (University of Basel)
- Jens Weber (University of Victoria)
- Nicola Zannone (Eindhoven University of Technology)
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 Tuesday, June 10, 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.