• deck

  • PCF2ASP

  • IDP2ASP

  • deck

  • Propagation┬áLazyness

  • Second Oral Presentation

  • Internal Language IDP4

  • iclp16

  • LambdASP

  • RuleML: Autoconfig

  • Why the Terminator can't fill in your tax form (yet)

  • No more TL;DR!

  • Compositional Logics

  • A web-based IDE for IDP

  • IDPD3

  • Semantics of templates in a compositional framework for building logics

  • SemanticsWIP

  • DRYing the world

  • Progress Report Phd