On 18 February 2008 there was a special seminar in Bristol in honour of Clifford Cocks: his notes are here.
In July 2008 he visited Birmingham (U.K.), at a variety of meetings: his notes are here.
In July 2009 he visited Grand Bend (Ontario), at a variety of meetings under the portmanteau of `Conferences on Intelligent Computer Mathematics': his notes are here.
In September 2009 he attended the Heilbronn Symposium: his (incomplete) notes are here. The slides of his talk at SYNASC 2009 are here.
In July 2010 he also visited the Technical University of Munich for the International Symposium on Symbolic and Algebraic Computation ISSAC 2010: his (incomplete) notes are here.
In September 2010 he attended the Heilbronn Symposium: his (incomplete) notes are here.
In June 2011 he went to ISSAC 2011 in San Jose - he now knows the way there. His notes are here.
In July 2011 he visited Bertinoro (Italy), at a variety of meetings (he was the overall Programme Chair) under the portmanteau of `Conferences on Intelligent Computer Mathematics': his (incomplete) notes are here.
In September 2011 he visited Timisoara (Romania) to attend SYNASC 2011. Apart from being platform fodder, his (incomplete) notes are here. The slides of his talk are here.
In July 2012 he also went to ISSAC 2012 in Grenoble. His notes are here.
In September 2012 he visited Timisoara (Romania) to attend SYNASC 2012. His (incomplete) notes are here. The slides of his talk are here.
In July 2013 he organised CICM 2013, and took notes at the Calculemus Business meeting and CICM Business meeting. His general notes are here.
In August 2013 he attended the SIAM Workshop on Applied Algebraic Gemetry: see his notes (updated 2013-Oct-17).
In September 2013 he visited Timisoara (Romania) to attend SYNASC 2013. His (incomplete) notes are here. The slides of his talk are here.
He then visited Kobe as part of ISSAC 2014, and his (incomplete) notes are here.
He went on to ICMS 2014 (Seoul) and his (incomplete) notes are here. His own slides are here.
In September 2014 he visited Timisoara (Romania) to attend SYNASC 2014. His (incomplete) notes are here.
On 5 November 2014 he spoke at MathSpace 2014: his slides are here.
In January 2015 he attended Real World Cryptography 2015: his notes are here.
In July 2015 he hosted, and therefore part-attended, ISSAC 2015 and PASCO 2015 in Bath, his notes are here.
In August 2015 he attended Applied Algebraic Geometry 2015 and the International Congress on Industrial and Applied Mathematics 2015: his consolidated notes are here.
In January 2016 he attended the Higher Education Academy's STEM Conference 2016: his notes are here.
In July 2016 he attended the International Congress on Mathematical Software 2016: his notes are here.
In September 2016 he attended CASC 2016 in Bucharest and SYNASC 2016 in Timisoara: his notes are here.
February-June 2017 he was a Fulbright CyberSecurity Scholar at NYU, here are his general notes and NYU Privacy Seminars notes. He was living in International House, and his notes are here.
On his return to the U.K., he attended (part of) the Isaac Newton Institute's Seminar on "Big Proof": here. Later he went to the Conference on Automated Deduction (CADE) in Gothenburg: here.
In February/March 2018 he attended a meeting at the International Centre for Mathematical Sciences (ICMS; Edinburgh) on the Global Challenges Research Fund): his notes are here.
In July 2018 he attended ICMS [International Congress on Mathematical Software] 2018: his notes are here.
In August 2018 he attended ICM [International Congress of Mathematicians] 2018: his notes are here.
In September 2018 he attended AISC (Artificial Intelligence and Symbolic Commputation) 2018: his notes are here.
In September 2018 he attended SYNASC (Artificial Intelligence and Symbolic Commputation) 2018: his notes are here.
In February/March 2019 he attended SIGCSE (Computer Science Education) 2019 in Minneapolis: his notes are here. He also attended the ICMS (Edinburgh) workshop on "Big Proof": his notes are here. As usual, he attended SYNASC 2019: his notes are here.
He also attended FIE (Frontiers in Engineering Education) 2019: his notes are here.
He attended FMFun (Formal Methods are Fun) in Bergen in December (more fun than one might expect) 2019: his notes are here.
He (virtually) attended EDUCON 2020: his notes are here. He (virtually) attended ICMS 2020: his notes are here. He (virtually) attended E-Assessment in Mathematical Sciences 2020, which was virtually held at Newcastle University: his notes are here.