- FMIndia - example.com

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

by VSS IARCS

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 year, 3 months

1
0
0 0

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

by VSS IARCS

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 year, 3 months

1
0
0 0

[Deadline Extension] RHPL@FSTTCS 2023

by abhisekh.sankaran＠tcs.com

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 year, 3 months

1
0
0 0

ISEC 2024 CFP

by Madhavan Mukund

----- Forwarded message ----- From: IMT2019057 Nandakishore S Menon <Nandakishore.Menon(a)iiitb.ac.in> Date: Tue, 8 Aug 2023 08:17:34 +0000 17th Innovations in Software Engineering Conference (ISEC 2024) 22-24 February 2024, Bangalore https://lnkd.in/gAXwhT6U 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<http://isoft.acm.org/>) under the umbrella of ACM India. The 17th edition of the conference will be held in 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 will be published soon. Track: Research track URL: https://lnkd.in/gtTDQn2w Submission deadline: Fri 29 Sep 2023 Track: Workshop and Tutorials URL: https://lnkd.in/gQ7eGfWr Submission deadline: Sun 10 Sep 2023 Track: PhD Symposium URL: https://lnkd.in/gHzpbFTC Submission deadline: TBD Track: Software Engineering in Practice URL: https://lnkd.in/gxY-GU-B Submission deadline: TBD 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 year, 4 months

1
0
0 0

Post-doc positions in Fuzz Testing at NUS

by Abhik Roychoudhury

We are writing to announce a new 4 year research program "Fuzz Testing" which will run 1 July 2023 - 30 June 2027. The research program is funded by the National Research Foundation (NRF) Singapore. The research program is in the area of fuzz testing for effectively detecting software vulnerabilities. Details of the research program can be obtained from this webpage *https://nus-tss.github.io/fuzzing/* We have open positions for post-doc. You are welcome to apply with your CV to /neocy(a)nus.edu.sg/ or simply get in touch with any of the Principal Investigators -- Zhenkai Liang, Umang Mathur, Manuel Rigger, and Abhik Roychoudhury (Lead Principal Investigator). NUS provides an engaging work environment, with stimulating colleagues, lot of visitors, and good work-life balance. Salaries for the positions are also very competitive. Applicants who have submitted their PhD thesis but have not received the degree yet, are also eligible to be appointed as post doc. Hence any applicants with relevant research background, who are close to submitting their PhD thesis, are eligible to apply. Kind regards // -- -Abhik Roychoudhury School of Computing National University of Singapore https://abhikrc.com

1 year, 4 months

1
0
0 0

Fwd: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University

by akshay

-------- Forwarded Message -------- Subject: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University Date: Thu, 27 Jul 2023 12:58:12 +0200 From: Hazem Torfah <torfah(a)berkeley.edu> Dear colleagues, The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous Systems. We are looking for candidates interested in developing formal techniques and tools for the construction of provably-safe and -reliable learning-enabled autonomous systems. Please pass this information on to potential candidates. It would be great if you could also share this information within your network. The announcements for the positions are linked below: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo… <https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…> https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo… <https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…> Application deadline: Sep 1, 2023 Many thanks! Kindest regards, Hazem Torfah -- Hazem Torfah Assistant Professor Computing Science Division Chalmers University of Technology 412 96 Gothenburg, Sweden

1 year, 4 months

1
0
0 0

Lecturer in Programming Languages at Bristol

by Madhavan Mukund

----- Forwarded message from Mandayam Srivas <mksrivas(a)hotmail.com> ----- From: Cristina David <cristina.david(a)gmail.com> Sent: Monday, July 24, 2023 1:13 PM To: Mandayam Srivas <mksrivas(a)hotmail.com> Subject: Re: Lecturer in Programming Languages at Bristol Dear Srivas, It was very nice seeing you at CAV! I'm not sure whether I mentioned this at the conference, but we are recruiting a new lecturer in the Programming Languages group (https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer…). This is the ad (unfortunately, the deadline is very soon): https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer… I'd really appreciate it if you could send it to anyone that might be interested. Thank you, Cristina ----- End forwarded message -----

