Onderwerpen

Semantiek van imperatieve talen en constructies

• expressie-evaluatie
• natuurlijke semantiek
• semantische equivalentie

Correctheid van programma's

• axiomatische semantiek
• specificaties
• Floyd-Hoare calculus

Semantiek van functionele talen en constructies

• termherschrijven
• reductie
• normalisatie
• confluentie

Propositie- en predicatenlogica

• natuurlijke deductie
• constructieve en klassieke redeneerwijzen
• modellen
• consistentie en volledigheid

Temporeel redeneren

• modale en temporele logica
• tijd-afhankelijke eigenschappen
• model checking