- FMIndia - mail.cmi.ac.in

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

FSTTCS 2026 - Final Call for papers
by Shibashis Guha 04 Jul '26

04 Jul '26

[Apologies if you receive multiple copies.] December 15-20, 2026 at IIT Delhi <https://iitd.ac.in/>, India Website: https://www.fsttcs.org.in/2026/ <https://www.fsttcs.org.in/2024/> FSTTCS 2026 is the 46th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS <http://www.iarcs.org.in/>, the Indian Association for Research in Computing Science, in association with ACM India <https://india.acm.org/>. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. IMPORTANT DATES (all dates are AoE) Abstract Submission: July 4, 2026 Paper Submission: July 11, 2026 Rebuttal phase: August 26-28, 2026 Notification: September 15, 2026 Conference and workshops: December 15-20, 2026 PAPER SUBMISSION Submissions must be in electronic form via EasyChair <https://easychair.org/my/conference?conf=fsttcs2026> using the LIPIcs LaTeX style file available here <https://submission.dagstuhl.de/documentation/authors>. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Reviewing for FSTTCS 2026 is *double-blind*. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) <https://www.dagstuhl.de/en/publications/lipics/> as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license <https://creativecommons.org/licenses/by/3.0/>. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. TOPICS Track A - Algebraic Complexity - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Combinatorial Optimization - Communication Complexity - Computational Geometry - Computational Learning Theory - Cryptography and Security - Data Streaming and Sublinear algorithms - Economics and Computation - Foundations of Machine Learning - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Proof Complexity - Quantum Computing - Randomness in Computing - Theoretical Aspects of Computational Biology - Theoretical Aspects of Mobile and High-Performance Computing Track B - Automata, Games and Formal Languages - Logic in Computer Science - Modal and Temporal Logics - Models of Concurrent, Distributed and Mobile Systems - Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems - Finite Model Theory and Database Theory - Formal Methods - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Specification, Verification and Synthesis - Analysis and Verification of AI - Theorem Proving and Decision Procedures - SAT and SMT solving - Formal Analysis of Security and Privacy

1 0

SNR 26 : Deadline extension to 9 July - Symbolic and Numerical Reasoning about games @CONFEST 2026 (5 September)
by Soumyajit P 01 Jul '26

01 Jul '26

Dear all We are pleased to invite submissions to the 9th International Workshop on Symbolic and Numerical Reasoning about games (SNR), to be held on 5th September, 2026 as a satellite event of *CONFEST'26* <https://confest-2026.github.io/> in Liverpool. The goal of the workshop is to provide a platform for exploring symbolic and numerical techniques for reasoning about games, with applications in verification, synthesis, reactive systems, probabilistic models, and related areas. Website *https://confest-2026.github.io/workshops/snr/* <https://confest-2026.github.io/workshops/snr/> Call for submissions SNR solicits submissions for contributed talks in the form of extended abstracts (LIPIcs style, upto 2 pages without reference). We encourage submissions of ongoing works and new results as well as works published elsewhere. All submissions will undergo a lightweight peer-reviewing process. Authors of selected submissions presenting original unpublished work will subsequently be invited to submit a full version of their work for publication in formal proceedings, to be published by *EPTCS* <https://about.eptcs.org/>. Submissions are judged on the expected interest and relevance to the theme of the workshop. The topics include (but are not limited to) : - Numerical and symbolic methods in games - Automata theory for strategy synthesis - Verification using games - Logical method for games - Quantitative aspects of games - Strategy synthesis in probabilistic models - Heuristics for solving games Submissions can be made via EasyChair *https://easychair.org/conferences/?conf=snr26* <https://easychair.org/conferences/?conf=snr26> . Important Dates 9 July AOE : Submission Deadline Extended (was 29 June AOE) 20 July AOE : Notifications 5 Sep (full day) : Workshop Invited Speakers *Munyque Mittelmann* <https://sites.google.com/view/mittelmann>, CNRS, LIPN, Université Sorbonne-Paris-Nord (More to be confirmed) Program Committee K. S. Thejaswini (Université Libre de Bruxelles) Mickael Randour (FRS - FNRS and UMONS - Université de Mons) Suman Sadhukhan (TU Clausthal) Aline Goeminne (ENS Rennes, IRISA) Sven Schewe (University of Liverpool) Ashutosh Trivedi (University of Colorado, Boulder) (PC Chair) Dominik Wojtczak (University of Liverpool) Anirban Majumdar (TIFR, Mumbai) Best regards, Sougata, Soumyajit, Ashutosh and Dominik

