Calendar
Mon 01 June
-
Seminar, Theoretical computer science
Monday 2015-06-01, 13:00
Participating: Philipp Rümmer, Department of Information Technology, Uppsala University
Location: Room 4523 Lindstedtsvägen 5, KTH
2015-06-01T13:00:00.817+02:00 2015-06-01T13:00:00.817+02:00 Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminar, Theoretical computer science) Room 4523 Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminar, Theoretical computer science)