All events

34 results found for circa
  1. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The next CIRCA lunchtime seminar will be presented by Miguel del Rio Palma and Chris Stone. Location: Theatre C of Maths  

  2. CIRCA lunchtime seminar

    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...

  3. CIRCA lunchtime seminar

    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...

  4. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The speakers will be Jordi Coll and Michael Torpey. The venue is Maths Theatre C.

  5. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Peiran Wu will give an introduction to Lean, the theorem-proving software.

  6. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The speakers will be Ruth Hoffman and Ozgur Agkun (giving a shared talk), and Peter Cameron.

  7. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    There will be short talks from Jacob Beaddie, on "General choice modelling", and from Finn Smith, on "Computing Translations of...

  8. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...

  9. CIRCA lunchtime seminar

    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

  10. CIRCA lunchtime seminar

    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...

  11. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Nik Ruskuc and Nguyen Dang will be speaking. Nik's title is 'Finite generation of subdirect products' and Nguyen's is...

  12. CIRCA lunchtime seminar

    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...

  13. CIRCA lunchtime seminar

    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...

  14. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...

  15. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  16. CIRCA lunchtime seminar

    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...

  17. CIRCA lunchtime seminar

    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...

  18. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  19. CIRCA lunchtime seminar

    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...

  20. CIRCA lunchtime seminar

    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...

  21. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  22. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Seminar

    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...

  23. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  24. CIRCA lunchtime seminar

    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...

  25. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

    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...

  26. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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....

  27. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Speaker: Jendrik Brachter (TU Darmstadt) Title: Approaching the group isomorphism problem via the Weisfeiler-Leman algorithm Abstract: The group isomorphism...

  28. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  29. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...

  30. CIRCA seminar: Peter Cameron and Richard Connor

    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...

  31. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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)...

  32. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...

  33. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

    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...

  34. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    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...