1 0

[Congress-Level CFP] 2026 IEEE World Congress on Services (SERVICES 2026)
by Yacine Sam 28 Jun '26

28 Jun '26

[Apologies for multiple postings] Congress-Level Call for Papers ###################################################### 2026 IEEE World Congress on Services (SERVICES 2026) CLOUD | EDGE | ICDH | ICWS | QSW | SSE July 13-18, Sydney, Australia https://services.conferences.computer.org/2026/ Paper submission due: March 8, 2026 ###################################################### ****** OVERVIEW ***** The 2026 IEEE World Congress on Services (SERVICES) will be held on July 13-18 in Sydney, Australia. The Congress is sponsored by the IEEE Computer Society under the auspice of the Technical Community on Services Computing (TCSVC). With six theme conferences, the scope of SERVICES covers all aspects of services computing and applications, both current or emerging. SERVICES provides a premier international venue for sharing and discussing significant and recent technical research advances in services computing. Centered around services computing, SERVICES 2026 covers various systems and networking research pertaining to cloud, edge and Internet-of Things (IoT), as well as technologies for intelligent computing, learning, Big Data and blockchain applications, addressing critical issues such as knowledge network, high performance, security, privacy, dependability, trustworthiness, and cost-effectiveness. In addition to co-located theme-topic conferences, the Congress will also include symposia and workshops supporting deep-dive discussions on emerging topics, and complement the SERVICES 2026 program with industry and application presentations and panels. Authors are invited to prepare early and submit original and unpublished papers to any of these conferences at www.easychair.org. All submitted manuscripts will be peer-reviewed by at least three reviewers. Accepted and presented papers will appear in the conference proceedings published by the IEEE Computer Society Press. The 2026 Congress will host the following conferences: IEEE International Conference on Cloud Computing (CLOUD 2026) https://services.conferences.computer.org/2026/cloud/ IEEE International Conference on Edge Computing and Communications (EDGE 2026) https://services.conferences.computer.org/2026/edge/ IEEE International Conference on Digital Health (ICDH 2026) https://services.conferences.computer.org/2026/icdh/ IEEE International Conference on Web Services (ICWS 2026) https://services.conferences.computer.org/2026/icws/ IEEE International Conference on Quantum Software (QSW 2026) https://services.conferences.computer.org/2026/qsw/ IEEE International Conference on Software Service Engineering (SSE 2026) https://services.conferences.computer.org/2026/sse/ ***PAPER SUBMISSION INSTRUCTIONS*** Please visit https://services.conferences.computer.org/2026/info-for-authors/ for paper format and paper submission instructions for conferences being held under the IEEE Services Congress umbrella. ****IMPORTANT DATES**** Paper submission: March 8, 2026 Acceptance notifications: May 10, 2026 Camera-ready and registration: May 31, 2026 *****CONTACT US***** For general inquiries regarding the IEEE Services Congress, please use the contact form available at: [ https://services.conferences.computer.org/2026/contact-us/ | https://services.conferences.computer.org/2026/contact-us/ ]

1 7

[FSTTCS 2026] Second Call for Papers
by Aalok Thakkar 22 Jun '26

22 Jun '26

