Registered user since Sat 18 Jul 2020
Name:Jean-Christophe Filliatre
Country:France
Affiliation:CNRS
Personal website: https://www.lri.fr/~filliatr
Research interests:deductive program verification
Contributions
Using general profile
SPLASH 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
- Attending
- Hotel: Oakland Marriott City Center
- SPLASH/ISSTA 2026
- Visa Letter
- Tracks
- SPLASH 2026
- OOPSLA
- Onward! Essays
- Onward! Papers
- Onward! Steering Committee
- SIGPLAN track
- SPLASH Keynotes
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA 2026
- Doctoral symposium
- PLMW @ SPLASH/ISSTA'26
- Posters
- Social Events
- Student Research Competition
- Student Volunteers
- Summer School
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Organization
- SPLASH 2026 Committees
- Track Committees
- OOPSLA
- Onward! Essays
- Onward! Papers
- Onward! Steering Committee
- SIGPLAN track
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA
- Doctoral symposium
- PLMW @ SPLASH/ISSTA'26
- Student Research Competition
- Student Volunteers
- Summer School
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Contributors
- People Index
- Search
- Series
- Series
- SPLASH 2026
- SPLASH 2025
- SPLASH 2024
- SPLASH 2023
- SPLASH 2022
- SPLASH 2021
- SPLASH 2020
- SPLASH 2019
- SPLASH 2018
- SPLASH 2017
- SPLASH 2016
- SPLASH 2015
- SPLASH 2014
- SPLASH 2013
- SPLASH 2012
- SPLASH 2011
- SPLASH 2010
- OOPSLA 2009
- OOPSLA 2008
- OOPSLA 2007
- OOPSLA 2006
- OOPSLA 2005
- OOPSLA 2004
- OOPSLA 2003
- OOPSLA 2002
- OOPSLA 2001
- OOPSLA 2000