- Alessio Santamaria
- Can Baskent
- Etienne Duchesne
- Fanny He
- Martin Churchill
- Ana Calderon
- Cai Wingfield

- 01/02/2017: I have a PhD project available to work on the ideas we presented at GameSec 2016. The project is called "Logic for Decision Making in Security". See the advertisement on FindAPhD.com and tell all your friends.
- 25/08/2016: My paper A Logic for the Compliance Budget with Gabrielle Anderson and David Pym has been accepted for GameSec 2016. You can find the full text in Opus. The official final version will be available from Springer shortly.
- 28/2/2015: We just heard that Can Baskent will be presenting some work at GaLoP in April.
- 21/1/2015: Can Baskent has joined us at Bath to work on the ALPUIS project.
- 7/8/2013: Our LICS paper Weighted Relational Models of Typed Lambda-Calculi is now available online in IEEEXplore.
- 26/6/2013: The journal paper Imperative Programs as Proofs via Game Semantics, reporting the work that Martin Churchill, Jim Laird and I did together is now online and will soon appear in the Annals of Pure and Applied Logic.
- 24/6/2013: This year's GaLoP workshop is coming up. It will also serve as the 21st Wessex Theory Seminar.
- 15/3/2013: I've just posted up the draft programme for BCTCS 2013.
- 21/1/2013: The call for participation and talks at BCTCS 2013 is out.
- 8/11/2012: I just gave a talk at Bath about the things I've been working on with Giulio Manzonetto, Michele Pagani and Jim Laird.
- 26/10/2012: I'm pretty excited about Sam Staton's visit and talk today.
- 3/9/2012: We had a visit and a great talk today from Thanos Tsouanas.
- 23/5/2012: Today Bath hosted the 14th Wessex Theory Seminar. Lots of great talks!
- 1/5/2012: I have uploaded the slides from my inaugural lecture to Slideshare.
- 25/4/2012: I am giving my inaugural lecture this evening, after only just less than six years at Bath.
- 4/4/2012: I'm in Manchester for BCTCS 2012, getting ready to host BCTCS 2013 at Bath in March 2013.
- 3/4/2012: We've finished the Programme Committee work for MFPS 2012. The list of accepted papers is now available.
- 3/4/2012: Uday Reddy is visiting us today.
- 2/3/2012: A new paper, A Graphical Foundation for Schedules, jointly written with Cai Wingfield and John Power, has been accepted to appear at MFPS 2012.
- 4/3/2012: I am in Paris to visit Giulio Manzonetto and the rest of the team at LIPN for a month. I don't speak French! Help!
- Feb 2012: I gave some introductory lectures on game semantics for programming languages at Logic and Interaction 2012 in Marseille. You can see the slides in PDF form, or better the slides in PDF form with 9 to a page, or take a chance on this web-based version.

Below is a list of recent publications generated by the University's publications archive, Opus.

I also try to maintain separate pages for my papers and funded projects.

Anderson, G., McCusker, G. and Pym, D., 2016. A Logic for the Compliance Budget. *In*: Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. and Casey, W., eds. *Proceedings, GameSec 2016- Decision and Game Theory for Security.* Springer Verlag, pp. 370-381. (Lecture Notes in Computer Science; 9996)

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics. *Journal of Pure and Applied Algebra*, 219 (4), pp. 1131-1174.

Churchill, M., Laird, J. and McCusker, G., 2013. Imperative programs as proofs via game semantics. *Annals of Pure and Applied Logic*, 164 (11), pp. 1038-1078.

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi. *In*: *2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)*, 2013-06-25 - 2013-06-28. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. *Information and Computation*, 222, pp. 247-264.

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. *Electronic Notes in Theoretical Computer Science*, 286, pp. 273-289.

Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. *In*: Johnson, M. and Pavlovic, D., eds. *Algebraic Methodology and Software Technology.Vol. 6486.* Springer, pp. 111-127. (Lecture Notes in Computer Science)

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. *In*: Aceto, L., Henzinger, M. and Sgall, J., eds. *Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings.* Heidelberg, Germany: Springer, pp. 186-197. (Lecture Notes in Computer Science; 6756)

Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74. (Annual Symposium on Logic in Computer Science)

McCusker, G. A. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. *Electronic Notes in Theoretical Computer Science*, 265, pp. 389-402.

Calderon, A. C. and McCusker, G. A., 2010. Understanding game semantics through coherence spaces. *Electronic Notes in Theoretical Computer Science*, 265, pp. 231-244.

McCusker, G. A., 2010. A graph model for imperative computation. *Logical Methods in Computer Science*, 6 (1), Paper 2.

McCusker, G. and Ghica, D., 2008. Foreword for special issue of APAL for GaLoP 2005. *Annals of Pure and Applied Logic*, 151 (2-3), p. 69.

McCusker, G. and Power, J., 2008. Logic Programs as Coalgebras. *In*: *Proc. CMCS Short Contributions 2008.* .

McCusker, G. and Pym, D., 2007. A games model of bunched implications. *In*: Duparc, J. and Henzinger, T. A., eds. *Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL.Vol. 4646.* Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

McCusker, G., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. *London Mathematical Society Journal of Computation and Mathematics*, 10, pp. 176-206.

McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. *In*: Brookes, S. and Panagaden, P., eds. *Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX.Vol. 83.* Elsevier. (Electronic Notes in Theoretical Computer Science)

McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. *Theoretical Computer Science*, 309 (1-3), pp. 469-502.

McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. *In*: Bradfield, J., ed. *Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL.Vol. 2471.* Berlin, Germany: Springer, pp. 445-490.