ICGT 2023
Wed 19 - Thu 20 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
History
Program
ICGT Program
Your Program
Proceedings
Wed 19 Jul
Thu 20 Jul
Tracks
ICGT 2023
Research Papers
Journal-First
STAF 2023
Keynotes
Organization
ICGT 2023 Committees
Steering Committee
Track Committees
Research Papers
Journal-First
Contributors
People Index
Search
Series
Series
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 2023
(
series
) /
ICGT 2023
(
series
) /
Tommaso Padoan
STAF 2023 profile
conf.research.org general profile
POPL 2019 profile
Not registered as user yet
Name:
Tommaso Padoan
Affiliation:
University of Padova
Contributions
2023
ICGT
A Monoidal View on Fixpoint Checks
Show activities from other conferences
Share
STAF 2023-profile
View general profile
x
Wed 4 Dec 07:56