September 2026 - FMIndia - mail.cmi.ac.in

CFP - ISORC 2027
by Nitin Auluck 28 Sep '26

28 Sep '26

30th IEEE ISORC 2027 Call for Papers IIT Ropar, Punjab, India April 07-09. 2027. https://isorc-conference.org/ We are pleased to announce the 30th IEEE International Symposium on Real-Time Distributed Computing (IEEE ISORC 2027), to be held at the Indian Institute of Technology Ropar (IIT Ropar), Punjab, India, in March 2027. Exact conference dates will be announced soon. About IEEE ISORC IEEE ISORC was established in 1998 to advance research in real-time distributed computing. For nearly three decades, ISORC has provided an intimate forum for researchers and practitioners to address fundamental and emerging challenges in timing, predictability, determinism, and dependability in modern computing systems. Today, real-time constraints extend well beyond traditional embedded systems and play a central role in autonomous vehicles, edge AI, medical devices, industrial control systems, robotics, and next-generation communications infrastructure. IEEE ISORC 2027 welcomes high-quality research that places real-time constraints, timing analysis, determinism, dependability, or embedded-system concerns at the center of the contribution. AI/ML, IoT, distributed systems, and autonomous computing topics are welcome when they are grounded in explicit real-time, timing, predictability, or embedded-system requirements. IEEE ISORC 2027 marks the symposium’s 30th anniversary and its first edition in India, hosted by IIT Ropar. Consistent with the ISORC tradition, the technical program will maintain a single-track format, providing participants with opportunities to engage with the complete technical program, exchange ideas, and interact with researchers from the real-time and distributed computing community. Topics of Interest IEEE ISORC 2027 invites original research papers and practitioner contributions in all areas of real-time distributed computing, including, but not limited to: 1. Real-Time and Embedded System Architectures • Hardware/software co-design • Real-time operating systems and hypervisors • Time-predictable processors and memory systems • Microcontroller and SoC platforms • Multicore and heterogeneous embedded architectures 2. AI/ML on the Edge • TinyML scheduling and real-time inference • Neural network inference and WCET analysis • LLM inference on constrained hardware • Real-time-aware model compression • Edge AI hardware, including NPUs and GPUs • Deterministic and predictable AI/ML execution 3. Medical IoT and Healthcare Embedded Systems • Real-time sensor fusion in medical devices • Closed-loop control systems • Wearable and implantable systems • Real-time constraints in medical IoT • Real-time telemedicine • Timing requirements in safety-critical healthcare systems 4. Autonomous and Safety-Critical Systems • Autonomous vehicles and UAVs • Real-time perception and decision-making • Real-time robotics • Safety-critical software systems • ISO 26262 and DO-178C timing considerations • Predictable execution in autonomous systems 5. Real-Time Communications and Networking • 5G/6G Ultra-Reliable Low-Latency Communications (URLLC) • Time-Sensitive Networking (TSN) • Deterministic networking • V2X and C-V2X communications • Real-time communication protocols • Quality-of-Service and latency guarantees 6. Distributed Real-Time Computing Infrastructures • Real-time cloud, edge, and fog computing • Real-time containerization and orchestration • Distributed real-time middleware • Digital twins and real-time data pipelines • Real-time resource allocation across distributed infrastructures 7. Scheduling, Resource Management, and Timing Analysis • Static and dynamic scheduling • Worst-Case Execution Time (WCET) analysis • Mixed-criticality systems • Real-time task models • Energy-aware real-time scheduling • Timing predictability and analysis • Resource management for heterogeneous systems 8. Dependability, Fault Tolerance, and Resilience • Fault detection and recovery in real-time systems • Redundancy and failover mechanisms • Formal verification • Real-time DevOps and CI/CD • Cybersecurity for real-time embedded systems • Resilient distributed real-time systems 9. Real-Time AI Certification and Formal Verification • Timing verification of ML components • Formal methods for neural network safety • Verification of AI-enabled real-time systems • Certification workflows for real-time AI • Safety assurance for AI in critical systems 10. Sustainable and Green Real-Time Computing • Energy-aware real-time scheduling • Dynamic Voltage and Frequency Scaling (DVFS) • Power-constrained embedded systems • Energy-efficient real-time architectures • Carbon-aware real-time infrastructure • Sustainable edge and embedded computing 11. Industry 4.0, Smart Manufacturing, and Cyber-Physical Systems • Real-time industrial control • Cyber-physical systems • Industrial IoT • Real-time SCADA systems • Digital factories • Smart manufacturing systems 12. Operating Systems, Middleware, and System Software • Real-time kernels and operating systems • Linux RT, Zephyr, and FreeRTOS • Real-time operating systems for multicore platforms • DDS and ROS 2 • Distributed real-time middleware • Real-time hypervisors 13. Real-Time Analytics and Stream Processing • Complex event processing • Real-time time-series analysis • Online machine learning with latency constraints • Real-time stream processing • Stream correlation and event detection • Low-latency distributed analytics 14. Case Studies and Industrial Applications • Real-world deployment studies • Industrial experiences • Real-time system implementations • Application and tool development • Empirical evaluations of real-time distributed systems Paper Submission All full-length papers should be prepared using the standard IEEE double-column conference format. Submissions will undergo peer review and will be evaluated based on factors including originality, technical quality, significance, methodological rigor, clarity of presentation, and relevance to the scope of IEEE ISORC. Submission details and the online submission system will be announced on the conference website. Important Dates Call for Papers Released: September 16 2026 Paper Submission Deadline:15 October 2026 Acceptance Notification: December 1, 2026 Author Registration Deadline: January 2027 Camera-Ready Papers Due: January 2027 Conference Dates: April 07-09. 2027, IIT Ropar, India Venue and Format IEEE ISORC 2027 will be held at the Indian Institute of Technology Ropar (IIT Ropar), Punjab, India, marking the symposium’s first edition in India. In keeping with the ISORC tradition, the technical program will follow a single-track format, allowing participants to attend the complete technical program. The symposium will also include dedicated opportunities for networking and cultural engagement reflecting the host region. For further information, please visit: https://isorc-conference.org/ We look forward to welcoming researchers, practitioners, and students to IIT Ropar for IEEE ISORC 2027. -- ---- 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

