Highlights
Strong performance by India at IOI-2023, EGOI-2023, APIO-2023
...
FSTTCS 2023 in IIIT Hyderabad
...
Formal Methods Update Meeting 2023, IIT Goa, Jun 29–Jul 1, 2023
...
IARCS Executive Council, 2020–2023
...
ACM India-IARCS travel grants for international conferences
...
