You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Johan Commelin (Aug 11 2022 at 14:51):Dear all,
We're excited to announce the workshop "Formalization of cohomology theories", taking place May 21 - 26, 2023 at the Juniper hotel in Banff, Canada, hosted by BIRS.
The workshop webpage is available at this URL: https://www.birs.ca/events/2023/5-day-workshops/23w5124
Mathematicians and computer scientists have been collaborating for years to build libraries of mathematical definitions and proofs that can be understood and checked by computers. These formalization efforts have now progressed to cover a substantial portion of an undergraduate and graduate-level mathematics education, with the aspiration to one day include all the ingredients that a modern mathematician needs for their research.
Homology and cohomology are two related sets of theories that are essential to several branches of modern mathematics including algebraic geometry, algebraic topology, etc. The first formalizations of (co)homology have recently been completed, and the time is ripe to add the full spectrum of (co)homology theories to the formal libraries. This workshop aims to bring together experts in formalization and experts in various mathematical areas to advance the state of formalization closer to the leading edge of mathematical research.
This workshop will follow a hybrid format. While in-person participation will be limited and by invitation only, we expect to have a large number of slots available for online participation as well.
If you have any questions, or would like to express your interest in participating in this workshop, please contact one of the organizers. See also: https://www.birs.ca/participants/potential-participants/
Organizers: A. Baanen, M. Ballard, J. Commelin, H. Macbeth and and A. Topaz.