- When: 18th November 2011 - 19th November 2011
- Format: Workshop
The University of St Andrews is hosting a 2-day workshop on Computational Logic in honour of Roy Dyckhoff, who has retired this year.
The workshop will be held in Parliament Hall at the University of St Andrews on November 18-19, 2011, and is very generously sponsored by the SICSA Modelling and Abstraction Theme. Topics include Proof Theory, Natural Deduction, Verification, Combinatory Logic and Semantics.
More details, including the programme can be found at: http://www.lix.polytechnique.fr/~lengrand/Events/Dyckhoff/index.php?page=programme
Attendance at the workshop is free to SICSA researchers, but we do ask you to register through the web site so that we can arrange catering.