Skip to content

Commit

Permalink
Update index.md
Browse files Browse the repository at this point in the history
  • Loading branch information
jkadlecikova authored Nov 14, 2024
1 parent a6d955a commit 2db43e2
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,10 @@ Link to remote talks: [https://rensselaer.webex.com/meet/fergut5](https://rensse
| Time | Speaker | Title |
| --- | --- | --- |
| 11:00 - 12:00 | **Registration** | |
| 12:00 - 12:40 | Gemma Robles | [On Acceptable Connexive Logics with the Variable Sharing Property](#gemma) (*remote*) |
| 12:40 - 13:20 | Katalin Bimbó | [Tweaking Variable Sharing](#katalin) — (*remote*) |
| 13:20 - 14:00 | Nicholas Ferenz | [Vector Spaces as Topic Structures in Topic-Sensitive Logics](#nicholas) — (*remote*) |
| | [LINK TO REMOTE TALKS](https://rensselaer.webex.com/meet/fergut5) |
| 12:00 - 12:40 | Gemma Robles | [On Acceptable Connexive Logics with the Variable Sharing Property](#gemma) — *remote* |
| 12:40 - 13:20 | Katalin Bimbó | [Tweaking Variable Sharing](#katalin) — *remote* |
| 13:20 - 14:00 | Nicholas Ferenz | [Vector Spaces as Topic Structures in Topic-Sensitive Logics](#nicholas) — — *remote* |
| | | [LINK TO REMOTE TALKS](https://rensselaer.webex.com/meet/fergut5) |
| 14:00 - 14:20 | **Coffee break** | |
| 14:20 - 15:00 | Brandon Rozek | [VSPursuer: A VSP Verification Tool for MaGIC](#brandon) |
| 15:00 - 15:55 | **Roundtable discussion** | |
Expand Down

0 comments on commit 2db43e2

Please sign in to comment.