RHPL@FSTTCS 2026: Deadline Extension and Student Awards | New Deadline: Oct 4, 2026 IST (firm)
by Abhisekh Sankaran 27 Sep '26

27 Sep '26

TCS Confidential Dear Colleague, This is to announce that the submission deadline for RHPL 2026 has been extended. The new submission deadline is ** Oct 4, 2026 IST **. The extended deadline is firm. We are also pleased to announce that the Student Poster Competition at RHPL 2026 will feature awards for top student posters. We gratefully acknowledge TCS Research for sponsoring the awards. Please find below the important links for the workshop. - Submission form: https://forms.fillout.com/t/7ePHh773f2us - Submission page: https://fmindia.cmi.ac.in/rhpl2026/submit_proposal - Official website: https://fmindia.cmi.ac.in/rhpl2026/ The previous edition of the workshop can be found at: https://fmindia.cmi.ac.in/rhpl2025. For any queries, feel free to write to us at the email addresses below. - pankaj.kumar.kalita(a)ibm.com - abhisekh.sankaran(a)tcs.com We look forward to receiving your submissions. On behalf of the RHPL@FSTTCS workshop organizing committee: Pankaj Kumar Kalita (IBM Software Innovation Lab) (co-Chair) Abhisekh Sankaran (TCS Research) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) Divyesh Unadkat (Synopsys) =====-----=====-----===== 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

Call for Papers: TWEB Special Issue on the Agentic Web
by Yacine Sam 24 Sep '26

24 Sep '26

