From 2db43e27360ab0e2eda62f0e5bffe55f8c2f76c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jitka=20Kadle=C4=8D=C3=ADkov=C3=A1?= <91805211+jkadlecikova@users.noreply.github.com> Date: Wed, 13 Nov 2024 21:35:09 -0500 Subject: [PATCH] Update index.md --- index.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/index.md b/index.md index a325bf9..27a4332 100644 --- a/index.md +++ b/index.md @@ -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** | |