Joshua Moerman

Tutorial at FSTTCS

Joshua Moerman will give a tutorial on Automata Learning at FSTTCS 2020, the 40th conference on Foundations of Software Technology and Theoretical Computer Science. It is part of the workshop Advances in Verification. The workshop will take place virtually on 18 December 2020.

Paper at CONCUR 2020

The paper entitled “Residual Nominal Automata” by Joshua Moerman and Matteo Sammartino (Royal Holloway University of London) has been accepted for the 31st International Conference on Concurrency Theory (CONCUR 2020). Out of 112 submissions, 45 papers are accepted. The paper is about formal languages over infinite alphabets. It investigates the class of languages accepted by […]

Paper at CSL 2020

The paper entitled “Separation and Renaming in Nominal Sets” by Joshua Moerman and Jurriaan Rot (UCL, London and Radboud University, the Netherlands) has been accepted for the 28th edition in the series of Computer Science Logic (CSL 2020). Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, […]