All events
Filter
Fully-matching results
-
CIRCA lunchtime seminar
The last CIRCA lunchtime seminar of term. This will be in Theatre D of Maths. Colva will speak on "The base size of a primitive group" (her current...
-
CIRCA lunchtime seminar
The next CIRCA lunchtime seminar will be presented by Miguel del Rio Palma and Chris Stone. Location: Theatre C of Maths
-
CIRCA lunchtime seminar
The next CIRCA lunchtime seminar will be in Theatre A of Maths. Steve Linton will be speaking on: Covering Codes, Gray Codes and Multiplying Matrices Sophie...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar on Thursday 10th October at 1pm in Physics Lecture...
-
CIRCA lunchtime seminar
The speakers will be Jordi Coll and Michael Torpey. The venue is Maths Theatre C.
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
CIRCA lunchtime seminar
The speakers will be Ruth Hoffman and Ozgur Agkun (giving a shared talk), and Peter Cameron.
-
CIRCA lunchtime seminar
There will be short talks from Jacob Beaddie, on "General choice modelling", and from Finn Smith, on "Computing Translations of...
-
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
-
CIRCA lunchtime seminar
There will be two short talks. Ian Gent will speak on "A Dream Model for Black Hole" Murray Whyte will speak on "Irredundant monoid...
-
CIRCA lunchtime seminar
Nik Ruskuc and Nguyen Dang will be speaking. Nik's title is 'Finite generation of subdirect products' and Nguyen's is...
-
CIRCA lunchtime seminar
Ozgur Akgun and Saul Freedman will each give a 25 minute talk. Oz's title is "Conjure meets Jupyter Notebooks" and Saul's is...
-
CIRCA lunchtime seminar
Alan Logan and Ruth Hoffman will each give a 25 minute talk. Ruth's talk title is 'Understanding how people approach constraint modelling and...
-
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
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...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar on Thursday 31st October at 1pm in Physics Lecture...
-
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
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 speaker is Jim Davis, who is visiting from the University of Richmond. Title: GAP and difference sets Abstract: The computer program GAP has played an...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a CIRCA lunchtime seminar on Thursday 13th March at 1pm in Maths Lecture Theatre B. Mun See Chang and Jiaping Lu will speak. Mun See's...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar on Thursday 14th November at 1pm in Maths Lecture...
-
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...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a CIRCA lunchtime seminar on Thursday 20th February at 1pm in Maths Lecture Theatre B. Simon Dobson and Colva Roney-Dougal will speak....
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar on Thursday 28th November at 1pm in Maths Lecture...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a CIRCA lunchtime seminar on Thursday 6th February at 1pm in Maths Lecture Theatre B. Chris Brown and Francis Clavette (Université de Montréal)...
-
CIRCA seminar: Peter Cameron and Richard Connor
Peter Cameron (School of Mathematics and Statistics) and Richard Connor (School of Computer Science) will speak at this CIRCA seminar, presenting on 'When...
-
CIRCA lunchtime seminar
Speaker: Jendrik Brachter (TU Darmstadt) Title: Approaching the group isomorphism problem via the Weisfeiler-Leman algorithm Abstract: The group isomorphism...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a CIRCA lunchtime seminar on Thursday 27th March at 1pm in Maths Lecture Theatre B. Ben Claydon and Joe Edwards will speak. Ben's...
-
Settlement and society in Argyll and the southern Hebrides, circa 800BC to circa AD1300
Dr Russell Ó Ríagáin, Leverhulme Early Career Fellow in the School of History, takes a settlement-based approach to the social processes at work in mid-west...
-
CIRCA lunchtime seminar
Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...
-
Inaugural Lecture by Professor Ian Johnson
In 1457, Reginald Pecock, Bishop of Chichester who was born circa 1390 and died around 1460, in the very act of trying to teach orthodox doctrine to the laity...
-
Perceptions of Illegitimate Violence in Intercultural Wars in German East Africa (circa 1884 to 1914)
Tanja Bührer's lecture explores what was considered legitimate and illegitimate violence in intercultural wars in the colonial realm during the fin de...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar
There will be a CIRCA lunchtime seminar on Thursday 10th April at 1pm in Maths Lecture Theatre B. Duncan Adamson and Callum Barber will speak. Duncan's...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Seminar
Kamil Zabielski will speak at this CIRCA lunchtime seminar with a presentation titled 'On properties of anti-associative groupoids'. During the...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Ruth Hoffmann and Rick Thomas will speak at this CIRCA lunchtime seminar. Ruth's Title: Modelling Fitness Landscapes Ruth's Abstract: Fitness...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Chris Brown and Rosemary Bailey will speak at this CIRCA lunchtime seminar. Chris' Title: East of Eden: Parallel Functional Programming in Idris...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Ozgur Akgun and Colva Roney-Dougal will speak at this CIRCA lunchtime seminar. Oz's Title: Modelling and solving BIBDs with Conjure Oz's...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Hongyi Huang from the Southern University of Science and Technology, China, will speak. Title: Groups, permutations and bases Abstract: The notion of a base for...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Edwin Brady will present Efficient Type-checking of a Dependently Typed Programming Language Abstract: Idris is a dependently typed programming language, which...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Duncan Adamson will present Colouring Temporal Graphs. Abstract: Temporal graphs are a generalisation of (static) graphs, representing networks that change over...
