Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Speaker: Juan Heguiabehere
Title: Building logic toolboxes
Date: Friday 14 November 2003
Time: 13:30
Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.