[Apologies for multiple postings] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x332a2ax029886 | ACM Digital Library ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x33ae5dx029886 ] CALL FOR PAPERS ACM Transactions on the Web Special Issue on the Agentic Web Guest Editors [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x348099x029886 | Boualem Benatallah ] , Dublin City University, Ireland [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809ax029886 | Pradyumna Chari ] , Massachusetts Institute of Technology, MA, USA [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809bx029886 | Ramesh Raskar ] , Massachusetts Institute of Technology, MA, USA [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809cx029886 | Yacine Sam ] , University of Tours, France This special issue explores the emerging foundations, architectures, protocols, evaluation methodologies, and broader social, economic, regulatory, and sustainability implications of the Agentic Web, where billions of AI agents can discover, communicate, and coordinate across open Web environments. It aims to bring together researchers and practitioners to advance the understanding, governance, and deployment of the agentic Web. [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809dx029886 | Click here for the full Call for Papers and submission instructions. ] Important Dates Submissions deadline: September 30, 2026 First-round review decisions: November 30, 2026 Deadline for revision submissions: December 31, 2026 Notification of final decisions: February 28, 2027 Tentative publication: Spring 2027 For questions and further information, please contact Yacine Sam ( [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809ex029886 | yacine.sam(a)univ-tours.fr ] ). As of January 1, 2026, ACM has become a fully [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454d0x029886 | Open Access ] Publisher. Open Access will enable ACM authors to gain a competitive edge in visibility, impact, and global reach. Please visit the TWEB Open Access [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809fx029886 | page ] for information on the transition plan including APC rates, waivers and discounts. [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454e0x029886 | Sign up for TWEB TOC alerts. ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454e1x029886 | https://tweb.acm.org ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x343866x029886 | Become an ACM Certified Reviewer. ] You are subscribed with: yacine.sam(a)univ-tours.fr [ https://optout.acm.org/unsubscribe.cfm?re=yacine.sam@univ-tours.fr&rl=CFP | Unsubscribe ] The call-for-papers(a)hq.acm.org email address is not monitored. Please do not reply to it directly. Association for Computing Machinery 1601 Broadway, 10th Floor, New York, NY 10019 [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3477cfx029886 ] Connect with us: [ https://www.linkedin.com/showcase/acmdl/ ] [ https://bsky.app/profile/acm.org ] [ https://substack.com/@theofficialacm? ] [ https://www.acm.org/binaries/content/gallery/images-mail/wechat-qr-code.png ] -- Yacine Sam Associate-Professor Computer Science Lab., DI, Faculté S&T Tours University, France Bâtiment L, Bureau L 3170, 3ème Étage Parc de Grandmont - 37200 TOURS +33(0)2 47 36 70 17 yacine.sam(a)univ-tours.fr

1 5

STACS 2027 - Second Call for Papers
by C Aiswarya 24 Sep '26

24 Sep '26

The 44th International Symposium on Theoretical Aspects of Computer Science STACS 2027 is planned to take place from March 8th to March 12th in Göttingen, Germany Webpage:https://stacs2027.uni-goettingen.de/ ======================================================================== STACS 2027 will consist of two tracks, A and B. Track A (PC chairs: Paweł Gawrychowski, Meirav Zehavi) focuses on algorithms, data structures, and complexity, while track B (PC Chairs: Laurent Bienvenu, Florin Manea) focuses on automata, logic, semantics, and theory of programming. The complete list of the PC can be seen here:https://events.gwdg.de/event/1460/page/472-program-committees Invited Speakers: ======================== Confirmed Keynote Speakers: Mikołaj Bojańczyk Jesper Nederlof (one more speaker to be confirmed) Tutorial speaker: Inge Li Gørtz Submissions: ======================== For all details (including instructions regarding AI usage), see the webpagehttps://events.gwdg.de/event/1460/page/476-submissions. Quick overview: Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Topics covered by the tracks include, but are not limited to, the following: Track A. Algorithms, Data Structures, and Complexity Design of algorithms Approximation algorithms Online algorithms Distributed/parallel algorithms Parameterized algorithms Randomized algorithms Analysis of algorithms Combinatorics of data structures Computational geometry Cryptography Algorithms for machine learning Algorithmic game theory Quantum algorithms Computational and structural complexity theory Parameterized complexity Randomness in computation Track B. Automata, Logic, Semantics and Theory of Programming Automata theory Games and multi-agent systems Algebraic and categorical methods Models of computation Concurrency Timed systems Finite model theory Database theory Semantics Type systems Program analysis Specification and verification Rewriting and deduction Learning theory Logical aspects of computability and complexity Important Dates: ======================== Submission deadline: 11 October 2026, 23:59 AoE Rebuttal: 30 November - 2 December 2026 Notification: 22 December 2026 Conference: 8 - 12 March 2027 Format of submissions: ======================== Submissions should be made through EasyChair athttps://easychair.org/conferences/?conf=stacs2027 Authors are invited to submit an extended abstract or a full paper with at most 15 pages; this page limit excludes the title page, the references section, and a possible appendix. In preparing submissions, the usage of the LIPIcs style file is mandatory; no changes to font size, page geometry, etc. are permitted. Please refer to LIPIcs author instructions. Submissions submitted after the deadline will not be considered, and submissions not adhering to the expected format risk rejection without consideration of the content. Submissions should be made to appropriate tracks. The PCs reserve the right to reassign a paper to a different track, if deemed necessary. The extended abstract should contain a succinct statement of the considered issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. This should be followed by a rigorous derivation of the claimed results. Proofs omitted due to space constraints should be put into an appendix. It is allowed and encouraged to provide the anonymized full version of the paper as the appendix. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are allowed to submit their works as well, except for PC chairs. Double-blind reviewing: ======================== As in the previous years, STACS 2027 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas. Rebuttal: ======================== There will be a rebuttal period for authors. Authors will receive the reviews of their submissions and have a few days to prepare and submit rebuttals. These rebuttals become part of the PC discussions, but entail no specific responses. Rebuttals will be handled through EasyChair. Conference: ======================== At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person, a possibility for remote presentation will be offered.

1 0

Submission Open: 6th ANTIC 2026 & AAMLAD Workshop | Springer CCIS | IIIT Lucknow, India
by Dr. Anshul Verma 17 Sep '26

17 Sep '26

Dear Professor / Researcher, The Department of Computer Science, Indian Institute of Information Technology (IIIT), Lucknow cordially invites your original research submissions for the 6th International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC 2026) — entering its 6th edition. The conference is scheduled to take place in offline mode from 21–23 December 2026 at IIIT Lucknow, India (Online mode exclusively for foreign authors). All accepted and registered manuscripts will be published in Springer's Communications in Computer and Information Science (CCIS) series, indexed in DBLP, Google Scholar, EI-Compendex, SCImago, and Scopus. ---------------------------------------------------------------------- ANTIC 2026 SCOPE ---------------------------------------------------------------------- • Advanced Network Technologies: Blockchain, Cloud/Edge/Fog Computing, Distributed & High-Performance Computing, IoT, MANETs, Network Security, Social Networks, SDN, Wireless Sensor Networks, Formal Modelling & Verification. • Intelligent Computing: AI, Deep Learning, Evolutionary & Genetic Algorithms, Fuzzy Systems, Machine Learning, Neural Networks, Recommendation Systems, Soft Computing, Video/Speech/Text Processing. ---------------------------------------------------------------------- CO-LOCATED WORKSHOP: AAMLAD 2026 ---------------------------------------------------------------------- In conjunction with ANTIC 2026, we are hosting the 2nd International Workshop on Advancing AI and ML Across Disciplines: Use Cases and Emerging Applications (AAMLAD 2026). Scope: Cross-disciplinary AI/ML applications across healthcare, fintech, agriculture, cybersecurity, and climate science. Accepted papers will be published as open-access proceedings in Springer CCIS. • Topics: Generative AI, Explainable AI, Federated Learning, Edge AI, Ethical AI, NLP, Computer Vision, Reinforcement Learning, and AI for Robotics, Smart Cities, Formal Modelling & Verification. ---------------------------------------------------------------------- IMPORTANT DATES & REGISTRATION FEES ---------------------------------------------------------------------- +-----------------------------------------+--------------------+ | Milestone / Item | Details | +-----------------------------------------+--------------------+ | Manuscript Submission Deadline | October 15, 2026 | | Acceptance Notification | November 20, 2026 | | Registration Fee Payment | November 30, 2026 | +-----------------------------------------+--------------------+ Registration Fees: • ANTIC 2026: Indian Authors: INR 10,000 | Foreign Authors: USD 250 • AAMLAD 2026 (Open Access): Indian Authors: INR 25,000 | Foreign Authors: USD 350 ---------------------------------------------------------------------- SUBMISSION GUIDELINES ---------------------------------------------------------------------- • Template: Springer LNCS format • Page Limits: Full papers (12–15 pages); Short papers (<12 pages; minimum 6 pages) For detailed submission procedures, please visit: • ANTIC 2026: https://antic.co.in/ • AAMLAD 2026: https://antic.co.in/workshop.html ---------------------------------------------------------------------- CALL FOR REVIEWERS ---------------------------------------------------------------------- Faculty, researchers, and industry experts holding or pursuing a Ph.D. are invited to serve on the reviewer panel. Official certificates will be awarded. Apply here: https://forms.gle/MA7WwwhEhcQMTBe1A ---------------------------------------------------------------------- CONTACT INFORMATION ---------------------------------------------------------------------- • Dr. Anshul Verma (General Chair) - Department of Computer Science, BHU, Varanasi • Dr. Rahul Kumar Verma (Convener) - Department of Computer Science, IIIT, Lucknow • Email: antic.bhu(a)gmail.com • Website: https://antic.co.in Please share this call for papers with your colleagues and research scholars.

