skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Undergraduate courses
Applying
Events and open days
Fees and finance
Postgraduate
Postgraduate courses
How to apply
Postgraduate events
Fees and funding
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
Term dates and calendars
History
Map
Visiting the University
Annual reports
Equality and diversity
News
A global university
Events
Public engagement
Jobs
Give to Cambridge
Research at Cambridge
For staff
For Cambridge students
For alumni
For our researchers
Business and enterprise
Colleges & departments
Email & phone search
Give to Cambridge
Libraries
Museums & collections
Home
The department
Seminars
Department of Computer Science and Technology
Log in with Raven
Seminars
25
Apr
Title to be confirmed
27
Apr
Formalising modular forms, Eisenstein series and the statement of the modularity conjecture in Lean
02
May
Using consumer wearables for clinical decision making
04
May
TBC
05
May
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
09
May
Title to be confirmed
09
May
Towards regulatory acceptance of digital outcome measures in clinical trials of Parkinson’s Disease
11
May
Formalization of diagram chasing as a first-order logic in Coq
16
May
The Digital Physiome: Wearables for Early Disease Detection
18
May
Title to be confirmed
1
2
next
View all seminars
