Skip to content

Commit

Permalink
Edits to links.
Browse files Browse the repository at this point in the history
  • Loading branch information
@potanin
potanin committed Jul 13, 2024
1 parent 5c57052 commit f67d35e
Show file tree
Hide file tree
Showing 8 changed files with 8 additions and 26 deletions.
4 changes: 0 additions & 4 deletions committees.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,8 +56,6 @@
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-institution"></i> BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-vcard"></i> CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
Expand All @@ -69,8 +67,6 @@
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button" onclick="toggleFunction()">BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
Expand Down
Binary file added files/RobinsonPotaninECOOP2024.pdf
View file
Binary file not shown.
Binary file added files/YoungYangSergeyPotaninECOOP2024.pdf
View file
Binary file not shown.
Binary file removed files/alexpotanincv.pdf
View file
Binary file not shown.
18 changes: 8 additions & 10 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -99,8 +99,6 @@
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-institution"></i> BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-vcard"></i> CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
Expand All @@ -112,8 +110,6 @@
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button" onclick="toggleFunction()">BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
Expand Down Expand Up @@ -310,12 +306,14 @@ <h3>Refereed Conference Papers</h3>
<ol start="12">

<li>David Young, Ziyi Yang, Ilya Sergey, Alex
Potanin. <i>Higher-Order Specifications for Deductive Synthesis
of Programs with Pointers</i>. In ECOOP 2024.</li>

<li>Amos Robinson, Alex Potanin. <i>Pipit on the Post: proving
pre- and post-conditions of reactive systems</i>. In ECOOP
2024.</li>
Potanin. <i><a href="./files/YoungYangSergeyPotaninECOOP2024.pdf">Higher-Order
Specifications for Deductive Synthesis of Programs with
Pointers</a></i>. In ECOOP 2024.</li>

<li>Amos Robinson, Alex
Potanin. <i><a href="./files/RobinsonPotaninECOOP2024.pdf">Pipit
on the Post: proving pre- and post-conditions of reactive
systems</a></i>. In ECOOP 2024.</li>

<li>Zara Hassan, Christoph Treude, Michael Norrish, Graham
Williams, Alex
Expand Down
4 changes: 0 additions & 4 deletions phd.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,8 +57,6 @@
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-institution"></i> BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-vcard"></i> CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
Expand All @@ -70,8 +68,6 @@
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button" onclick="toggleFunction()">BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
Expand Down
4 changes: 0 additions & 4 deletions students.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,8 +56,6 @@
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-institution"></i> BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-vcard"></i> CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
Expand All @@ -69,8 +67,6 @@
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button" onclick="toggleFunction()">BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
Expand Down
4 changes: 0 additions & 4 deletions teaching.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,8 +56,6 @@
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-institution"></i> BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-vcard"></i> CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
Expand All @@ -69,8 +67,6 @@
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="https://alexpotanin.blogspot.com/" class="w3-bar-item w3-button" onclick="toggleFunction()">BLOG</a>
<a href="./files/alexpotanincv.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
Expand Down

0 comments on commit f67d35e

Please sign in to comment.