Skip to main content

Schools & departments
MyEd

LFCS Laboratory for Foundations of Computer Science

Subsite menu

Home
About us
People
People
Research
Research
Study with us
Study with us
Events
Events
News
News

Subsite mobile menu

Home
About us
People
Research
Study with us
Events
News

Breadcrumb

Home
School of Informatics
LFCS
LFCS Seminar Tuesday 25th February: Gil Hur

LFCS Seminar Tuesday 25th February: Gil Hur

Title: CRIS: The power of imagination in specification and verification

Abstract: TBD

Feb 25 2025 16.10 - 17.00

LFCS Seminar Tuesday 25th February: Gil Hur

Gil Hur
Seoul National University
https://sf.snu.ac.kr/gil.hur/

G.03, Informatics Forum

The University of Edinburgh

Terms & conditions
Privacy & cookies
Complaints procedure
Modern slavery

Website accessibility
Freedom of information publication scheme
Data protection / Records Management

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2025.

User account menu

CMS login