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

CFP announcement for ISEC 2024
by Madhavan Mukund 15 Sep '23

15 Sep '23

----- Forwarded message from IMT2019057 Nandakishore S Menon <Nandakishore.Menon(a)iiitb.ac.in> ----- From: IMT2019057 Nandakishore S Menon <Nandakishore.Menon(a)iiitb.ac.in> To: Madhavan Mukund <madhavan(a)cmi.ac.in> Date: Wed, 13 Sep 2023 05:34:42 +0000 17th Innovations in Software Engineering Conference (ISEC 2024) 22-24 February 2024, Bangalore Link: https://conf.researchr.org/track/isec-2024/isec-2024-papers Innovations in Software Engineering Conference, ISEC (Formerly known as India Software Engineering Conference) is the annual conference of iSOFT, the India chapter of ACM SIGSOFT (isoft.acm.org) under the umbrella of ACM India. The 17th edition of the conference will be held at International Institute of Information Technology, Bangalore, India. ISEC will bring together researchers and practitioners from across the world to share the results of their work. The goal of the conference is to provide a forum for researchers and practitioners from both academia and industry to meet and share cutting-edge advancements in the field of software engineering. Call for Contributions The conference has a number of tracks, to which contributions are invited. The Call for Papers for the Research track and the Workshop and Tutorial track are already out, and those for the other tracks are as follows: Track: Software Engineering in Practice URL: https://conf.researchr.org/track/isec-2024/isec-2024-software-engineering-i… Submission deadlines: SEIP Submission Deadline: 8 November 2023. SEIP Submission Acceptance Notification: 15 December 2023. SEIP Presentation Submission Deadline: 25 January 2024. Track: Doctoral Symposium URL: https://conf.researchr.org/track/isec-2024/isec-2024-doctoral-symposium Submission deadlines: Submission Deadline: 1 November 2023 Submission Acceptance Notification: 1 December 2023 Presentation Submission Deadline: 7 December 2023 Track: Student Posters Session URL: https://conf.researchr.org/track/isec-2024/isec-2024-student-posters-session Submission deadlines: Submission Deadline: 5 October 2023 Organising Team General Chair Sujit Kumar Chakrabarti (IIIT Bangalore) Organising Co-Chairs Raghavan Komondoor (IISc, Bangalore) Raveendra Kumar Medicherla (TCS Research) Program Co-Chairs (Research Track) Sudipto Ghosh (Colorado State University, USA) Aseem Rastogi (Microsoft Research, India) Workshops and Tutorial Track Co-Chairs Manas Thakur (IIT Bombay, India) Sruti Srinivasa Ragavan (IIT Kanpur, India) Software Engineering in Practice Co-Chairs Manoj Dixit (MathWorks, India) Tukaram Muske (Synopsis, India) PhD Symposium Chair Subhajit Roy (IIT Kanpur, India) ________________________________ ----- End forwarded message -----

1 0

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS 14 Sep '23

14 Sep '23

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Supratik Chakraborty, Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Thursday, Sept. 14, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MzVzdnQxMj…> ). 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, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Synthesizing Pareto-Optimal Interpretations for Black-Box ML Models Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We present a new multi-objective optimization approach for synthesizing interpretations that "explain" the behavior of black-box machine learning models. Constructing human-understandable interpretations for black-box models often requires balancing conflicting objectives. A simple interpretation may be easier to understand for humans while being less precise in its predictions vis-a-vis a complex interpretation. Existing methods for synthesizing interpretations use a single objective function and are often optimized for a single class of interpretations. In contrast, we provide a more general and multi-objective synthesis framework that allows users to choose (1) the class of syntactic templates from which an interpretation should be synthesized, and (2) quantitative measures on both the correctness and explainability (or other suitable measure) of an interpretation. For a given black-box, our approach yields a set of Pareto-optimal interpretations with respect to the correctness and explainability measures. We show that the underlying multi-objective optimization problem can be solved via a reduction to quantitative constraint solving, such as weighted maximum satisfiability. To demonstrate the benefits of our approach, we have applied it to synthesize interpretations for black-box neural-network classifiers. Our experiments show that there often exists a rich and varied set of choices for interpretations that are missed by existing approaches. This is joint work with Hazem Torfah, Shetal Shah, S. Akshay and Sanjit Seshia. Bio: Supratik Chakraborty is Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay. His current research interests include constrained sampling and counting, automated synthesis, formal verification, automata theory and logic. He is particularly interested in the development of scalable algorithmic techniques with strong guarantees for reasoning about different computational models. Supratik is a Distinguished Member of ACM, a Fellow of Indian National Academy of Engineering and a Distinguished Alumnus Awardee of IIT Kharagpur.

