categories - Category Theory list
 help / color / mirror / Atom feed
* GeoCat workshop -- Sunday 5 and Monday 6 July
@ 2020-07-04 11:54 Paul-Andre Mellies
  0 siblings, 0 replies; only message in thread
From: Paul-Andre Mellies @ 2020-07-04 11:54 UTC (permalink / raw)
  To: categories


Dear friends and colleagues,

This is a reminder that the GeoCat workshop will start online tomorrow and take place on Sunday 5 and Monday 6 July.

The purpose of the GeoCat workshop is to provide an open and interdisciplinary venue where mathematicians, logicians and computer scientists interested in category theory, algebraic topology and higher structures can freely meet and interact. The ambition of the workshop is to establish and nourish a fruitful dialogue between the foundational and categorical aspects of topology and geometry on the one hand, and of computation and deduction on the other hand.

We are very happy with the scientific program of the workshop, which will offer us the opportunity to listen to eight invited speakers:

Denis-Charles Cisinski (Universität Regensburg)
Andrea Gagna (Charles University)
Amar Hadzihasanovic (Université de Paris)
Yuki Maehara (Macquarie University)
Philippe Malbos (Université Claude Bernard)
Simona Paoli (University of Leicester)
Sophie Raynor (Macquarie University)
Martina Rovelli (Australian National University)

The workshop is free and online and you are thus all welcome to join and take an active part to it. You will find more on the event here:
https://www.irif.fr/~geocat

Note that in order to have access to the talks, you will first need to register here:
https://fscd2020.org/register-ws

Many thanks, we are looking forward to meeting you online very soon!

Christine and Paul-André

ps: please do not hesitate to contact us if you have any difficulty to register and access the workshop online.

==================================

Program of the GeoCat workshop 

Sunday 5 July

9:30am -- 11am  (Paris time)
Yuki Maehara (Macquarie University)
A cubical model for weak ω-categories

11:30am -- 1pm (Paris time)
Simona Paoli (University of Leicester)
Stable homotopy hypothesis in the Tamsamani model

2pm -- 3:30pm (Paris time)
Denis-Charles Cisinski (Universität Regensburg)
Universal coCartesian fibrations

4pm -- 5:30pm (Paris time)
Amar Hadzihasanovic (Université de Paris)
Diagrammatic sets and rewriting in weak higher categories

Monday 6 July 

9:30am -- 11am (Paris time)
Sophie Raynor (Macquarie University)
A distributive law for modular operads

11:30am -- 1pm (Paris time)
Philippe Malbos (Université Claude Bernard)
Variations on linear rewriting

2pm -- 3:30pm (Paris time)
Andrea Gagna (Charles University)
Equivalence of models for (∞, 2)-categories

4pm -- 5:30pm (Paris time)
Martina Rovelli (Australian National University)
Globular vs simplicial approach to (∞,2)-categories

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2020-07-04 11:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-04 11:54 GeoCat workshop -- Sunday 5 and Monday 6 July Paul-Andre Mellies

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).