Dear All This is a reminder for the Call for Papers for FSTTCS ( https://www.fsttcs.org.in/2026/ ). FSTTCS 2026 is the 46th conference on Foundations of Software Technology and Theoretical Computer Science. It is organized by IARCS ( http://www.iarcs.org.in/ ) , the Indian Association for Research in Computing Science, in association with ACM India ( https://india.acm.org/ ). It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. Within Track B, there is a focus on soliciting submissions in the areas of Programming Languages and Practical Verification, in addition to theoretical results. FSTTCS 2026 will be held at *IIT Delhi, New Delhi* , India during December 16 –18, 2026. The conference is being organized as an in-person event. **List of Topics** **Track A** ● Algebraic Complexity ● Algorithms and Data Structures ● Algorithmic Graph Theory and Combinatorics ● Approximation Algorithms ● Combinatorial Optimization ● Communication Complexity ● Computational Geometry ● Computational Learning Theory ● Cryptography and Security ● Data Streaming and Sublinear algorithms ● Economics and Computation ● Foundations of Machine Learning ● Parallel, Distributed and Online Algorithms ● Parameterized Complexity ● Proof Complexity ● Quantum Computing ● Randomness in Computing ● Theoretical Aspects of Computational Biology ● Theoretical Aspects of Mobile and High-Performance Computing **Track B** ● Automata, Games and Formal Languages ● Logic in Computer Science ● Modal and Temporal Logics ● Models of Concurrent, Distributed and Mobile Systems ● Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems ● Finite Model Theory and Database Theory ● Formal Methods ● Principles and Semantics of Programming Languages ● Program Analysis and Transformation ● Specification, Verification and Synthesis ● Analysis and Verification of AI ● Theorem Proving and Decision Procedures ● SAT and SMT solving ● Formal Analysis of Security and Privacy **Submission Guidelines** Submissions must be in electronic form via EasyChair using the LIPIcs LaTeX style file available here (link to be added). Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Reviewing for FSTTCS 2026 is *double-blind*. Hence, authors must make a reasonable effort to ensure that their identity is not easily revealed from the submission itself. Specifically, kindly replace your name and affiliation on the first page with the submission number and do not include any acknowledgements in your submission. Also, authors should cite their prior work in a neutral manner (i.e., instead of saying “ We showed”, please write “ XYZ et al. showed”). Submitting a paper that is available at a public preprint server (such as, arXiv) is admissible. In that case, please do not cite that version of your work in the submission itself. Submissions violating the page limit or the double-blind policy may face desk rejection. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) ( https://www.dagstuhl.de/en/publications/lipics/ ) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license ( https://creativecommons.org/licenses/by/3.0/ ). For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. *Important Dates* Abstract submission deadline July 4 ( Sat ) 2026 Submission deadline July 11 ( Sat ) 2026 Paper assignment July 15 ( Wed ) 2026 Reviews due Aug 22 ( Sat ) 2026 Rebuttal Aug 26 -28 ( Wed - Fri ) 2026 Discussion Aug 29 ( Sat ) 2026 onwards Notification Sep 15 ( Tue ) 2026 Conference and workshops Dec 15 -20 2026 -- *Confidentiality Notice:* This email and any attachments may contain confidential or privileged information. If you are not the intended recipient, please notify the sender by replying to this message, and then delete the email and any attachments permanently. Thank you.

1 0

Postdoctoral position in Reactive Synthesis
by Shibashis Guha 18 Jun '26

18 Jun '26

A postdoctoral position is available in India for the Indo-French CEFIPRA project SMILeS -- Synthesis with Multiple objectives, Imperfect information, and Learning in Stochastic systems. The project investigates the automated synthesis of reactive systems under uncertainty, combining quantitative and qualitative objectives, worst-case and expectation requirements, and using machine learning with formal guarantees. ------------------------------------------------------------ -------------------------------------------------- Location: School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai. Duration: up to 28 months with renewal after every year based on the performance of the candidate. Job offer details: https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc2.pdf <https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc.pdf> Contact: Dr. Shibashis Guha <shibashis(a)tifr.res.in> <shibashis(a)tifr.res.in> ------------------------------------------------------------ -------------------------------------------------- The position is available immediately. The selected candidates will work closely with both the Indian PI (Shibashis Guha, TIFR) and the French PI (Laurent Doyen, LMF & CNRS), and other PIs (Krishna S, IIT Bombay) in the Indian and the French side (Patricia Bouyer and Dietmar Berwanger, LMF & CNRS). Applications and questions regarding the position may be sent to both Shibashis Guha (shibashis(a)tifr.res.in) and Laurent Doyen ( laurent.doyen(a)lmf.cnrs.fr) Applicants must have a PhD degree (or be in the process of obtaining one); - Candidate competences: Strong level in Logic, Automata, Games. Good familiarity with Complexity theory, Algorithms, and Probability. - Candidate know-how: Excellent writing and oral communication skills in English, including LaTeX. Collaborative and teamwork instinct. - Expected starting date: August 15, 2026 Please contact us if interested, and send a CV, a publication list, name of two or three referees, and a link to your PhD manuscript, preferably by July 15, 2026. Shibashis Guha & Laurent Doyen

1 0

International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2026) - Deadline extended to July 1 (firm)
by Cristina Pérez Solà 18 Jun '26