1 year, 5 months

1
0
0 0

[Deadline Extension] CFP: ICISS-2023 - the 19th International Conference on Information Systems Security (August 10, 2023)

by Madhavan Mukund

----- Forwarded message from Vishwas Patil <vishwasp(a)cse.iitb.ac.in> ----- Date: Sat, 22 Jul 2023 03:56:18 +0530 From: Vishwas Patil <vishwasp(a)cse.iitb.ac.in> Due to several requests for a deadline extension, we have extended the submission deadline to August 10 (the final deadline). Please consider submitting your security research to ICISS 2023. Key highlights: - Double-blind review - Notification of results: September 20, 2023 - One best paper award - 2 Keynotes, 1 invited talk (Sanjam Garg - UC Berkeley, Nishanth Chandran - MS Research, Thomas Silkjaer - XRP Ledger Foundation) - Proceedings by Springer LNCS - the possibility of an invitation to publish extended versions in the Sadhana journal ______________________________________________________________________ CALL FOR PAPERS ICISS 2023 19th International Conference on Information Systems Security (December 16 - 20, 2023) NIT Raipur, India https://iciss.isrdc.in @IcissConf Submission Deadline: August 10, 2023 (final deadline) ______________________________________________________________________ The 19th ICISS will be held at the National Institute of Technology (NIT) Raipur between December 16 and 20, 2023. This annual conference provides a forum for researchers and industry practitioners of security to present their cutting-edge research and use case experiences. We solicit previously unpublished technical papers in the field of Security & Privacy. Papers that involve innovative solutions, usability studies, longitudinal studies, industrial use cases, and SoK are welcome. This year, we will also accept PoCs of security applications under a separate demo track and allow submission of artefacts; a separate call is announced on the conference website. A broad but non-exhaustive list of topics of interest is as below: SYSTEMS SECURITY OS, VM, containers, cloud Network: SDN, NFV, SD-WAN IoT, RFID, SCADA systems Communication Protocols IDS, IPS, SIEM, XDR, etc Honeypot, Botnet, etc ACCESS CONTROL Authentication, MFA Authorization model/policy PKI & Trust management Information flow control APPLICATION SECURITY Vulnerabilities, DevSecOps API security, WAF, OWASP Static/Binary analysis, Zero trust Malware, Ransomware, APTs SECURITY IN AI/ML Adversarial learning/inputs Bias, fairness, explainability Model stealing, poisoning Trustworthiness Deep fakes, misinformation HARDWARE SECURITY Remote attestation, PUFs Trojans, Backdoors, FPGA TEE, TRNG, 2FA, wallets PRIVACY PETs, anonymization tech Deidentification attacks Surveillance & Censorship Inference, correlation BLOCKCHAIN Cryptocurrency, stablecoins Interoperability, scalability Smart contracts, concurrency DIDs, NFTs, CBDCs, AML EMERGING TECH/STANDARDS ChatGPT, LaMDA, Dall-E 2, et al Security-by-design, SBOM Privacy-by-design, STIX/TAXII S&P USE CASES e-voting, e-gov, smart cities COVID-19 contact tracing OSINT et al Submissions must be written in English and should not exceed 20 pages; including the bibliography and appendices. Authors must use the LNCS template to create the manuscript. A DOUBLE-BLIND review process will be followed, therefore the manuscripts should not have author names, affiliations, acknowledgements, self-references or any indirect information related to the authors of the manuscript. Please read the submission guidelines carefully before submitting to ICISS. The extended versions of a select few accepted papers will be invited for publication in the Indian Academy of Sciences' journal Sadhana. Further details will be made available on the conference website in due course of time. Submission Link: https://easychair.org/conferences/?conf=iciss20231 *** The BEST PAPER award is sponsored by IDRBT Hyderabad. *** Important Dates (in AoE): Submission deadline: Aug 10 (final deadline) Acceptance notification: Sep 20 Camera-ready deadline: Sep 30 Steering Committee: Venu Govindaraju, University of Buffalo Sushil Jajodia, George Mason University Somesh Jha, University of Wisconsin Atul Prakash, University of Michigan Pierangela Samarati, University of Milan RK Shyamasundar, IIT Bombay General Chair: R.K. Shyamasundar, IIT Bombay Program Chairs: Vallipuram Muthukkumarasamy, Griffith University Sithu D Sudarsan, CDAC Bangalore Related Links: Conference Website: https://iciss.isrdc.in Past Proceedings: https://dblp.org/db/conf/iciss Call for Papers/Tutorials/PhD Forum https://iciss.isrdc.in/cfps/ https://iciss.isrdc.in/tutorials/ https://iciss.isrdc.in/phd-forum/ Submission Guidelines https://iciss.isrdc.in/submission-guidelines/ Proceedings will be published by Springer as LNCS. ______________________________________________________________________ ----- End forwarded message -----

