Hide menu

IDA Calendar of Events

2015-11-28 09:00 -- 2015-11-29 17:00

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 fredrik.heintz@liu.se, phone 013-282428.

Vladislavs Jahundovics' licentiate presentation

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 anne.moe@liu.se, phone 013-281460.

Page responsible: Webmaster