Category Theory
Zulip Server
Archive

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.


Stream: community: general

Topic: Geometry of computation workshop, 2006


view this post on Zulip Sofia B (Feb 23 2026 at 01:29):

The announcement of this workshop is here, https://lists.seas.upenn.edu/pipermail/types-list/2005/000857.html, however all the links seem dead. I am curious if there is any remaining documentation of the conference (program, list of attendees, etc), or if there is a successor to this conference in spirit/theme. The title (geometry of computation) sounds interesting enough for me to want to dig more into this, and there is at least one file of a presentation/notes that I've come across that seems to originate here (I cannot find it today for some reason)

view this post on Zulip Valeria de Paiva (Feb 23 2026 at 03:27):

Hi Sofia, did you try the wayback machine? I found this for example https://web.archive.org/web/20051014035810/http://iml.univ-mrs.fr/geocal06/

view this post on Zulip Damiano Mazza (Feb 23 2026 at 10:06):

Geocal06 was epic! As a PhD student in Luminy, I lived in student housing on campus back then, so I was able to attend the whole 5 weeks. I have great memories of it :slight_smile:

A couple of years ago I found a CD on a dusty book shelf in my department which might have contained some material (like the abstracts of the talks and such). I'll see if I can find it again, but I do not guarantee anything because we are currently undergoing a major move and stuff like that is very likely to have been thrown away during clean-up and packing.

In any case, if you don't see what you're looking for on the website found by Valeria, I encourage you to contact Laurent Regnier, my former PhD advisor and one of the main organizers of Geocal06. He might still have written material from the workshops.

So far there have been two follow-ups, called "Logic and Interactions", organized in the same place and with roughly the same format:

Both very nice events but in my opinion none of them of the caliber of Geocal06.

view this post on Zulip Damiano Mazza (Feb 23 2026 at 10:09):

@John Baez gave a long series of talks on "Diagrammatic Reasoning", he might also have some material from Geocal06 (maybe that same CD I found was given to all participants, I don't remember).

view this post on Zulip David Corfield (Feb 23 2026 at 14:52):

John reported on Geocal06 in TWF227.

view this post on Zulip Valeria de Paiva (Feb 23 2026 at 15:14):

hi @Damiano Mazza nice to hear that you've enjoyed it so much! I did not know about the existence of the CD. it would be nice if one could get the CD digitalized for people who ask for it

view this post on Zulip Damiano Mazza (Feb 23 2026 at 15:49):

I think it was a CD, I have a memory of what looked like a CD case with a group picture of the Geocal06 participants on it. I am 100% sure about the picture because I remember joking about it with one of my (now former) PhD students, asking him to try and find me in it :smile: Whether the CD is real or a fabricated memory, I am less sure, but I'll look for it tomorrow!

view this post on Zulip Damiano Mazza (Feb 24 2026 at 20:00):

I can confirm that the CD (if it ever existed) is gone :pensive: All shelves have been emptied, we're supposed to move this Monday!