Filter
-
-
Clear allComputer science (Selected) Amnesty St Andrews 17 Arabic 21 Art History 39 Biology 46 Biomedical Sciences Research Complex 35 Business School 110 Byre Theatre 114Byre World 24 CAPOD 17 Careers 18 CEED (Centre for Educational Enhancement and Development) 19 CELPiE 21 Centre for Energy Ethics 45 Chaplaincy 88 Chemistry 47 Classics 55 Comparative Literature 18 Corporate Communications 17 Cultural Identity Studies Institute 22 Development 26 Divinity 95 Earth and Environmental Sciences 21 Economics and Finance 83 English 51 Entrepreneurship Centre 29 Equality, Diversity and Inclusion (EDI) 21 Film Studies 38 Geography and Sustainable Development 32 German 19 Global office 23 Graduate School 23 History 56 Human Resources 32 International Relations 104 IT Services 24 Italian 18 Libraries and Museums 87 Library 20 Management 62 Mathematics and Statistics 19 Medicine 24 Modern Languages 49 Museums Learning & Access Team 41 Music 85 Persian 20 Philosophy 23 Physics and Astronomy 41 Principal's office 25 Psychology and Neuroscience 39 Public Engagement with Research 17 Research & Innovation Services 18 Russian 17 Saints Sport 18 Social Anthropology 64 Spanish 17 St Leonard's Postgraduate College 21 STACEES 23 Student Services 18 Students' Association 28 The Byre Theatre 32 Transition University of St Andrews 17 University of St Andrews 46
Fully-matching results
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
CIRCA lunchtime seminar
Ian Miguel will speak on recent progress in solving Puzznic, and Colva Roney-Dougal will talk about how to count the subgroups of the symmetric group
-
Doors Open @ Computer Science
Join us to discuss ideas and opportunities to collaborate with the School
Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...
-
CIRCA lunchtime seminar
Ursula Martin and Mun See Chang will speak at this lunchtime seminar on 'The Social Machine of Mathematics'. Abstract: How does mathematics come...
-
CIRCA lunchtime seminar
The last CIRCA seminar of the semester will be on April 11th. Ian Gent and Jiaping Lu wil speak. Jiaping's title Generation of Iterated Wreath Products of...
-
CIRCA lunchtime seminar
There will be a CIRCA lunchtime seminar on 14th March at 1pm in Theatre D of Maths. Peiran Wu and Yayi Zhu will speak. Peiran's Title: Irredundant bases...
-
Limited access
IBANS --- Leap into a new collaboration!
Come and join our ECR Networking Lunch - all welcome
The Institute of Behavioural and Neural Sciences (IBANS) is hosting a networking lunch for Early Stage Researchers (PIs, Postdocs, PhD and Masters levels) on...
-
CIRCA lunchtime seminar
There will be a CIRCA lunchtime seminar on 28th March at 1pm in Theatre D of Maths. David Stewart (University of Manchester) will speak. Title: You need 27...