Krishna. S
Program Committees
- LICS 2026, Lisbon
- POPL 2026, Rennes
- QEST+FORMATS 2025, Aarhus
- ATVA 2025, Bengaluru
- CONCUR 2025, Aarhus
- CAV 2025
- MFPS 2025
- VMCAI 2025, Denver, USA (PC chair)
- ICLA 2025, Kolkata, February 2025.
- CSL 2025,Amsterdam, Netherlands
- LICS 2024, Talinn, Estonia.
- HSCC 2024, Hong-Kong.
- TACAS 2023, Paris, France.
- GANDALF 2023,Udine, Italy.
- FORMATS 2023, Antwerp, Belgium.
- HSCC 2023, San Antonio, USA.
- RP 2022
- MFPS 2022
- CAV 2022
- DLT 2022
- RP 2021 Online
- Highlights 2021 Online
- CAV 2021 Online
- HSCC 2021 Online
- CONCUR 2021 Online
- FORMATS 2021 Online
- CSL 2021 Online
- FORMATS 2020 Online
- NETYS 2020 Online
- MFCS 2020 Online
- HSCC 2020, Sydney
- CAV 2020, Los Angeles
- FOSSaCS 2020
- FSTTCS 2019, Mumbai
- CONCUR 2018, Beijing
- FORMATS 2018, Beijing
- HSCC 2018, Porto
- FORMATS 2017, Berlin
- YR-CONCUR 2017, Berlin
- CSR 2017, Kazan
- FORMATS 2015 Madrid, Spain, Sep 2015
- CMC16 Valencia, Spain, August 2015
- ICLA 2015 IIT Bombay, Jan 8-10, 2015. (PC chair)
- CMC 2014 Prague, Czech Republic,
Aug 20-22, 2014.
- ICDCIT 2013 Bhubaneswar, India, Feb 5-8, 2013.
- CMC 2012 Budapest, Hungary, August 28-31, 2012.
- ICDCIT 2012 Bhubaneswar, India, February 2-4, 2012.
- MeCBIC 2011 Paris, France, August 23-24, 2011.
- Formal Methods Update Meeting,IIT Dharwad, July 2024.
- Distinguished Lecture at Vigyan Vidushi programme conducted
by STCS,TIFR, Mumbai, July 2024.
- Tutorial at Autoboz 2023, Kassel, Germany, July 16-22, 2023.
- Talk at All Girls Math Nurture Camp 2023, December 28, 2023.
- Keynote at APLAS 2022, Auckland, December 5, 2022.
- Talk at IARCS Verification Seminar Series, February 7, 2023.
- Talk at IARCS Verification Seminar Series, December 6, 2022.
- Talk at the All Girls Math Nurture Camp, December 2022.
- Talk at RAM-TP 2022, May 24, 2022.
- Seminar at the Logic, Complexity, Computability group at LaBRI, Bordeaux, May 05, 2022.
- Seminar at the PLSE group at NUS April 14, 2022
- Dagstuhl Seminar 21452 Unambiguity in Automata Theory November 2021.
-
Logic Mentoring Workshop Panelist, June 28, 2021.
-
Plenary Talk at
MFPS 2021, Hybrid from Salzburg, August 30, 2021.
- Workshop on Mathematical Foundations of Cyber Physical Systems, Feb 13-14, 2020, St. Joseph's College, Irinjalakuda.
- Meeting on String Constraints and Applications , Bertinoro, May 2019.
- CAALM 2019, CMI, January 2019.
- Dagstuhl-Seminar 17142 Formal Methods of Transformations April 2017.
- Workshop on Modelling and Verification (WMV'11), BARC, April 20-21, 2011.
- ICDCIT 2011 Bhubaneshwar, India, February 9-12, 2011.
