GitHub - dir2019/dir2019.github.io: DIR 2019

Name		Name	Last commit message	Last commit date
Latest commit History 179 Commits
img		img
slides		slides
CNAME		CNAME
booklet.pdf		booklet.pdf
dir.css		dir.css
favicon.png		favicon.png
index.html		index.html
invoice.html		invoice.html
keynotes.html		keynotes.html
logo.html		logo.html
nav.html		nav.html
posters.html		posters.html
program.html		program.html
soon.html		soon.html
sponsor.html		sponsor.html
venue.html		venue.html