- FMIndia - mail.cmi.ac.in

CFP: 5th International Workshop on Blockchain (December 4-6, 2025);
by Madhavan Mukund 20 Aug '25

20 Aug '25

----- Forwarded message from Vishwas Patil <ivishwas(a)gmail.com> ----- From: Vishwas Patil <ivishwas(a)gmail.com> *CALL FOR PAPERS* *Fifth International Workshop on Blockchain: Blockchain Kaigi 2025* December 04-06, 2025 IIT Bombay, India. https://bck-2025.isrdc.in Submission deadline: September 15 The International Workshop "Blockchain Kaigi" (Kaigi: Meeting, Conference) aims at bringing together researchers and practitioners from various communities of science and technology working on areas related to FinTech, crypto-asset, and blockchain. Authors are encouraged to submit theoretical and/or applied articles on their research related to Blockchains in general. We have excellent *Keynotes *lined up during this workshop (partial list). 1) Dilip Asbe, MD & CEO, National Payments Corporation of India 2) Suvendu Pati, Chief General Manager, FinTech, Reserve Bank of India 3) Kazumasa Omote, Professor, University of Tsukuba, Japan 4) Hidenori Nakazato, Professor, Waseda University, Japan *Authors are invited to submit 2-page extended abstract describing original, previously unpublished work, not currently under review by another conference, workshop, or journal.* Please submit your extended abstract using EasyChair: https://easychair.org/conferences?conf=bck25 The abstract should include the title of the presentation, the names and affiliations of the speaker and co-researcher(s), a description of the content of the presentation, and one figure or table to supplement the description. The abstract should be two pages at maximum. Only PDF files will be accepted for the review process. *Deadline of abstract submission for general speakers: Sep. 15, 2025.* Indicative Topics of Interest (not an exhaustive list): - Consensus, Fault-tolerance, Scalability - Cryptography & Mathematics - Applications in Cybersecurity - Digital Asset Market, AUM - Central Bank Digital Currency (CBDC) - Innovation Policy, SDGs - Modelling of on-chain activity - Digital Identity & Privacy - Token Ecosystem, Finternet - IoU networks, Settlements - Lightning networks, Interoperability - Smart Contract Verification, DAOs - Smart-Grid, Smart-City - FinTech, AgTech, HealthTech - Legal and Regulatory Issues - Network Science, Hypergraphs - Innovative Use Cases for public good - Ledger analytics for privacy and AML - ML Applications to Blockchain - Blockchain for AI/ML ecosystem - Simulation tools - Visualisation of transaction trails Other topics in distributed ledger technologies will also be considered in the spirit of the above. Authors are invited to enter submissions describing original, previously unpublished work, not currently under review by another conference, workshop, or journal. *PROCEEDINGS PUBLICATION* Extended versions of accepted contributions will be invited for publication in JPS conference proceedings and a special issue of the Ledger Journal after your presentation at BCK25. For accepted manuscripts, at least one author must attend and present the paper. BCK25 is an in-person event. *SUBMISSION GUIDELINES* For compiling your submission (*2-page extended abstract*), please use this [1] LaTeX template or this [2] MS Word template. The abstract should include the title of the presentation, the names and affiliations of the speaker and co-researcher(s), a description of the content of the presentation, and one figure or table to supplement the description. The abstract should be two pages at maximum. Only PDF files will be accepted for the review process. [1] https://bit.ly/40L8Bfb [2] https://bit.ly/4l0PCEz ABOUT BCK WORKSHOPS ------------------- On February 17th - 18th, 2021, the international workshop “Blockchain in Kyoto 2021 (BCK21)" was hosted at Kyoto University, Japan. This event drew participants from around the globe, fostering a vibrant exchange of knowledge and ideas within the blockchain community. Continuing this tradition, the next instalment, “BCK22: Blockchain Kaigi 2022," took place on August 4th - 5th, 2022, at Tohoku University, Japan. It maintained the legacy of its predecessor by uniting a diverse group of forward-thinking researchers and practitioners who shared their latest findings and innovative solutions in blockchain technology. The "BCK23: Blockchain Kaigi 2023” session was held on October 28th -29th, 2023 at RIKEN's Kobe Campus (Kobe City), Japan. The recent edition of this kaigi was held at University of Zurich between September 12 and 13 as "BCK24: Blockchain Kaigi 2024". Building on this rich tradition of Blockchain Kaigi, we invite you to join us at IIT Bombay, where this year's Blockchain Kaigi (BCK25) will be held between December 4 and 6. BCK25 will continue to serve as a venue where experts from scientific and technological disciplines can discuss, collaborate, and advance the field of blockchain research. Authors are invited to submit both theoretical and applied papers that contribute to the broad spectrum of blockchain studies. PREVIOUS EDITIONS ----------------- - BCK21 - Kyoto University - BCK22 - Tohoku University - BCK23 - RIKEN Kobe Campus - BCK24 - University of Zurich IMPORTANT DATES --------------- * Submission deadline: September 15 * Notification of accptance: October 15 * Camera-ready submission: October 25 (All dates will follow AoE time 23:59) -- 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

