X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4927af92d3b136436aa41a26369794443aa69b97..ac57122a8dbb81d639a386ba6547ba385e6ab0f2:/index.html diff --git a/index.html b/index.html index 9c776e2..a1f7823 100644 --- a/index.html +++ b/index.html @@ -1,26 +1,6 @@ -<!doctype html> -<html lang="en"> -<head> -<meta charset="utf-8"/> -<meta name="viewport" content="width=device-width, initial-scale=1"/> -<title>Amin Bandali's Personal Site</title> -<link rel="icon" href="/gnu.ico"/> -<link rel="stylesheet" href="/style.css"/> -</head> -<body> -<header> -<h1>Amin Bandali's Personal Site</h1> -</header> -<nav> -<ul> -<li><a href="/#papers">Publications</a></li> -<li><a href="/#projects">Projects</a></li> -<li><a href="/#notes">Notes</a></li> -<li><a href="/cv" title="curriculum vitae">CV</a></li> -<li><a href="/contact">Contact</a></li> -</ul> -</nav> -<main> +<!--# set var="title" value="Amin Bandali's Personal Site" --> +<!--# set var="nts" value="true" --> +<!--# include virtual="/ssi/pre.html" --> <section id="intro"> <p>Hi, I'm Amin. I am currently a graduate student at the <a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a> @@ -38,19 +18,21 @@ assistants, and their type systems.</p> <p>On the side, I enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a> on <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a> -and <a href="//www.gnu.org/software/guile/">guile</a>. -I am a GNU <a href="//www.gnu.org/people/#bandali">maintainer</a> and +and <a href="//www.gnu.org/software/guile/">guile</a>. I am a +GNU <a href="//www.gnu.org/people/#bandali">maintainer</a>, <a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>, -a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a> -activist, and an <a href="//www.fsf.org/associate/">associate member</a> -of the <a href="///www.fsf.org">Free Software Foundation</a>. -I'm the co-host of the <a href="//emacsel.com">Emacs.el</a> -podcast with <a href="//www.pygopar.com">Daniel Gopar</a>, and -the chief organizer of the -<a href="//emacsconf.org">EmacsConf</a> conference. -I'm also a member of the Systems Committee of the -<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of -the University of Waterloo.</p> +and <a href="//savanna.gnu.org/maintenance/SavannahHacker/">Savannah +hacker</a>. I am also a +<a href="//www.gnu.org/philosophy/free-sw.html">free software</a> +activist, and an <a href="//www.fsf.org/associate/">associate +member</a> of the <a href="///www.fsf.org">Free Software +Foundation</a>. I'm the chief organizer of +the <a href="//emacsconf.org">EmacsConf</a> conference, and the +co-host of the <a href="//emacsel.com">Emacs.el</a> podcast with +<a href="//www.pygopar.com">Daniel Gopar</a>. I am also a member of +the Systems Committee of the +<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the +University of Waterloo.</p> </section> <section id="papers"> @@ -69,7 +51,7 @@ Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>, <a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/> <em>2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)</em><br/> -Copyright © 2018 IEEE. All Rights Reserved. Sadly. +Copyright © 2018 IEEE. All Rights Reserved. Sadly. </dd> </dl> </section> @@ -141,10 +123,5 @@ and </tbody> </table> </section> -</main> -<footer> -<p>Copyright © 2016–2019 Amin Bandali. See the -<a href="/license">license conditions</a>. Please copy and share.</p> -</footer> -</body> -</html> +<!--# set var="copy" value="2016–2019" --> +<!--# include virtual="/ssi/post.html" -->