Video Portal
Login
Toggle navigation
Home
Lectures
Faculties & Schools
Help
Home
Faculties and Schools
School of Engineering
Home
Library and Cultural Institutions
Jodrell Bank Discovery Centre
Manchester Museum
The University of Manchester Library
Whitworth Art Gallery
Faculty of Biology, Medicine and Health
School of Biological Sciences
School of Health Sciences
School of Medical Sciences
Faculty of Humanities
Manchester Business School
School of Arts, Languages and Cultures
School of Environment, Education and Development
School of Social Sciences
Faculty of Science and Engineering
School of Engineering
School of Natural Sciences
Professional Services
Directorate of Estates and Facilities
Directorate of People and Organisational Development
Directorate for the Student Experience
Communications, Media and Public Relations
IT Services Division
Ad-hoc Recordings
Student Upload
Ad-hoc Recordings
Ad hoc Recordings
OPTO20100 2023/24
ECON80150 - Advanced Topics in Microeconomics 15 credit 2023/24
SOST20051 - Global Market Research 2023/24
MEST10911 - Travel and Migration in Arab Cinema 2023/24
School of Engineering
IT Services Division
COMP40901 2023/24
Follow
@UoMpodcast
for service updates and information.
School of Engineering
ESBMC-Python: A Formal Verification Tool for Checking Python Programs
Lucas Cordeiro –
Wed Feb 14 21:26:00 GMT 2024
10 per page
25 per page
50 per page
View All
25 per Page
Home
Library and Cultural Institutions
Jodrell Bank Discovery Centre
Manchester Museum
The University of Manchester Library
Whitworth Art Gallery
Faculty of Biology, Medicine and Health
School of Biological Sciences
School of Health Sciences
School of Medical Sciences
Faculty of Humanities
Manchester Business School
School of Arts, Languages and Cultures
School of Environment, Education and Development
School of Social Sciences
Faculty of Science and Engineering
School of Engineering
School of Natural Sciences
Professional Services
Directorate of Estates and Facilities
Directorate of People and Organisational Development
Directorate for the Student Experience
Communications, Media and Public Relations
IT Services Division
Ad-hoc Recordings
Student Upload
Ad-hoc Recordings
Ad hoc Recordings
OPTO20100 2023/24
ECON80150 - Advanced Topics in Microeconomics 15 credit 2023/24
SOST20051 - Global Market Research 2023/24
MEST10911 - Travel and Migration in Arab Cinema 2023/24
School of Engineering
IT Services Division
COMP40901 2023/24
Follow
@UoMpodcast
for service updates and information.
