- FMIndia - mail.cmi.ac.in

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

[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

3rd Workshop on Innovations In Compiler Technology (IICT) Bangalore, India -- Call for Papers
by Raveendra Medicherla 10 Jun '26

10 Jun '26

TCS Confidential Dear All, 3rd Workshop on Innovations In Compiler Technology (IICT) Bangalore, India Oct. 2-3, 2026 Call for Papers The 3rd workshop on Innovations In Compiler Technology (IICT) aims to bring together researchers, practitioners, and enthusiasts in the field of compiler technologies. The previous editions of the workshop were held in Bengaluru in September 2024 and September 2025. This edition of IICT is an iPLAN event and will be held on October 2-3, 2025 at the Indian Institute of Science (IISc) Bengaluru. More details about the workshop can be found at https://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 research and practice papers from academia and industry for IICT-2026. We invite presentations on all aspects of programming languages and compilers, covering the classical compiler techniques, compilers for AI/ML, Domain Specific Languages, Web3, blockchains etc. IICT-2026 will feature two tracks : Research Papers and Practice Papers. Proposals can be submitted under the form of an extended abstract (2– 4 pages), full paper (4 – 8 pages) for the Research Papers track. For the Practice Papers track, the submission can be in the form of extended abstract (1 page or more) or slides. In all cases, submissions should provide sufficient information for the program committee to judge the quality of the submission. Details on how to write high-quality submissions that articulate its contributions well can be found on the internet. See, for example: 1. https://www.sciencedirect.com/science/article/pii/S1878764915001606 2. https://cambridge-research.org/blogs/how-to-write-a-research-paper<https://cambridge-research.org/blogs/how-to-write-a-research-paper/>/ In addition, papers which were accepted / presented in premier venues (CORE A*/A Conferences) in the last 12 months can also be submitted and a limited number of these may be accepted for presentation in a special session. For this, submit the camera-ready version of the accepted paper, clearly indicating (as a footnote in the first page) the venue where the paper has appeared. All submissions will be reviewed by the Program Committee members and selection 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 90-second 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 submissions may be accepted for poster presentation rather than conventional presentations. As the workshop is intended as a forum for discussion of ongoing and emerging research, it will not publish formal proceedings. Consequently, the authors are free to submit extended or revised versions of their work to other conferences or journals. Important dates: * Submissions Open 1 June 2026 * Submission Deadline 1 July 2026 * Notification of Conditional Acceptance 10 August 2026 * Submission of 90 second video 17 August 2026 * Final Notification 4 September 2026 * Workshop Dates October 2-3, 2026 Link for submission: https://easychair.org/my/conference?conf=compilertech2025 <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 Policy on AI Generated Content * For any use of AI tools during the development process or elsewhere, it is expected there is responsible disclosure regarding this in the submission and authors should be prepared for questions regarding the same. Further, authors are accountable for the content in their presentations and papers. * The use of AI for grammar checks and syntactical rewriting is not required to be disclosed. * ACM guidelines are here for further reference https://www.acm.org/publications/policies/frequently-asked-questions<https://es.sonicurlprotection-tko.com/click?PV=2&MSGID=20260529123042055036…> Program Chairs : R Govindarajan (IISc Bangalore) and Ramana Radhakrishnan (NVIDIA) =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

1 0

International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2026) - CFP - Deadline June 17
by Cristina Pérez Solà 09 Jun '26

09 Jun '26

********************************************************************* 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: June 17 * 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

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

09 Jun '26