1 0

RHPL@FSTTCS 2026: Second Call for Proposals
by Abhisekh Sankaran 15 Sep '26

15 Sep '26

TCS Confidential ============================================================= CALL FOR PROPOSALS RHPL@FSTTCS 2026: Workshop on Research Highlights in Programming Languages + Dates: December 16 - 18, 2026 + Venue: IIT Delhi, co-located with FSTTCS 2026 + Website: https://fmindia.cmi.ac.in/rhpl2026/ + Submission link: https://forms.fillout.com/t/7ePHh773f2us + Submission deadline: September 28, 2026 IST ============================================================= Dear Colleague, As you may know, FSTTCS 2026 (https://www.fsttcs.org.in/2026/) will be held at IIT Delhi (https://home.iitd.ac.in/) during December 16 - 18, 2026. 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 previous years, the Workshop on Research Highlights in Programming Languages (RHPL) will be co-located with the main FSTTCS conference. The focus of the workshop will be on all areas of programming languages. The workshop is organized jointly this year by IARCS and iPLAN (the India Chapter of ACM SIGPLAN; https://india.acm.org/chapters) The objective of RHPL is to foster interactions between researchers working on programming languages and the traditional FSTTCS community of researchers working on theoretical computer science and formal methods. We invite proposals for: + Talks: based on recent work that has been published in reputed venues, or is mature in terms of approach and evaluation. + Posters: - Regular: Based 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. - Student: Based on unpublished work at any stage. Selected proposals will be included in a Student Poster Competition that will be judged by a panel of experts. More details on the submission topics, submission guidelines and the poster competition can be found below. --------------- Websites: --------------- RHPL 2026: https://fmindia.cmi.ac.in/rhpl2026/ RHPL 2025: https://fmindia.cmi.ac.in/rhpl2025/ ============= Important Dates ============= All dates below are in Indian Standard Time (IST). - Submission portal opens: August 21, 2026 - Submission deadline: September 28, 2026 - Notification: October 7, 2026 - Early registration deadline: TBA - RHPL@FSTTCS: December 16 - 18, 2026 =============== Submission Topics =============== The submission topics include, but are not limited to, the following: - 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 explicitly includes in its scope themes at this intersection. Of particular interest are the roles of Large Language Models (LLMs) in PL, such as in design and code synthesis, as well as broader mutual influences between AI/ML and PL; for instance, probabilistic programming languages. ==================== Student Poster Competition ==================== We invite students at all stages, from undergraduate to PhD, to submit poster proposals based on their unpublished work. For graduate students, only individual work is allowed to be presented. If the work is being done as part of a group, then the presenters must focus on their individual contributions. Undergraduates can present their individual work and also work done in (undergraduate) team projects. The evaluation of the posters will be on the basis of the technical strength of the work, the presenter's awareness of related literature, and the quality of the poster and presentation. The results will be announced on the RHPL 2026 website following the competition. ================ Submission Guidelines ================ Proposals to the workshop may be submitted using the form below. https://forms.fillout.com/t/7ePHh773f2us Proposals for talks may be based on published or unpublished work. Proposals for posters are only for unpublished work. For both formats, submissions may present either a single study, such as in an individual paper or an unpublished manuscript, or a body of research. Multiple proposal submissions are allowed. Each proposal must be submitted as a single PDF file. Any reasonable style file can be chosen. The proposal page limits are as below; the page counts exclude references. Appendices are to be avoided, and references may contain pointers to papers, preprints, technical reports, or manuscripts under progress that the proposal is based on. + Talks: - Proposals based on work that is published: 2 pages - Proposals based solely on unpublished work: 4 pages + Posters: - Regular (non-student) proposals: 2 pages - Student proposals: 4 pages Talk proposals based on unpublished work and student poster proposals will be provided short referee reports along with their decision notifications. There are no publications of the workshop. Accepted proposals may be compiled into a booklet of abstracts/proposals to be made available on the RHPL 2026 website. ======= Contact ======= For any queries, feel free to write to us at the email addresses below. - pankaj.kumar.kalita(a)ibm.com - abhisekh.sankaran(a)tcs.com We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Pankaj Kumar Kalita (IBM Research) (co-Chair) Abhisekh Sankaran (TCS Research) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) Divyesh Unadkat (Synopsys) =====-----=====-----===== 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

