Warwickshire, UK

Stream: Geographic locality

[Luca Seemungal]

I'd normally be in Warwickshire based at the University of Warwick but due to the pandemic, I'm currently in London

[Gareth Ma]

Are there any other Warwick people? I am studying at University of Warwick right now.

[Johan Commelin]

@Damiano Testa is/was at Warwick.

[Damiano Testa]

Hi, I still am at Warwick, although I've not been very active on zulip lately, since

• I've been preparing to teach a Lean-based module next academic year (hopefully this time it will run!)
• on the university computers, I cannot install Lean4, due to old glibc on the departmental machines.

[Johan Commelin]

From the eager-gen mailing list:

Dear colleagues,

We are organizing a small workshop on Computational Algebraic
Geometry, 27-31 March 2023, at the University of Warwick, United
Kingdom:
https://sites.google.com/view/warwickcompalggeom/home

The purpose of the workshop is to bring together researchers working
with computational algebraic geometry software, including Macaulay2
and Oscar among others, to discuss common problems and work on
common projects. Everybody is welcome regardless of their experience.

If you are interested in attending, please fill in the registration form:
https://forms.gle/NqZdSRb5UdnKty9LA

Best,
Alexander Kasprzyk, Diane Maclagan, and Yue Ren.

Might be relevant/interesting to some Leaners.