14 November 2003, Computing with LLI Seminar & LIT/MoL Meeting, Juan Heguiabehere

Juan Heguiabehere will talk about the importance of implementation and benchmarking in automated reasoning, especially as concerns modal and hybrid theorem proving, and the use of Dynamic Predicate Logic (DPL) and extensions as a programming language.

Afterwards there will be a meeting of the LIT group with the students from the Master of Logic program. This meeting will be held at the Herengracht 182, starting at 16.00. The meeting is only accessible for LIT and/or MOL members.

For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Nov14 .