Logic List Mailing Archive

CfP: RHPL@FSTTCS 2025 – Workshop on Research Highlights in Programming Languages, 17–19 December 2025, Goa (India)

=======================
Call for Participation
=======================

=============================================================
RHPL@FSTTCS 2025: Workshop on Research Highlights in Programming Languages

+ Website: https://fmindia.cmi.ac.in/rhpl2025/
+ Dates: December 17 - 19, 2025
+ Venue: BITS Pilani, K K Birla Goa Campus, co-located with FSTTCS 2025 
+ Early registration deadline: November 30, 2025 Registration page: 
+ https://fmindia.cmi.ac.in/rhpl2025/registration
=============================================================

===================
About the Workshop
===================

RHPL 2025 is the fourth edition of the Workshop on Research Highlights in Programming Languages
(RHPL) organized by the Indian Association for Research in Computing Science (IARCS). The focus of the workshop is 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 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.

RHPL 2025 will be held at BITS Pilani, K K Birla Goa Campus as a co-located workshop of FSTTCS 2025.

RHPL 2025 website: https://fmindia.cmi.ac.in/rhpl2025/

=================
Panel Discussion
=================

+ Theme: Bridging PL Theory and Practice in the Age of AI

+ Panelists:

  - Uday Khedker (IIT Bombay)
  - Pavithra Prabhakar (Kansas State University)
  - Subhajit Roy (IIT Kanpur)
  - R Venkatesh (TCS Research)

===========================
Accepted Talks and Posters
===========================

The list of accepted talks and posters of RHPL 2025 can be found at the link below.

https://fmindia.cmi.ac.in/rhpl2025/accepted_proposals

==============
Registration
==============

The registration for RHPL 2025 is open.

 - Early registration deadline: *November 30, 2025*
 - Registration page: https://fmindia.cmi.ac.in/rhpl2025/registration

==================
Local Information
==================

 - Local information page: https://fmindia.cmi.ac.in/rhpl2025/local_information

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

=========
Contact
=========

Feel free to write to us with any queries at the following email addresses.

 - abhisekh.sankaran@tcs.com
 - divyesh.unadkat@synopsys.com

We look forward to seeing you in Goa.

Best regards,
RHPL 2025 Organising Committee
RHPL 2025 Website: https://fmindia.cmi.ac.in/rhpl2025/


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php