18 Jun '26

[Apologies for cross-posting] The CBT deadline has been extended to July 1. ********************************************************************* CALL FOR PAPERS ********************************************************************* 10th International Workshop on Cryptocurrencies and Blockchain Technology - CBT 2026 (in conjunction with ESORICS 2026) September 17th, 2026, Rome, Italy Website: http://cbtworkshop.org/ ********************************************************************* IMPORTANT DATES ================ * Submission deadline: *July 1 (extended)* * Notification to authors: July 22 * Camera-ready versions: August 24 ********************************************************************* ================= WORKSHOP HISTORY ================= Since the emergence of Bitcoin in 2009, a wide array of cryptocurrencies and blockchain-based systems have been introduced, achieving varying degrees of adoption and success. While some of these projects are incremental variations of Bitcoin, others present novel consensus mechanisms, governance models, privacy-enhancing technologies, or explore use cases beyond digital currency—such as decentralized finance (DeFi), non-fungible tokens (NFTs), decentralized autonomous organizations (DAOs), and scalable Layer 2 solutions. Despite these innovations, many proposed systems are released as rapid prototypes or proof-of-concept implementations, often lacking rigorous scientific evaluation. This workshop aims to serve as a dedicated forum for researchers to critically assess existing systems, explore emerging paradigms such as zero-knowledge proofs, cross-chain interoperability, and sustainable consensus, and propose robust frameworks that contribute to a sound scientific foundation for the ongoing development of blockchain technologies and next-generation decentralized systems. The main topics include (but are not limited to): * Anonymity and privacy in cryptocurrencies * Blockchain Governance * Privacy-preserving technologies * Blockchain based trust systems * Security analysis of existing cryptocurrencies * Formal threat models in cryptocurrency systems * Scalability and Performance Optimization * Second Layer Solutions * P2P network cryptocurrencies analysis * Blockchain-based Identity Management * Private transactions in blockchain based systems * New usages of the blockchain technology * Scalability solutions for blockchain systems * Interoperability and Cross-Chain Technologies * Distributed consensus and fault tolerance * Blockchain Analytics and Forensics * Blockchain Architecture and Consensus Mechanisms * On-chain and off-chain code synergies * Smart Contracts and Decentralized Applications (DApps) * NFTs (Non-Fungible Tokens) and Digital Assets * Decentralized Finance (DeFi) * Blockchain Education and Adoption Challenges * Post-Quantum Cryptography and Blockchain Security =================== SUBMISSION DETAILS =================== Regular and short papers: Papers must be original and not submitted for publication elsewhere. Authors are invited to submit their manuscripts following the LNCS Proceedings Manuscript style. Papers are limited to 16 pages (full papers), or 8 pages (short papers) including references and appendices. Paper must be submitted in PDF format. Double blind review: CBT requires anonymized submissions — please make sure that submitted papers contain no author names or obvious self-references. Papers can be submitted as PDF via the CBT 2026 submission site: https://easychair.org/conferences/?conf=esorics2026 Accepted regular papers will be published by Springer in the LNCS collection. At least one author of each accepted paper is required to register and present their work at the workshop; otherwise the paper will not be included in the proceedings. ================== PROGRAM COMMITEE ================== PC Chairs: Victor Garcia-Font (Universitat Oberta de Catalunya) Jordi Herrera-Joancomartí - Universitat Autònoma de Barcelona (UAB) Cristina Pérez-Solà (Universitat Autònoma de Barcelona) PC Members: Lennart Ante, Blockchain Research Lab gGmbH Daniel Augot, INRIA Saclay--Île-de-France & LIX Alex Biryukov, University of Luxembourg Rainer Böhme, University of Innsbruck Jeremy Clark, Concordia University Mauro Conti, Padova University Vanesa Daza, Universitat Pompeu Fabra Co-Pierre Georg, Deutsche Bundesbank Dongning Guo, Northwestern University Hannes Hartenstein, Karlsruhe Institute of Technology Ethan Heilman, Boston University Dorjan Hitaj, Sapienza University of Rome Xiapu Luo, The Hong Kong Polytechnic University Shin'Ichiro Matsuo, Georgetown University Pedro Moreno-Sanchez, IMDEA Software Institute Guillermo Navarro-Arribas, Autonomous University of Barcelona Charmaine Ndolo, Dresden University of Technology Mohammad Pishdar, KU Leuven Friman Sánchez, Universitat Oberta de Catalunya Weidong Shi, University of Houston Hitesh Tewari, Trinity College Dublin Dimitrios Vasilopoulos, SnT University of Luxembourg Edgar Weippl, University of Vienna ================== VENUE/FORMAT ================== The workshop will be held in Rome, Italy, in collaboration with the 31th annual European Symposium on Research in Computer Security, ESORICS 2026. More information on accommodation and venue available from the ESORICS 2026 website at https://sites.google.com/di.uniroma1.it/esorics2026 This call for papers and additional information about CBT 2026 can be found at http://cbtworkshop.org/ -- *Aquest missatge pot ser confidencial i s'adreça exclusivament al seu destinatari. Si l'has rebut per error, si us plau, comunica-ho contestant el missatge i elimina'l.* *El responsable de les dades és la UOC. La finalitat és mantenir la relació contractual o atendre la teva sol·licitud d'acord amb la relació contractual que mantens amb la UOC o, si escau, l'interès legítim de la UOC a donar-te'n resposta. Les dades es conservaran fins que expirin els terminis de prescripció aplicables i només es comunicaran a tercers per al compliment d'obligacions legals, quan sigui necessari per a l'execució de la relació contractual i als proveïdors autoritzats.* *Pots exercir els teus drets en protecció de dades adreçant-te a fuoc_pd(a)uoc.edu <mailto:fuoc_pd@uoc.edu>, contactant amb la persona delegada de protecció de dades a dpd(a)uoc.edu <mailto:dpd@uoc.edu>, així com presentant una reclamació davant l'APDCAT.* *Este mensaje se dirige exclusivamente a su destinatario y puede contener información confidencial. Si lo has recibido por error, por favor, comunícalo contestando el mensaje y elimínalo.* *El responsable de los datos es la UOC. La finalidad es mantener la relación contractual o atender tu solicitud de acuerdo con la relación contractual que mantienes con la UOC, o si procede, el interés legítimo de la UOC a darte respuesta. Los datos se conservarán hasta que expiren los plazos de prescripción aplicables y solo se comunicarán a terceros para el cumplimiento de obligaciones legales, cuando sea necesario para la ejecución de la relación contractual y a los proveedores autorizados. * *Puedes ejercer tus derechos de protección de datos dirigiéndote a fuoc_pd(a)uoc.edu <mailto:fuoc_pd@uoc.edu>, contactando con la persona delegada de protección de datos en dpd(a)uoc.edu <mailto:dpd@uoc.edu>, así como presentando una reclamación ante la APDCAT.* *This message may be confidential and is intended solely for the addressee. If you have received it in error, please reply to the message to let us know and then destroy it.* *The UOC is the data controller. The purpose of processing your data is to maintain your contractual relationship with the UOC, to respond to your request based on your contractual relationship with the UOC, or to pursue the UOC's legitimate interest in responding to you. Data will be stored until the applicable statutes of limitation expire and will only be disclosed to third parties to comply with legal obligations, or to authorized providers, or when necessary for the performance of the contractual relationship.* *You can exercise your data protection rights by writing to fuoc_pd(a)uoc.edu <mailto:fuoc_pd@uoc.edu>, by contacting the data protection officer at dpd(a)uoc.edu <mailto:dpd@uoc.edu>, or by lodging a complaint with APDCAT (the Catalan Data Protection Authority).*

