Krishna S

Program Committee Member

CSL 2025
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.

Organization

Co-organized YR-OWLS, an online worlwide seminar on logic and semantics during the pandemic, between June 2020 and December 2021, along with Nathanaël Fijjalkow, Charles Grellois and Koko Muroya.
CAV 2021 Asia/Australia timezone Co-chair, Online.

Trends in Transformations, Pre-conference Workshop of FSTTCS 2019, Mumbai

Trends in Transformations, Pre-conference Workshop of FSTTCS 2018, Ahmedabad (Co-organized with Paul Gastin)

AVeRTS 2017, Satellite Workshop at ICALP 2017, University of Warsaw (Co-organized with Ashutosh Trivedi)

AVeRTS 2016, Post-Conference Workshop of FSTTCS 2016, CMI (Co-organized with Ashutosh Trivedi)

AVeRTS 2015, Post-Conference Workshop of FSTTCS 2015, IISc Bengaluru (Co-organiszed with Frederic Herbretau)

Invited Participation

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, December 6, 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.