Tutorials and invited talks

Tutorials

Automated Synthesis: Towards the Holy Grail of AI
     Co-presented with Kuldeep S. Meel, Supratik Chakraborty, Priyanka Golia and Subhojit Roy
    -- AAAI Conference on Artificial Intelligence (AAAI'22), (Online) Vancouver, Jan 2022.
    -- International Joint Conference on Artificial Intelligence (IJCAI'22), (in-person) Vienna, July 2022. (tutorial webpage)

Boolean Functional Synthesis: A view from theory and practice
-- Invited tutorial at Highlights of Logic, Games and Automata (Highlights'22), Paris, France, June 2022.

Invited and contributed talks

Can Zones be used for reachability in Pushdown Timed Automata?
    -- Invited talk at the 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis, a satellite event of Confest22, Warsaw, Poland - Sept 2022. (slides)
    -- Invited talk at TickTac2022 group annual meeting, France (Online) - March 2022.
    -- Invited talk at Formal Methods update meeting, (Online), July 2021. (video)
    -- Conference talk at CAV2021, (Online), July 2021. (video)

On synthesizing Skolem functions for FO logic
-- Conference talk at MFCS'22, Vienna, Austria - August 2022. (slides)

From reachability in Markov chains to Program termination in linear loops
    -- Invited talk at RMIT, IIIT Bangalore - Oct 2019.
    -- Invited talk at University of Waterloo - July 2019.
    -- Invited talk at IIT Delhi - Nov 2018.

Timed Systems through the Lens of Logic
-- Conference talk at LICS'2019, Vancouver, Canada - July 2019. (slides)

Boolean Functional Synthesis: from Theory to Practice
-- Invited talk at Formal methods update meeting, BITS Pilani, K K Birla Goa Campus - July 2018.

Reachability and regularity problems for Markov chains. (slides)
    -- Invited talk at the Workshop on Mathematics and Information, Dept of Mathematics, IIT Bombay - January 2017.
    -- Faculty Unplugged Seminar Series (FUSS) talk, Dept of CSE, IIT Bombay - April 2016.
    -- Invited Talk at the 17th International Workshop on Verification of Infinite-State Systems (INFINITY 2015), IISc, Bengaluru. - December 2015.

On Petri nets with Hierarchical Special Arcs. (slides)
-- Conference talk at CONCUR 2017, Berlin, Germany - September 2017.
-- VASCO/MEXICO group seminar, LSV, ENS Paris-Saclay, France - July 2017.

Analyzing timed systems using tree automata. (slides)
-- Conference talk at CONCUR 2016, Quebec, Canada - August 2016.
-- Talk at Seminaire au vert, Tresgastel with SUMO Team, Rennes, France - June 2015.

Reachability problems for Markov chains.
-- Invited Talk at the 1st CMI Alumni Conference, Chennai Mathematical Institute, Chennai - January 2015.
-- 68NQRT Seminar at IRISA, Rennes, France - June 2014.

Implementing Realistic Asynchronous Automata
-- Conference talk at FSTTCS 2013, Indian Institute of Technology Guwahati, Assam, India. - December 2013.

Approximate verification of the symbolic dynamics of Markov chains
    -- Seminar at Indian Institute of Science, Bangalore, India - October 2012.
    -- Verification Seminar at University of Oxford, United Kingdom - September 2012.
    -- Talk at Logic in Computer Science (LICS 2012), Conference in Dubrovnik, Croatia - June 2012.

Robustness of Time Petri nets under architectural constraints
-- Talk at FORMATS 2012, Conference in Imperial College London, United Kingdom - September 2012.

-- Annual plenary meeting of Project IMPRO at IRCCyN, Nantes, France - March 2012.

Symbolically bounding the drift in time-constrained MSC graphs
-- Talk at ICTAC 2012, Conference in International Institute of Information Technology, Bangalore, India - September 2012.

On the emptiness problem for time-constrained message sequence graphs.
-- Seminar at the Laboratoire d’Informatique Fondamentale (LIF), Marseille, France - February 2012

On modeling and verification of timed systems.
-- Tutorial at Ecole Normale Superieure de Cachan - Antenne de Bretagne, Ker Lann, France. - January 2012

Approximate Methods for Probabilistic Inference in DBN models of Bio-pathways
    -- 68NQRT Seminar at IRISA, Rennes, France - December 2011
    -- Seminar at University of Saarland, Saarbrucken, Germany - September 2011
    -- Seminar at Indian Institute of Technology-Bombay (IIT-B), India - August 2011.
    -- Seminar at Institute of Science and Technology (IST), Austria - June 2011
    -- ACTS III Workshop at Chennai Mathematical Institute (CMI), Chennai, India - January 2011.

Distributed Timed Automata with independently evolving clocks
-- Seminar at University of Saarland, Saarbrucken, Germany - September 2011.

Model Checking Time-constrained Scenario-based Specifications
-- Seminar at Indian Institute of Technology-Bombay (IIT-B), India - August 2011.
-- Talk at FSTTCS 2010, Conference in Chennai, India - December 2010.