IARCS Verification Seminar Series -- Talk by Ramneet Singh on September 11 at 1500 hrs IST
by VSS IARCS 10 Sep '26

10 Sep '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ramneet Singh, an AI Researcher at Proximal, working on synthetic RL environment generation for post-training of LLMs. The talk is scheduled on Friday, September 11, at 1500 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=M2VlN3A2ZD…> ). 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: INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: The talk presents a novel symbolic algorithm for the Maximal End Component (MEC) decomposition of a Markov Decision Process (MDP). The key idea behind our algorithm INTERLEAVE is to interleave the computation of Strongly Connected Components (SCCs) with eager elimination of redundant state-action pairs, rather than performing these computations sequentially as done by existing state-of-the-art algorithms. Even though our approach has the same complexity as prior works, an empirical evaluation of INTERLEAVE on the standardized Quantitative Verification Benchmark Set demonstrates that it solves 19 more benchmarks (out of 379) than the closest previous algorithm. On the 149 benchmarks that prior approaches can solve, we demonstrate a 3.81x average speedup in runtime. Bio: Ramneet is currently an AI Researcher at Proximal, working on synthetic RL environment generation for post-training of LLMs. Prior to this, he was a Research Fellow at Microsoft Research India, working on AI agents for large-scale software engineering tasks. He acquired a background in formal methods at IIT Delhi and Georgia Tech, where the work being presented was done as part of his Master's Thesis. He loves thinking about how to formally specify system behaviour and believes it has become even more important today.

