🔴 Live TV: profile/timnelson - Info Live Streaming 2026

Mon 13 - Fri 17 March 2023 Tokyo, Japan

Not registered as user

Name:Tim Nelson

Country:United States

Affiliation:Brown University

Personal website: https://cs.brown.edu/~tn/

Contributions

2023

‹Programming›

Little Tricky Logic: Misconceptions in the Understanding of LTL

Show activities from other conferences

‹Programming› 2023-profile
View general profile