July 2025 - FMIndia - mail.cmi.ac.in

Call for Presentations || IICT 2025
by Uday Khedker 25 Aug '25

25 Aug '25

2nd Workshop on Innovations In Compiler Technology (IICT) ========================================================== Call for Presentation Proposals ------------------------------- The 2nd workshop on Innovations In Compiler Technology (IICT) aims to bring together researchers, practitioners, and enthusiasts in the field of compiler technologies. The first workshop was held in Bengaluru on 28 and 29 September 2024. This edition of IICT is being held as an ACM Meetup in collaboration with iSoft on 27 and 28 September 2025 at Indian Institute of Science (IISc) Bengaluru. More details about the workshop can be found athttps://compilertech.org/. IICT focuses on the cutting-edge advancements in design, implementation, and optimization of compiler techniques as well as their applications on emerging software and hardware platforms. We invite speakers from academia and industry to present their work related to programming languages and compilers. We invite presentations on all aspects of compilers covering the classical compiler techniques, compilers for AI/ML, DSLs, Web3, blockchains etc. Proposals should provide sufficient information for the program committee to be able to judge the quality of the submission. Proposals can be submitted under the form of an extended abstract, full paper, or slides. The selections will happen in two steps: In the first step, a conditional acceptance will be provided. The second step requires the participants of conditionally accepted proposals to submit a ninety seconds video of their presentation which will be displayed as a teaser on the workshop website. The final acceptance will be provided based on the evaluation of the video presentations. Some of the proposals may be accepted for posters rather than conventional presentations. Important dates: Submissions Open 1 June 2025 Submission Deadline 1 July 2025 Notification of Conditional Acceptance 7 August 2025 Submission of 90 second video 15 August 2025 Final Notification 1 September 2025 Workshop Dates 27, 28 September 2025 Link for submission: https://easychair.org/my/conference?conf=compilertech2025. Who should attend? - Practitioners of compilers. - Students and Researchers in the field of compilers, programming languages, and runtime. - Those interested in using compiler and toolchain technology in novel and interesting ways. Uday Khedker (IIT Bombay) Aditya Kumar (Google) Program Chair Organizing Chair -- signature.html ------------------------------------------------------------------------ Dr. Uday Khedker, Professor Department of Computer Science & Engg. IIT Bombay, Powai, Mumbai 400 076, India. Email : uday(a)cse.iitb.ac.in Homepage: http://www.cse.iitb.ac.in/~uday Phone : 91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)

2 3

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