Filter
Filtered by:
Clear all filters-
-
Clear allComputer science (Selected) STACEES (Selected) Amnesty St Andrews 24 Arabic 28 Art History 47 Biology 55 Biomedical Sciences Research Complex 43 Business School 117Byre Theatre 140 Byre World 31 CAPOD 24 Careers 25 CEED (Centre for Educational Enhancement and Development) 26 CELPiE 28 Centre for Energy Ethics 45 Chaplaincy 94 Chemistry 47 Classics 62 Comparative Literature 25 Corporate Communications 24 Cultural Identity Studies Institute 29 Development 33 Divinity 102 Earth and Environmental Sciences 28 Economics and Finance 90 English 56 Entrepreneurship Centre 35 Equality, Diversity and Inclusion (EDI) 28 Film Studies 45 Geography and Sustainable Development 40 German 26 Global office 30 Graduate School 30 History 63 Human Resources 39 International Relations 109 IT Services 31 Italian 25 Libraries and Museums 94 Library 27 Management 70 Mathematics and Statistics 26 Medicine 32 Modern Languages 56 Museums Learning & Access Team 48 Music 92 Persian 27 Philosophy 31 Physics and Astronomy 48 Principal's office 33 Psychology and Neuroscience 46 Public Engagement with Research 24 Research & Innovation Services 25 Russian 24 Saints Sport 25 Social Anthropology 64 Spanish 24 St Leonard's Postgraduate College 28 Student Services 25 Students' Association 33 The Byre Theatre 40 Transition University of St Andrews 24 University of St Andrews 53
Fully-matching results
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
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
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
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...
-
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...
-
Artist in Residence: one year on
CEE's Artist-in-Residence: Rebecca Sharp
Join CEE's Artist-in-Residence, poet Rebecca Sharp, for this work-in-progress sharing event. Rebecca will be sharing some of the new poems written during...