1 0

[extended deadline] DPM 2026 - CFP - Data Privacy Manamgement, co-located with ESORICS 2026
by Guillermo Navarro-Arribas 18 Jun '26

18 Jun '26

(Apologies for cross-posting) CALL FOR PAPERS ****************************************************** Data Privacy Management (DPM 2026) 21th International Workshop September 17, 2026, Rome, Italy (co-located with ESORICS 2026) website: https://deic.uab.cat/dpm/dpm2026/ ****************************************************** IMPORTANT DATES ====================== Submission Deadline: -- July 1st, 2026 -- firm -- Notification: -- July 28th, 2026 Camera Ready: -- August 24th, 2026 ====== 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 2026 Easychair: https://easychair.org/conferences/?conf=esorics2026 and the select the track: 21st International Workshop on Data Privacy Management. 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. Submissions are not anonymous (single blind review). 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 (UM5R) Nicolas Anciaux (INRIA) Ken Barker (University of Calgary) Elisa Bertino (Purdue University) Jordi Casas-Roma (Universitat Autònoma de Barcelona) Jordi Castellà-Roca (Universitat Rovira i Virgili) Depeng Chen (Anhui University) Mathieu Cunche (University of Lyon / Inria) Sabrina De Capitani di Vimercati (Università degli Studi di Milano) Oscar Esparza (Universitat Politècnica de Catalunya) Sara Foresti (Università degli Studi di Milano) Sébastien Gambs (Université du Québec à Montréal) Lorena González Manzano (Universidad Carlos III de Madrid) M. Emre Gursoy (Koç University) Florian Kammueller (Middlesex University London and TU Berlin) Christophe Kiennert (Télécom SudParis) Hiroaki Kikuchi (Meiji University) Seongkwang Kim (Korea University) Evangelos Kranakis (Carleton University) Mirek Kutylowski (Wroclaw University of Technology & NASK) Romain Laborde (Université de Toulouse) Patrick Lacharme (Ensicaen) Brad Malin (Vanderbilt University) Lukas Malina (Brno University of Technology) David Megías (Universitat Oberta de Catalunya) Chris Mitchell (Royal Holloway, University of London) Javier Parra Arnau (Universitat Politècnica de Catalunya) Cristina Pérez-Solà (Universitat Autònoma de Barcelona) Isabel Praça (GECAD / ISEP) Ruben Rios (University of Málaga) Julián Salas (Universitat Oberta de Catalunya) Pierangela Samarati (Università degli Studi di Milano) David Sanchez (University Rovira i Virgili) Alexandre Viejo (Universitat Rovira i Virgili) Isabel Wagner (University of Basel) Jens Weber (University of Victoria) Lena Wiese (Fraunhofer Institute) Nicola Zannone (Eindhoven University of Technology)

1 0