Speaker: Guillaume Aucher (IRISA/INRIA)
Title: DEL-sequents for progression, regression and epistemic planning
Date:
Time:
15:30
- 17:30
Location: Science Park, G0.05
For more information, see http://www.illc.uva.nl/lgc/seminar