Dear All FSTTCS 2026 ( https://www.fsttcs.org.in/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

IARCS Verification Seminar Series -- Talk by Ekanshdeep Gupta on June 09 at 1900 hrs IST
by VSS IARCS 08 Jun '26

08 Jun '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ekanshdeep Gupta, a sixth-year PhD student at NYU graduating in August 2026. The talk is scheduled on Tuesday, June 09, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NDlsNjlxbT…> ). 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: Raven: a concurrency-aware intermediate verification language Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We present Raven, a concurrency-aware intermediate verification language (IVL) designed to prove linearizability of concurrent algorithms and data structures. Most front-end verification tools such as Dafny, Verus, and Prusti are based on IVLs like Boogie and Viper, which do not support concurrency. This means that front-end developers must model concurrency semantics on top of the IVL—a complex and error-prone task that must be performed from scratch for each new front-end. By providing concurrency support directly within the IVL, Raven aims to offer a compelling new foundation for developing custom front-ends that enable sophisticated concurrency reasoning. Raven is based on the Iris Separation Logic Framework, which has demonstrated impressive success in academic circles due to its expressiveness and generality. However, being mechanized in Rocq, Iris has a high barrier to entry and provides little automation. By bringing strong SMT-based automation to Iris, Raven enables linearizability verification at scale and makes the power of Iris accessible to a broader audience. We have implemented and verified a library of concurrent data structures with Raven, including the Michael-Scott queue, Treiber stack, ticket lock, and B+ trees. Bio: Ekanshdeep Gupta is a sixth-year PhD student at NYU graduating in August 2026. His research interests include automated reasoning and program verification tools, particularly using SMT-based automation and combining them with interactive theorem provers. Ekanshdeep is currently on the job market starting September 2026 for industry R&D positions combining programming languages, formal methods and automated reasoning.

1 0

IARCS Verification Seminar Series -- Talk by Ekanshdeep Gupta on June 09 at 1900 hrs IST
by VSS IARCS 30 May '26

30 May '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ekanshdeep Gupta, a sixth-year PhD student at NYU graduating in August 2026. The talk is scheduled on Tuesday, June 09, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NDlsNjlxbT…> ). 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: Raven: a concurrency-aware intermediate verification language Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We present Raven, a concurrency-aware intermediate verification language (IVL) designed to prove linearizability of concurrent algorithms and data structures. Most front-end verification tools such as Dafny, Verus, and Prusti are based on IVLs like Boogie and Viper, which do not support concurrency. This means that front-end developers must model concurrency semantics on top of the IVL—a complex and error-prone task that must be performed from scratch for each new front-end. By providing concurrency support directly within the IVL, Raven aims to offer a compelling new foundation for developing custom front-ends that enable sophisticated concurrency reasoning. Raven is based on the Iris Separation Logic Framework, which has demonstrated impressive success in academic circles due to its expressiveness and generality. However, being mechanized in Rocq, Iris has a high barrier to entry and provides little automation. By bringing strong SMT-based automation to Iris, Raven enables linearizability verification at scale and makes the power of Iris accessible to a broader audience. We have implemented and verified a library of concurrent data structures with Raven, including the Michael-Scott queue, Treiber stack, ticket lock, and B+ trees. Bio: Ekanshdeep Gupta is a sixth-year PhD student at NYU graduating in August 2026. His research interests include automated reasoning and program verification tools, particularly using SMT-based automation and combining them with interactive theorem provers. Ekanshdeep is currently on the job market starting September 2026 for industry R&D positions combining programming languages, formal methods and automated reasoning.

1 0

ISLA 2026: Second Call for Participation
by Abhisekh Sankaran 21 May '26

21 May '26

TCS Confidential ================================================================= CALL FOR PARTICIPATION Indian School on Logic and its Applications (ISLA) 2026 + https://isla26.vercel.app/ + June 25 - 30, 2026 + Krea University, Sri City, Andhra Pradesh + Co-located with the Formal Methods Update Meeting (FM Update) 2026 ================================================================= Dear all, The 11th Indian School on Logic and its Applications (ISLA 2026) will be held at Krea University, Sri City, Andhra Pradesh (near Chennai), from June 25 to 30, 2026. The school will be followed by the Formal Methods Update Meeting on July 2 - 3, 2026. ISLA 2026 website: https://isla26.vercel.app/ ABOUT THE SCHOOL ISLA is a biennial school on logic organized by the Association for Logic in India (ALI, https://logicindia.org) It aims to bring together students and researchers from mathematics, computer science, philosophy, and linguistics who share an interest in logic and its applications. The school is especially intended for PhD students, researchers and others interested in exploring logic across disciplines. VENUE Lectures will be held in NAB 2G in the New Academic Building on the Sri City campus of Krea University. SPEAKERS + K. V. Krishna (IIT Guwahati) + Shikha Rajpurohit (Krea University) + Eric Snyder (Ashoka University) + S. P. Suresh (Chennai Mathematical Institute) COURSES + Computability Theory - K. V. Krishna + Proofs vs Programs Correspondence - S. P. Suresh + Reference to Abstract Entities - Eric Snyder + Abhaava: Categorising what there is not - Shikha Rajpurohit IMPORTANT DATES + School Dates: June 25 - 30, 2026 REGISTRATION Registration for the school is open. Details regarding registration fees and the registration process are available at: https://isla26.vercel.app/registration.html Participation is limited, and registration will be on a _first-come, first-served_ basis. REACHING SRI CITY Sri City is 60 kms away from the city of Chennai both by taxi services and local trains (to Tada). It lies on the railway route connecting Chennai to Vijayawada / Hyderabad / Kolkata / New Delhi, and the nearest major railway station is Sullurpeta (around 22 kms away). Further details are available on the ISLA 2026 website. PROGRAMME COMMITTEE + Arun Kumar (Chair), BHU + Govind R (Chair), IMSc Chennai + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University LOCAL ORGANIZATION + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University CONTACT isla2026(a)krea.edu.in<mailto:isla2026@krea.edu.in> We look forward to your participation. Best regards, Organising Committee ISLA 2026 https://isla26.vercel.app/ =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

1 0

CFP: GandALF 2026
by B Srivathsan 19 May '26

19 May '26

********************************************************************************* 2nd Call for Papers - GandALF 2026 ********************************************************************************* The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Aalborg, Denmark, September 15-17, 2026. Web page:https://gandalfsymposium.github.io/2026/ The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis ## Proceedings: The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021, 2022, 2023, and 2024). ## Submissions: Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided athttps://style.eptcs.org) be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via EasyChair Conference system at the following address: https://easychair.org/conferences/?conf=gandalf2026 ## Important Dates: Abstract submission: June 18, 2026 Submission deadline: June 22, 2026 Notification: August 3, 2026 Camera ready: September 7, 2026 Conference Dates: September 15-17, 2026 ## Invited Speakers: Ezio Bartocci (TU Wien) Sarah Winter (IRIF - Université Paris Cité) ## Program Committee: Giorgio Bacci (Aalborg University, Denmark) - chair Mickaël Randour (Université de Mons, Belgium) - chair Bartosz Bednarczyk (University of Wrocław, Poland, and TU Wien, Austria) Laurent Doyen (CNRS & LMF, ENS Paris-Saclay, France) Marie Fortin (IRIF, CNRS, Université Paris Cité, France) Hadar Frenkel (Bar-Ilan University, Israel) Raffaella Gentilini (University of Perugia, Italy) Aline Goeminne (ENS Rennes, France) James C. A. Main (University of Oxford, United Kingdom) Alessio Mansutti (IMDEA Software Institute, Spain) Angelo Matteo (University of Udine, Italy) Matteo Mio (CNRS/ENS-Lyon, France) Petr Novotný (Masaryk University, Czech Republic) Charles Paperman (Université de Lille, France) Julie Parreaux (University of Warsaw, Poland) Igor Potapov (University of Liverpool, United Kingdom) David Purser (University of Liverpool, United Kingdom) Jeremy Sproston (University of Turin, Italy) B Srivathsan (Chennai Mathematical Institute, India) Marie Van Den Bogaard (Université Gustave Eiffel, France) Chana Weil-Kennedy (CEA List, France) ## Steering Committee: Luca Aceto (Reykjavik University) Javier Esparza (University of Munich) Salvatore La Torre (University of Salerno) Angelo Montanari (University of Udine) Mimmo Parente (University of Salerno) Jean-François Raskin (Université libre de Bruxelles) Martin Zimmermann (Aalborg University)

1 0