DataMod 2025 - deadline approaching
by Arpit Sharma 14 Aug '25

14 Aug '25

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

1 0

Reminder: Logic Education Webinar on August 11 at 6:30 pm
by Madhavan Mukund 09 Aug '25

09 Aug '25

----- Forwarded message from R Ramanujam <jam(a)imsc.res.in> ----- webpage: https://resources.illc.uva.nl/Commission-on-Logic-Education/news-events/ zoom link: URL: https://cmi-ac-in.zoom.us/j/83042980483?pwd=8qXaJ6WqzLVEROZD1HrZ3b6aFhwyao.1 Meeting ID: 830 4298 0483 Passcode: 546866 WHAT ASPECTS OF STUDENT LANGUAGE USE DO NOT COMPORT WITH MATHEMATICAL LOGIC? Speaker: PAUL CHRISTIAN DAWKINS, Professor Of Mathematics, Texas State University Date: August 11, 2025 Time: 0800 HOURS (DALLAS) 1000 (Brasilia) 1500 (Paris) 1830 (Bangalore) 2100 (Beijing) Abstract: Based on over a decade of experiments working to support students in reflecting on their use of mathematical language to help them reinvent some basic logical structures, I have gained some insights about university students’ untrained interpretations of mathematical language. Combining these empirical findings with insights from psychology, pragmatics, and linguistics, I have come to appreciate the coherence and rationality of students’ language use even when it proves incompatible with logical structure. In this talk, I will share some stories of student thinking that have given me some helpful insight into how their language use differed in important ways from mathematical language use. Hopefully, these contrasts will help instructors and researchers understand the challenges that logic instruction must overcome to support students in formalizing and systematizing their reasoning about mathematical language. ----- End forwarded message -----

1 0

FMCAD 2025 - Call for Participation
by Daniela Kaufmann 06 Aug '25

06 Aug '25

===================================================================== *FMCAD 2025 *- 25th Intl Conference on Formal Methods in Computer-Aided Design /Call for Participation / October 6--10, 2025 SRI International Headquarters Menlo Park, California, US https://fmcad.org/FMCAD25 Registration link: https://fmcad.org/FMCAD25/registration/ ===================================================================== FMCAD 2025 will be held at the SRI International Headquarters in Menlo Park, California, USA, from October 6 to October 10, 2025. The conference includes: * the FMCAD Student Forum (https://fmcad.forsyte.at/FMCAD25/student_forum/) * the HWMCC 2025 (https://hwmcc.github.io/2025/) * VSTTE 2025 (https://systemf.epfl.ch/etc/vstte2025/) FMCAD 2025 is the twenty-fifth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. ## Conference dates: * VSTTE conference: October 6, 2025 * Joint VSTTE & FMCAD Tutorial day: October 7, 2025 * Main FMCAD conference: October 8–10, 2025 ## FMCAD Tutorial Speakers: * Alberto Griggio, Fondazione Bruno Kessler, Italy * Ankush Desai, Amazon Web Services, USA ## FMCAD Invited Talks: * Ashish Tiwari, Microsoft Research, USA * Nina Narodytska, VMware Research by Broadcom, USA ## About the venue FMCAD 2025 is hosted by SRI. The Menlo Park campus is situated in the heart of Silicon Valley just minutes from Stanford University and major tech companies. SRI is an independent nonprofit R&D institute with deep roots in Silicon Valley. With a nearly 80-year legacy, SRI’s technologies, research, and ideas have had a profound impact on every one of our lives — at home, at work, at school, and at play. SRI’s teams work in locations from coast-to-coast and in Tokyo, collaborate across fields and disciplines, and take an integrated approach to supporting government and commercial clients and addressing some of the world’s greatest challenges. ## Registration The registrations for the conference is now open. Early registration deadline: August 24, 2025, 23:59 PT Registration link: https://fmcad.org/FMCAD25/registration/ We look forward to seeing you in Menlo Park! Best regards, Daniela Kaufmann and Ahmed Irfan FMCAD 2025 Co-Chairs

1 0

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

01 Aug '25

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

1 0

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

28 Jul '25

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

1 0

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

13 Jul '25

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

1 0

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

03 Jul '25

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

1 4

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

03 Jul '25

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

1 0

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

23 Jun '25

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

1 0