1 year, 5 months

1
0
0 0

Soliciting talks in PL and Verification to RHPL@FSTTCS 2023

by abhisekh.sankaran＠tcs.com

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 year, 5 months

1
0
0 0

FSTTCS 2023 - Third Call for Papers

by Shibashis Guha

[Apologies if you receive multiple copies.] December 18-20, 2023 at IIIT Hyderabad <https://www.iiit.ac.in/>, India Website: https://www.fsttcs.org.in/2023/ FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS <http://www.iarcs.org.in/>, the Indian Association for Research in Computing Science, in association with ACM India <https://india.acm.org/>. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. This year within Track B, in addition to theoretical results, there is also a focus on soliciting submissions in the areas of Programming Languages and Practical Verification. IMPORTANT DATES (all dates are AoE) Abstract Submission: July 12, 2023 Paper Submission: July 19, 2023 Notification: September 22, 2023 Camera Ready: October 5, 2023 Conference: December 18-20, 2023 Workshops: TBA PAPER SUBMISSION Submissions must be in electronic form via EasyChair <https://easychair.org/my/conference?conf=fsttcs2023> using the LIPIcs LaTeX style file available here <https://submission.dagstuhl.de/documentation/authors>. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) <https://www.dagstuhl.de/en/publications/lipics/> as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license <https://creativecommons.org/licenses/by/3.0/>. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. TOPICS Track A - Algebraic Complexity - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Combinatorial Optimization - Communication Complexity - Computational Biology - Computational Geometry - Computational Learning Theory - Cryptography and Security - Data Streaming and Sublinear algorithms - Economics and Computation - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Proof Complexity - Quantum Computing - Randomness in Computing - Theoretical Aspects of Mobile and High-Performance Computing Track B - Automata, Games and Formal Languages - Logic in Computer Science - Modal and Temporal Logics - Models of Concurrent, Distributed and Mobile Systems - Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems - Model Theory - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Security protocols - Specification, Verification and Synthesis - Theorem Proving and Decision Procedures ORGANISATION COMMITTEE - Girish Varma <https://girishvarma.in/> (IIIT Hyderabad) - Suryajith Chillara <https://suryajith.github.io/> (IIIT Hyderabad) - Anjaneya Swami <https://scis.uohyd.ac.in/~askcs/> (Univ of Hyderabad) PROGRAM COMMITTEE Track A - Siddharth Barman <https://www.csa.iisc.ac.in/~barman/> (The Indian Institute of Science, Bengaluru, India) - Arnab Bhattacharyya <https://www.comp.nus.edu.sg/~arnab/> (National University of Singapore, Singapore) - Parinya Chalermsook <https://sites.google.com/site/parinyachalermsook/> (Aalto University, Finland) - Sivakanth Gopi <https://www.microsoft.com/en-us/research/people/sigopi/> (Microsoft Research Redmond, USA) - Karthik C.S. <http://karthikcs.org/> (Rutgers University, USA) - Venkata Koppula <https://web.iitd.ac.in/~kvenkata/> (IIT Delhi, India) - Rucha Kulkarni <https://ruchark2.web.engr.illinois.edu/> (University of Illinois, Urbana-Champaign, USA) - Mrinal Kumar <https://mrinalkr.bitbucket.io/> (TIFR, Mumbai, India) - Paloma Lima <https://www.ii.uib.no/~palomal/> (IT University of Copenhagen, Denmark) - Meena Mahajan <https://www.imsc.res.in/~meena/> (The Institute of Mathematical Sciences, Chennai, India) - Nikhil Mande <https://mande-nikhil.github.io/> (University of Liverpool, UK) - Neeldhara Misra <https://iitgn.ac.in/faculty/cse/neeldhara> (IIT Gandhinagar, India) - Sagnik Mukhopadhyay <https://sagnikm.github.io/> (University of Sheffield, UK) - Meghana Nasre <http://www.cse.iitm.ac.in/~meghana/> (IIT Madras, India) - Noga Ron-Zewi <https://sites.google.com/view/nogazewi> (University of Haifa, Israel) - Chris Schwiegelshohn <https://cs.au.dk/~schwiegelshohn/> (University of Aarhus, Denmark) - Srikanth Srinivasan <https://cs.au.dk/~srikanth/> (University of Aarhus, Denmark) – *Track A chair* Track B - Aiswarya C. <https://www.cmi.ac.in/~aiswarya/> (Chennai Mathematical Institute, India) - Guy Avni <https://sites.google.com/view/gavni> (University of Haifa, Israel) - Francesco Belardinelli <https://www.doc.ic.ac.uk/~fbelard/> (Imperial College, UK) - Dietmar Berwanger <http://www.lsv.fr/~dwb/> (CNRS, LMF, France) - Patricia Bouyer <http://www.lsv.fr/~bouyer/> (CNRS, LMF France) – *Track B chair* - Arnaud Carayol <http://www-igm.univ-mlv.fr/~carayol/> (Université Gustave Eiffel, LIGM, France) - Supratik Chakraborty <https://www.cse.iitb.ac.in/~supratik/> (IIT Bombay, India) - Lorenzo Clemente <https://sites.google.com/view/lorenzoclemente/> (University of Warsaw, Poland) - Ugo Dal Lago <https://udallago.github.io/> (Università di Bologna, Italy) - P. Madhusudan <https://madhu.cs.illinois.edu/> (University of Illinois, Urbana-Champaign, USA) - Pavithra Prabhakar <https://people.cs.ksu.edu/~pprabhakar/> (Kansas State University, USA) - Prakash Saivasan <https://www.imsc.res.in/prakash_saivasan> (The Institute of Mathematical Science, Chennai, India) - Abhisekh Sankaran <https://abhisekhs.github.io/> (Tata Consultancy Services Research, Pune, India) - B. Srivathsan <https://www.cmi.ac.in/~sri/> (Chennai Mathematical Institute, India) - Nathalie Sznajder <https://pages.lip6.fr/Nathalie.Sznajder/> (Sorbonne Université, LIP6, France) - Tony Tan <https://www.csie.ntu.edu.tw/~tonytan/> (National Taiwan University) STEERING COMMITTEE - Paul Gastin <http://www.lsv.fr/~gastin/> (LSV, ENS Paris-Saclay) - Amit Kumar <http://www.cse.iitd.ernet.in/~amitk/> (Indian Institute of Technology, Delhi) - S Krishna <https://www.cse.iitb.ac.in/~krishnas/> (Indian Institute of Technology, Bombay) - G Ramalingam <https://www.microsoft.com/en-us/research/people/grama/> (Microsoft Research, Bangalore) - Venkatesh Raman <https://www.imsc.res.in/~vraman/> (The Institute of Mathematical Sciences, Chennai) - Kavitha Telikepalli <https://www.tcs.tifr.res.in/~kavitha/> (Tata Institute of Fundamental Research, Mumbai)

1 year, 5 months

1
0
0 0

2024

2023

2022