1 0

IARCS Instructional Schools in Computer Science - Call for Proposals
by B Srivathsan 08 Sep '26

08 Sep '26

Dear All, IARCS is inviting proposals for "Instructional Schools in Computer Science". More details here: Poster: https://www.iarcs.org.in/activities/iarcs-course-proposals-poster-sep2026.h… Website: https://www.iarcs.org.in/activities/courses.php Deadline: September 25, 2026 Do consider submitting a proposal! We'd appreciate if you could help publicize the programme by sharing the links with your contacts. Best, Srivathsan On behalf of: Arpit Agarwal (IIT Bombay), Meghana Nasre (IIT Madras), Rajat Mittal (IIT Kanpur), Rohit Gurjar (IIT Bombay), Vaishnavi Sundararajan (IIT Delhi) IARCS Instructional School Committee

1 0

IARCS Verification Seminar Series -- Talk by Ramneet Singh on September 11 at 1500 hrs IST
by VSS IARCS 05 Sep '26

05 Sep '26

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Ramneet Singh, an AI Researcher at Proximal, working on synthetic RL environment generation for post-training of LLMs. The talk is scheduled on Friday, September 11, at 1500 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=M2VlN3A2ZD…> ). 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: INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: The talk presents a novel symbolic algorithm for the Maximal End Component (MEC) decomposition of a Markov Decision Process (MDP). The key idea behind our algorithm INTERLEAVE is to interleave the computation of Strongly Connected Components (SCCs) with eager elimination of redundant state-action pairs, rather than performing these computations sequentially as done by existing state-of-the-art algorithms. Even though our approach has the same complexity as prior works, an empirical evaluation of INTERLEAVE on the standardized Quantitative Verification Benchmark Set demonstrates that it solves 19 more benchmarks (out of 379) than the closest previous algorithm. On the 149 benchmarks that prior approaches can solve, we demonstrate a 3.81x average speedup in runtime. Bio: Ramneet is currently an AI Researcher at Proximal, working on synthetic RL environment generation for post-training of LLMs. Prior to this, he was a Research Fellow at Microsoft Research India, working on AI agents for large-scale software engineering tasks. He acquired a background in formal methods at IIT Delhi and Georgia Tech, where the work being presented was done as part of his Master's Thesis. He loves thinking about how to formally specify system behaviour and believes it has become even more important today.

1 0