Copyright © 2024 J. M. Spivey
Ancient history
{{{{{1}}}|{{{2}}}|Formal Program Design|2009=fpd|2010=fpd|2011=fpd|2012=fpd}}
{{{{{1}}}|{{{2}}}|Formal Program Design 1|2008=fpd1|2007=fpd1}}
{{{{{1}}}|{{{2}}}|Formal Program Design 2|2008=fpd2|2007=fpd2}}
{{{{{1}}}|{{{2}}}|Reasoning About Muddy Children|2012=raiu|2011=raiu}}
{{{{{1}}}|{{{2}}}|Logic of Multi-Agent Information Flow|2010=lmaif|2009=lmaif|2007=lmaif}}
{{{{{1}}}|{{{2}}}|Integer Programming|2009=intprog|2008=intprog|2007=intprog}}
{{{{{1}}}|{{{2}}}|Numerical Analysis|2009=na|2008=na|2007=na}}
{{{{{1}}}|{{{2}}}|Numerical Solution of%%Differential Equations 1|2009=nsde1|2008=nsde1|2007=nsde1}}
{{{{{1}}}|{{{2}}}|Numerical Solution of%%Differential Equations 2|2009=nsde2|2008=nsde2|2007=nsde2}}
{{{{{1}}}|{{{2}}}|Object-Oriented Design|2008=ood|2007=ood}}
{{{{{1}}}|{{{2}}}|Automata, Logic and Games|2007=autolog}}
{{{{{1}}}|{{{2}}}|Bioinformatics and Computational Biology|2007=bioinf}}
{{{{{1}}}|{{{2}}}|Categories, Proofs and Programs|2007=categories}}
{{{{{1}}}|{{{2}}}|Domain Theory|2007=domains}}