publist

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

commit 63fc7e01a5858f3c58551514a959c3d2971c3504
parent ca83c564b71fbc2b2c543a7c5ae596b748f9925f
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  1 Feb 2022 17:52:19 +0100

+edbt talk

Diffstat:
make_talks_html.py | 7++++---
talks | 6++++++
2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/make_talks_html.py b/make_talks_html.py @@ -351,9 +351,10 @@ if __name__ == '__main__': lastdate = datet outlist = set() - if dnow >= datet: - # past talk - outlist.add(fall) + outlist.add(fall) + # if dnow >= datet: + # # past talk + # outlist.add(fall) if dnow < datet: # future talk outlist.add(flast) diff --git a/talks b/talks @@ -1,3 +1,9 @@ +Title: Probabilistic Databases Tutorial +Date: 2022-07-06 +Venue: EDBT Summer School +VenueFr: École d'été EDBT +Location: Bordeaux + Title: Dynamic Membership for Regular Languages Date: 2022-01-13 Venue: Seminar of the Formal Methods team