All events
Filter
Fully-matching results
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Iryna Raievska and Maryna Raievska
Iryna Raievska and Maryna Raievska, Institute of Mathematics of NAS of Ukraine, Kyiv, Ukraine, will present Local nearrings and GAP package LocalNR (Part 2)...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Adam Barwell will present Through Misfortune or Carelessness: Reassuring Reliability Through Repetition Abstract: Computers that communicate with each other are...
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
András Salamon will present The Slowest Sloth is Busy Beaver's Friend. Abstract: I'll discuss recent work on variants of the Slowest Sloth function...
-
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...
-
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
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...
-
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...
