FMU 2025: Formal Methods Update Meeting 2025
3 – 4 July, 2025, DAU (formerly DA-IICT) Gandhinagar
FSTTCS 2024: The 44th Foundations of Software Technology and Theoretical Computer Science
16 – 18 December, 2024, IIT Gandhinagar
SAT 2024: The 27th Theory and Applications of Satisfiability Testing
21 – 24 August, 2024, TCS Sahyadri Park – 2, Pune
SAT + SMT 2024: The 10th SAT + SMT School
18 – 19 August, 2024, TCS Sahyadri Park – 2, Pune
Workshop on Paraconsistent Reasoning (in memory of Prof. Newton da Costa)
17 – 18 August, 2024, RKMRC Narendrapur, Kolkata
FMU 2024: Formal Methods Update Meeting 2024
11 – 12 July, 2024, IIT Dharwad
RHPL 2023: The 2nd Workshop on Research Highlights in Programming Languages
18 – 20 December, 2023, IIIT Hyderabad
FSTTCS 2023: The 43rd Foundations of Software Technology and Theoretical Computer Science
18 – 20 December, 2023, IIIT Hyderabad
SAT + SMT 2023: The 9th SAT + SMT School
15 – 17 December, 2023, IIIT Hyderabad
CLC 2023: The 22nd Calcutta Logic Circle Annual Conference (in memory of Prof. Ranjan Mukhopadhyay)
12 – 14 August, 2023, RKM Residential College, Narendrapur, Kolkata
FMU 2023: Formal Methods Update Meeting 2023
29 June – 1 July, 2023, IIT Goa
FSTTCS 2022: The 42nd Foundations of Software Technology and Theoretical Computer Science
18 – 20 December, 2022, IIT Madras
SAT + SMT 2022: The 8th SAT + SMT School
15 – 17 December, 2022, IIT Madras
Association for Logic in India 