IDA Calendar of Events
NWERC is an official regional contest in the ACM International Collgiate Programming Contest. It draws students from colleges and universities throughout Belgium, Luxembourg, Great Britain, Ireland, Iceland, Norway, Sweden, Finland Denmark, Germany and the Netherlands. The winning teams will advance to the ACM Programming Contest World Finals.
Location: IDA, Campus Valla
See http://nwerc.eu/ for further information or contact Fredrik Heintz, email firstname.lastname@example.org, phone 013-282428.
Vladislavs Jahundovics, TCSLAB/CUGS, IDA, presents his licentiate thesis "Automatic Verification of Parameterized Systems by Over-Approximation". Main Supervisor: Professor Ulf Nilsson. Opponent: Docent Cristina Seceleanu, Mälardalen University
Location: Alan Turing, building E, Campus Valla
See http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-121776 for further information or contact Anne Moe, email email@example.com, phone 013-281460.
Page responsible: Webmaster