ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Sponsorship
Tracks
ATVA 2025
Research Papers
Artifacts
Workshops
Tutorials
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Organizing Committee
General Chair
Contributors
People Index
Search
Series
Series
ATVA 2025
ATVA 2024
ATVA 2023
ATVA 2022
ATVA 2021
ATVA 2020
ATVA 2019
ATVA 2018
ATVA 2017
ATVA 2016
ATVA 2015
ATVA 2014
ATVA 2013
ATVA 2012
ATVA 2011
ATVA 2010
ATVA 2009
ATVA 2008
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003
Sign in
Sign up
ATVA 2025
(
series
) /
Programme Committee
ATVA 2025
S. Akshay
Étienne André
Université Sorbonne Paris Nord; LIPN; CNRS
France
Guy Avni
University of Haifa
Austria
Gogul Balakrishnan
Google
United States
A. R. Balasubramanian
Technical University of Munich
Germany
Ansuman Banerjee
India Indian Statistical Institute http://www.isical.ac.in/~ansuman
Suguman Bansal
Georgia Institute of Technology, USA
United States
Dirk Beyer
LMU Munich
Germany
Mingshuai Chen
Zhejiang University
China
Yu-Fang Chen
Academia Sinica
Taiwan
Yunja Choi
Kyungpook National University
South Korea
Christoph Csallner
University of Texas at Arlington
United States
Meenakshi D'Souza
Program Co-Chair
IIITB - International Institute of Information Technology Bangalore
India
Rayna Dimitrova
CISPA, Germany
Germany
Susanna Donatelli
Università degli Studi di Torino
Italy
Grigory Fedyukovich
Florida State University
United States
Hongfei Fu
Shanghai Jiao Tong University
China
Orna Grumberg
Technion – Israel Institute of Technology
Shibashis Guha
Tata Institute of Fundamental Research Mumbai
India
Ashutosh Gupta
Ichiro Hasuo
National Institute of Informatics, Japan
Japan
Frédéric Herbreteau
Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800
France
Jie-Hong Roland Jiang
National Taiwan University
Raghavan Komondoor
Program Co-Chair
Indian Institute of Science, India
India
Murali Krishna Ramanathan
AWS AI Labs
United States
Shankaranarayanan Krishna
IIT Bombay, India
Orna Kupferman
Hebrew University
Israel
Milan Lopuhaä-Zwakenberg
University of Twente
Kumar Madhukar
IIT Delhi
India
Shahar Maoz
Tel Aviv University
Israel
Umang Mathur
National University of Singapore
Singapore
Ashish Mishra
IIT Hyderabad
India
Benjamin Monmege
Aix-Marseille Université
France
Sergio Mover
Ecole Polytechnique
France
Kartik Nagar
IIT Madras
India
Daniel Neider
Technical University of Dortmund, Germany
Germany
Youssouf Oualhadj
Université Paris Est - Créteil
France
Andreas Pavlogiannis
Aarhus University
Denmark
Doron Peled
Bar Ilan University
Israel
Lauren Pick
The Chinese University of Hong Kong
Hong Kong SAR China
Sumanth Prabhu
TCS Research
M. Praveen
Laboratoire de Recherche en Informatique
France
Xiaokang Qiu
Purdue University
United States
Subhajit Roy
IIT Kanpur
India
Prakash Saivasan
The Institute of Mathematical Sciences, India
Sriram Sankaranarayanan
University of Colorado, Boulder
United States
Anne-Kathrin Schmuck
Max Planck Institute for Software Systems
Germany
Arpit Sharma
Indian Institute of Science Education and Research Bhopal
India
B Srivathsan
Program Co-Chair
Chennai Mathematical Institute
India
Quentin Stiévenart
Université du Québec à Montréal
Canada
Vaishnavi Sundararajan
IIT Delhi
India
Nathalie Sznajder
Sorbonne Université, CNRS, LIP6
France
Aditya V. Thakur
University of California at Davis
United States
Yakir Vizel
Technion—Israel Institute of Technology
Israel
Masaki Waga
Kyoto University
Japan
Zhilin Wu
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
China
x
Mon 14 Apr 14:01