summaryrefslogtreecommitdiff
path: root/research.html
diff options
context:
space:
mode:
Diffstat (limited to 'research.html')
-rw-r--r--research.html12
1 files changed, 5 insertions, 7 deletions
diff --git a/research.html b/research.html
index e4c9325..400dc9b 100644
--- a/research.html
+++ b/research.html
@@ -46,7 +46,6 @@
46 <!-- <a href="#blog">Blog</a> --> 46 <!-- <a href="#blog">Blog</a> -->
47 </div> 47 </div>
48 </header> 48 </header>
49 <div id="body">
50 <p> 49 <p>
51 Here is my <a class="highlight" href="resources/cv/cv_igne.pdf">CV</a> (along with the longer <a class="highlight" href="resources/cv/cv_igne_academic.pdf">academic version</a>). 50 Here is my <a class="highlight" href="resources/cv/cv_igne.pdf">CV</a> (along with the longer <a class="highlight" href="resources/cv/cv_igne_academic.pdf">academic version</a>).
52 </p> 51 </p>
@@ -121,22 +120,21 @@
121 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/iclp/IgneDP18.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne1.pdf">PDF</a>). 120 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/iclp/IgneDP18.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne1.pdf">PDF</a>).
122 </p> 121 </p>
123 </div> 122 </div>
124 </div>
125 </body> 123 </body>
126 <footer> 124 <footer>
127 <p> 125 <p>
128 email [at] federicoigne [dot] com 126 email [at] federicoigne [dot] com
129 &#x00b7; 127 &#x00b7;
130 <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a> 128 <a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a>
131 </p> 129 </p>
132 <p> 130 <p>
133 <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a> 131 <a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a>
134 &#x00b7; 132 &#x00b7;
135 <a href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a> 133 <a class="hovering" href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a>
136 &#x00b7; 134 &#x00b7;
137 <a href="https://fosstodon.org/@dyamon">fediverse</a> 135 <a class="hovering" href="https://fosstodon.org/@dyamon">fediverse</a>
138 &#x00b7; 136 &#x00b7;
139 <a href="https://github.com/dyamon">github</a> 137 <a class="hovering" href="https://github.com/dyamon">github</a>
140 </p> 138 </p>
141 <div class="copyright"> 139 <div class="copyright">
142 <a href="http://creativecommons.org/licenses/by-sa/4.0/"> 140 <a href="http://creativecommons.org/licenses/by-sa/4.0/">