add iris talks

diff --git a/research/iris/.htaccess b/research/iris/.htaccess
new file mode 100644 (file)
index 0000000..8c9c10b
--- /dev/null
+++ b/research/iris/.htaccess
@@ -0,0 +1 @@
+Redirect /~jung/iris/iris.pdf http://plv.mpi-sws.org/iris/paper.pdf

diff --git a/research/iris/logatom-talk-2019.pdf b/research/iris/logatom-talk-2019.pdf
new file mode 100644 (file)
index 0000000..543b7bf
Binary files /dev/null and b/research/iris/logatom-talk-2019.pdf differ

diff --git a/research/iris/talk-hope2015.pdf b/research/iris/talk-hope2015.pdf
new file mode 100644 (file)
index 0000000..598f14d
Binary files /dev/null and b/research/iris/talk-hope2015.pdf differ

diff --git a/research/iris/talk-icfp2016.pdf b/research/iris/talk-icfp2016.pdf
new file mode 100644 (file)
index 0000000..2c9052c
Binary files /dev/null and b/research/iris/talk-icfp2016.pdf differ

diff --git a/research/iris/talk-popl2015.pdf b/research/iris/talk-popl2015.pdf
new file mode 100644 (file)
index 0000000..b32f405
Binary files /dev/null and b/research/iris/talk-popl2015.pdf differ