All events
Fully-matching results
-
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 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...
-
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...
-
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...
-
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...
-
CIRCA lunchtime seminar
The speakers will be Jordi Coll and Michael Torpey. The venue is Maths Theatre C.
-
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
Duncan Adamson will present Colouring Temporal Graphs. Abstract: Temporal graphs are a generalisation of (static) graphs, representing networks that change over...
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
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
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) 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...
-
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...
-
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...
-
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...
-
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
-
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) seminar
Chris Brown and Rosemary Bailey will speak at this CIRCA lunchtime seminar. Chris' Title: East of Eden: Parallel Functional Programming in Idris...
-
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...
-
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...
-
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...
-
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 lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
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...
-
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...
-
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 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
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...
-
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...
-
CIRCA lunchtime seminar
Speaker: Jendrik Brachter (TU Darmstadt) Title: Approaching the group isomorphism problem via the Weisfeiler-Leman algorithm Abstract: The group isomorphism...
-
CIRCA lunchtime seminar
Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...
-
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...
