Informatics Institute (IvI), University of Amsterdam (UvA)

In Dutch: Slides Honoursprogramma BSc. Informatica
(9 December 2019)

In Dutch: Slides PAV-bezoek TCS
(19 November 2019)

MSc Computer Science (slide deck): joint degree UvA + Vrije Universiteit Amsterdam
(9 November 2019)

Most recent journal paper:
A. Ponse and D.J.C. Staudt, An independent axiomatisation for free short-circuit logic,
Journal of Applied Non-Classical Logics 28(1): 35-71, 2018. Online version (20 April 2018).
Follow-up paper on arXiv: Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.
(4 October 2018)

 

portrait April 13, 2013    

    Last modified: December 25, 2019