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)
----- 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 -----
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)
----- 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 -----
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
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
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
