Registered user since Fri 7 Apr 2023
Name:George Zakhour
Affiliation:Universität St. Gallen
Personal website: https://grgz.me
Research interests:Programming Languages, Type Theory, Automated Theorem Proving
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
- Organization
- SPLASH 2026 Committees
- Track Committees
- OOPSLA
- Onward! Essays
- Onward! Papers
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA
- Doctoral symposium
- PLMW @ SPLASH/ISSTA'26
- Student Research Competition
- Student Volunteers
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Contributors
- People Index
- Co-hosted Conferences
- ISSTA
- Workshops
- EXPRESS Expression of software system DevOps
- HATRA
- IWACO
- LMPL
- NSAD
- PAINT
- PLSS PL Standardization and Specification
- SSNL
- Co-hosted Symposia
- SAS Static Analysis Symposium
- 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