File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -36,9 +36,9 @@ description: November 14-16, 2024
36
36
| --- | --- | --- |
37
37
| 11:00 - 12:00 | ** Registration** | |
38
38
| | | ** Hybrid sessions:** [ LINK] ( https://rensselaer.webex.com/meet/fergut5 ) |
39
- | 12:00 - 12:40 | Gemma Robles | [ On Acceptable Connexive Logics with the Variable Sharing Property] ( #gemma ) &mdash ; hybrid |
40
- | 12:40 - 13:20 | Katalin Bimbó | [ Tweaking Variable Sharing] ( #katalin ) &mdash ; hybrid |
41
- | 13:20 - 14:00 | Nicholas Ferenz | [ Vector Spaces as Topic Structures in Topic-Sensitive Logics] ( #nicholas ) &mdash ; hybrid |
39
+ | 12:00 - 12:40 | Gemma Robles | [ On Acceptable Connexive Logics with the Variable Sharing Property] ( #gemma ) &mdash ; remote |
40
+ | 12:40 - 13:20 | Katalin Bimbó | [ Tweaking Variable Sharing] ( #katalin ) &mdash ; remote |
41
+ | 13:20 - 14:00 | Nicholas Ferenz | [ Vector Spaces as Topic Structures in Topic-Sensitive Logics] ( #nicholas ) &mdash ; remote |
42
42
| 14:00 - 14:20 | ** Coffee break** | |
43
43
| 14:20 - 15:00 | Brandon Rozek | [ VSPursuer: A VSP Verification Tool for MaGIC] ( #brandon ) |
44
44
| 15:00 - 15:55 | ** Roundtable discussion** | |
You can’t perform that action at this time.
0 commit comments