ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Sponsorship
Program
ATVA Program
Your Program
Program at a Glance
Proceedings
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Fri 31 Oct
Tracks
ATVA 2025
Invited Talks
NIER
ATVA Papers
Tutorials and Workshops
APLAS Papers
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Steering 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
) /
Ryunosuke Endo
ATVA 2025 profile
conf.research.org general profile
APLAS 2025 profile
Not registered as user
Name:
Ryunosuke Endo
Affiliation:
Waseda University
Contributions
2025
ATVA
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Show activities from other conferences
Share
ATVA 2025-profile
View general profile
x
Wed 19 Nov 00:08