[fpunion] FPU meeting Friday 21 May, 1-2pm, 5.08 ICT Building

[bjpop]

(NOTE the change of location from our usual room.)

Presenter: Harald Sondergaard

Topic: Three-valued logics for reasoning about programs.

Abstract:

Various three-valued extensions to propositional logic have been
proposed as support for program synthesis, verification,
transformation, and debugging, as well as in the semantic foundations
for logic programming. The talk gives a survey of such logics and the
debate about their advantages and disadvantages. A follow-up talk will
discuss four-valued extensions.

We hope to see you there.

--
To unsubscribe from this group, send email to fpunion-u...@googlegroups.com