• FMIndia mailing list
• List Archives

Upcoming Events:

• Formal Methods Update Meeting 2024
  IIT Dharwad, July 11-13, 2024

• 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
  Pune, August 21-24, 2024

Past Events:

• 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024)
  co-located with 21st IEEE International Conference on Software Architecture (ICSA 2024),
  IIIT Hyderabad, June 4-8, 2024

• FSTTCS 2023
  IIIT Hyderabad, December 18-20, 2023

• Formal Methods Update Meeting 2023
  IIT Goa, June 29-July 1, 2023

• FSTTCS 2022
  IIT Madras, December 18-20, 2022

• Formal Methods Update Meeting 2022
  IIT Delhi, July 4-5, 2022

• FSTTCS 2021
  BITS Pilani Goa, December 15-18, 2021.

• Formal Methods Update Meeting 2021
  Online, July 9-11, 2021

• "ReLaX" Workshop on Games
  CMI (online), February 1-4, 2021.

• FSTTCS 2020
  BITS Pilani Goa (online), December 14-18, 2020.

• SAT+SMT 2020
  Online, December 11-13, 2020.

• FSTTCS 2019
  IIT Bombay, December 11-13, 2019.

• SAT+SMT 2019
  IIT Bombay, December 8-10, 2019.

• Formal Methods Update Meeting 2019
  IIT Hyderabad, July 10-11, 2019

• Complexity, Algorithms, Automata and Logic Meet (CAALM)
  Chennai Mathematical Institute, January 21-25, 2019

• SAT+SMT 2018
  IIIT Hyderabad, December 6-8 2018.

• Formal Methods Update Meeting 2018
  BITS Pilani, K K Birla Goa Campus, July 19-21, 2018

• FSTTCS 2018
  Ahmedabad, December 10-14 2018.

• AFMSS 2018 - 2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems
  Amrita School of Engineering, Amritapuri campus, February 26-28, 2018.

• FSTTCS 2017
  Kanpur, December 11-15 2017.

• The Second Indian SAT+SMT School 2017
  Mysore, December 6-8 2017.

• ATVA 2017
  Pune, October 3-6, 2017

• Workshop on Formal Methods for Systems
  Amrita University, Coimbatore Campus, August 14-19, 2017.

• Formal Methods Update Meeting 2017
  IIT Mandi, July 17-18, 2017

• Fifth Workshop on Automata, Concurrency and Timed Systems, ACTS 2017
  Chennai Mathematical Institute, January 30-February 3, 2017.

• FSTTCS 2016
  Chennai, December 13-15 2016.

• The First Indian SAT+SMT School 2016
  TIFR, Mumbai, December 4-10 2016.

• Formal Methods Update Meeting 2016
  Government Engineering College (GEC), Idukki, July 21-22, 2016

• FSTTCS 2015
  Bangalore, December 16-20 2015.

• Formal Methods Update Meeting 2015
  Indian Institute of Science, Bangalore, July 16-17, 2015

• Fourth Workshop on Automata, Concurrency and Timed Systems, ACTS 2015
  Chennai Mathematical Institute, February 9-13, 2015.

• POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  Tata Institute of Fundamental Research, Mumbai, January 12-18, 2015

• FSTTCS 2014
  New Delhi, December 15-17 2014.

• CSI SIG-FM National Workshop / Conference on Formal Methods - NCFM
  Indian Institute of Science, Bangalore, October 15-17, 2014

• Formal Methods Update Meeting 2014
  Indian Institute of Technology, Kharagpur, July 28-30, 2014

• FSTTCS 2013
  Guwahati, December 10-14 2013.

• Formal Methods Update Meeting 2013
  Indian Institute of Technology Delhi, July 27-28, 2013

• Making Formal Verification Scalable and Useable
  Chennai Mathematical Institute, January 9-10 2013.

• FSTTCS 2012
  Hyderabad, December 15-17 2012.

• ATVA 2012
  Thiruvananthapuram, October 3-6 2012.
  

• Formal Methods Update Meeting 2012
  Chennai Mathematical Institute, July 19-21 2012.

• FSTTCS 2011
  Mumbai, December 12-14 2011.

• Formal Methods Update Meeting 2011
  VIT Vellore, July 12-14 2011.

• Third Workshop on Automata, Concurrency and Timed Systems, ACTS 2011
  Chennai Mathematical Institute, January 27-29, 2011.

• FSTTCS 2010
  Chennai, December 15-18 2010.

• Formal Methods Update Meeting 2010
  DA-IICT, Gandhinagar, July 15-17 2010.

• Second Workshop on Automata, Concurrency and Timed Systems, ACTS 2010
  Chennai Mathematical Institute, February 1-3, 2010.

• TECS Week 2010, Formal methods in software verification, testing and debugging
  TRDDC Pune, January 4-10 2010.

• FSTTCS 2009
  Kanpur, December 13-15 2009.

• Formal Methods Update 2009
  IIT Roorkee, July 13-15 2009.

• Workshop on Automata, Concurrency and Timed Systems, ACTS 2009
  Chennai Mathematical Institute, January 29-31 2009.

This page is being maintained by Madhavan Mukund.