PhD. thesis defense
PhD. thesis defense Person/Speaker: Yingqian Zhang
Place: The University of Manchester, UKOn 28th November, our colleague Yingqian Zhang will defend her PhD. thesis at School of Computer Science of The University of Manchester. Although she probably won't need it anyway (Yingqian did a great on job on her thesis) we wish her a good luck.-Yingqian Zhang-
CIG meeting Person/Speaker: Wojtek Jamroga
Place: Am Regenbogen 15, CLZDuring our regular CIG meeting Wojtek started to present some results on model checking of ATL formulas for agents with incomplete information and imperfect memory (w.r.t history). A good discussion resulted from this trigger...