ICGT 2026
Wed 1 - Thu 2 July 2026
co-located with
STAF 2026
Toggle navigation
Attending
Venue: How to get to INRIA Center, University of Rennes ?
STAF 2026
Registration
Social Events
Accomodation
Program
ICGT Program
Your Program
Wed 1 Jul
Thu 2 Jul
Tracks
ICGT 2026
ICGT Research Papers
STAF 2026
Social Events
Organization
ICGT 2026 Committees
Keynote
Steering committee
Program Committee
Contributors
People Index
Search
Series
Series
ICGT 2026
ICGT 2025
ICGT 2024
ICGT 2023
ICGT 2022
ICGT 2021
ICGT 2020
ICGT 2019
ICGT 2018
ICGT 2017
ICGT 2016
ICGT 2015
ICGT 2014
ICGT 2012
ICGT 2010
ICGT 2008
ICGT 2006
ICGT 2004
ICGT 2002
Sign in
Sign up
STAF 2026
(
series
) /
ICGT 2026
(
series
) /
Robert Söldner
STAF 2026 profile
conf.research.org general profile
STAF 2023 profile
Not registered as user
Name:
Robert Söldner
Country:
United Kingdom
Affiliation:
University of York
Contributions
2026
ICGT
Formalising and Verifying Graph Programs with Higher-Order Logic
Show activities from other conferences
Share
STAF 2026-profile
View general profile
x
Sun 15 Nov 00:52