1 0

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS 11 Sep '23

11 Sep '23

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Supratik Chakraborty, Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Thursday, Sept. 14, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MzVzdnQxMj…> ). 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, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Synthesizing Pareto-Optimal Interpretations for Black-Box ML Models Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: We present a new multi-objective optimization approach for synthesizing interpretations that "explain" the behavior of black-box machine learning models. Constructing human-understandable interpretations for black-box models often requires balancing conflicting objectives. A simple interpretation may be easier to understand for humans while being less precise in its predictions vis-a-vis a complex interpretation. Existing methods for synthesizing interpretations use a single objective function and are often optimized for a single class of interpretations. In contrast, we provide a more general and multi-objective synthesis framework that allows users to choose (1) the class of syntactic templates from which an interpretation should be synthesized, and (2) quantitative measures on both the correctness and explainability (or other suitable measure) of an interpretation. For a given black-box, our approach yields a set of Pareto-optimal interpretations with respect to the correctness and explainability measures. We show that the underlying multi-objective optimization problem can be solved via a reduction to quantitative constraint solving, such as weighted maximum satisfiability. To demonstrate the benefits of our approach, we have applied it to synthesize interpretations for black-box neural-network classifiers. Our experiments show that there often exists a rich and varied set of choices for interpretations that are missed by existing approaches. This is joint work with Hazem Torfah, Shetal Shah, S. Akshay and Sanjit Seshia. Bio: Supratik Chakraborty is Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay. His current research interests include constrained sampling and counting, automated synthesis, formal verification, automata theory and logic. He is particularly interested in the development of scalable algorithmic techniques with strong guarantees for reasoning about different computational models. Supratik is a Distinguished Member of ACM, a Fellow of Indian National Academy of Engineering and a Distinguished Alumnus Awardee of IIT Kharagpur.

1 0

[Deadline Extension] RHPL@FSTTCS 2023
by abhisekh.sankaran＠tcs.com 05 Sep '23

05 Sep '23

Dear colleague, The deadline for RHPL@FSTTCS has been extended to September 25, 2023 (AOE). The CFP for the workshop is included below. We look forward to receiving your talk proposals. Best regards, RHPL@FSTTCS organizing committee --------------------------------------------------------------------------------------------- Dear colleague, As you may know, FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science in association with ACM India. It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. This year, co-located with the main FSTTCS conference, IARCS is also organizing the Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS), whose inaugural edition was held in 2020. The focus of the workshop will be on all areas of Programming Languages, including but not limited to Program Analysis and Verification, Applied Formal Methods, and Compilers. The objective of the workshop 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 talk proposals for recent work that has been published in good venues, or is mature in terms of approach and evaluation. More information about the workshop and about submitting talk proposals is available here: https://fmindia.cmi.ac.in/rhpl/index.html We look forward to receiving your talk proposals to this workshop. On Behalf of the RHPL@FSTTCS workshop organizing committee: Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) (Organizing Co-Chair, RHPL 2023) Kartik Nagar (IIT Madras) (Organizing Co-Chair, RHPL 2023) Ganesan Ramalingam (Microsoft) Aseem Rastogi (Microsoft Research, Bangalore) Abhik Roychoudhury (National University of Singapore) Abhisekh Sankaran (Tata Consultancy Services Research, Pune)

1 0