publist

managing my list of publications, talks, reviews
git clone https://a3nm.net/git/publist/
Log | Files | Refs | README | LICENSE

commit 386546c4fe19381256aadb7f893321f3406a27f2
parent c71b2106046265bb5a3bbfe4770d2866bf3a21e7
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 18 Dec 2021 11:01:52 +0100

fix labri url

Diffstat:
talks | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/talks b/talks @@ -4,7 +4,7 @@ Venue: Seminar of the Formal Methods team VenueFr: séminaire de l'équipe Méthodes Formelles VenueUrl: https://mf.labri.fr/ Place: LaBRI -PlaceUrl: https://www.labri.u-bordeaux.fr/ +PlaceUrl: https://www.labri.fr/ Location: Bordeaux Title: Dynamic Membership for Regular Languages @@ -91,7 +91,7 @@ Venue: Seminar of the Formal Methods team VenueFr: séminaire de l'équipe Méthodes Formelles VenueUrl: https://mf.labri.fr/ Place: LaBRI -PlaceUrl: https://www.labri.u-bordeaux.fr/ +PlaceUrl: https://www.labri.fr/ Location: <del>Bordeaux</del> Misc: online talk due to the COVID-19 pandemic, <a href="https://visio.u-bordeaux.fr/playback/presentation/2.0/playback.html?meetingId=c1df9a62fd77f82c7a816bd06adf6a84adce292d-1589887822593">video</a> MiscFr: exposé en ligne en raison de la pandémie de COVID-19, <a href="https://visio.u-bordeaux.fr/playback/presentation/2.0/playback.html?meetingId=c1df9a62fd77f82c7a816bd06adf6a84adce292d-1589887822593">vidéo</a>