LHC days

LHC is a French workgroup about logic, homotopy and categories. The seventh edition of the LHC days will take place on Wednesday 17 and Thursday 18 June 2026 at LMF laboratory of Université Paris Saclay in Palaiseau.

It will be followed, on Friday 19 June 2026, by a colloquium in memoriam of Gilles Dowek.

Registration

Please use this form in order to register. Submitting talks is not possible anymore unfortunately.

The deadline for registering is 30 May 2026.

Practical details

The conference will take place at LMF laboratory of Université Paris Saclay in Palaiseau:

In order to come from Paris, you should take RER B train line (see RATP for schedules), stop at Le Guichet and take the bus 4609 until Moulon stop. The travel takes roughly 45 minutes from Paris. You can have a look at the RATP website to schedule your trip, the schedule of the RER B train or the current status of the RER B.

A lunch buffet should be provided to registered participants.

Invited speakers

Program

We provide an icalendar for the program.

Planning is still preliminary and subject to changes.

Wednesday 17 June 2026

09:30Welcome coffee
09:55
10:20
10:45Break
11:15
11:40
12:05
12:30Lunch
14:00Félix Loubaton
Double Toposes
15:00
15:25
15:50Break
16:20
16:45
17:10
17:35End of the day, beginning of the night

Thursday 18 June 2026

09:00
09:25
09:50
10:15
10:45
11:10
11:35
12:00
12:25Lunch
14:00Sophie d’Espalungue
15:00
15:25
15:50Break
16:20
16:45
17:10
17:35End of the days

Abstracts

Félix Loubaton (CNRS, amU)
Double Toposes

One perspective on (Grothendieck) toposes is to view them as a place where we can perform a “set-like” theory. The question of identifying place to do a “category-like” theory then arises naturally. (One of the) answer is provided by the notion of double topos. After a brief introduction recalling the definition of toposes, we will define double categories and present some of their properties. Finally, we will introduce double toposes and state a double categorical Giraud theorem. This results are part of a work in progress in collaboration with Jaco Ruit.

Sophie d’Espalungue (IRIF)
TBA

Participants

The list is still being updated…

  1. Arthur Adjedj (ENS Paris-Saclay, Université Paris-Saclay)
  2. Augustin Albert (LIX)
  3. Quentin Aristote (IRIF, Université Paris-Cité)
  4. Yoann Barszezak (IRIF)
  5. Thibaut Benjamin (Université Paris-Saclay)
  6. Manuel Catz (IRIF)
  7. Yorgo Chamoun (LIX, École polytechnique)
  8. El Mehdi Cherradi (IRIF, CNRS)
  9. Simon Corbard (ENS Paris Saclay)
  10. Ishan Dasgupta Samarendra (University of Cambridge)
  11. Rashiqa Dawood (Université Sorbonne Paris Nord )
  12. Arturo De Faveri (IRIF, Université Paris Cité)
  13. Bruno Drieux (Grothendieck Institute, École Polytechnique)
  14. Jérémy Dubut (LIX)
  15. Thomas Ehrhard (IRIF CNRS)
  16. Simon FOREST (LORIA)
  17. Uli Fahrenberg (LMF)
  18. Jonas Frey (LIPN - USPN)
  19. Jean Goubault-Larrecq (LMF)
  20. Elies Harington (University of Nottingham)
  21. Elies Harington (University of Nottingham)
  22. Simon Henry (University of Ottawa)
  23. Victor Iwaniack (Université Aix-Marseille)
  24. Maxime Joubert (École polytechnique, LIX)
  25. Robin Jourde (Université Savoie Mont Blanc)
  26. Moana Jubert (Université Paris-Cité)
  27. Jad Koleilat (LIPN)
  28. Yves Lafont (Institut de Mathématiques de Marseille)
  29. Ambroise Lafont (Ecole Polytechnique)
  30. François Lamarche (INRIA (retired))
  31. Thomas Laure (LIPN )
  32. Sacha Le Hir Mazé (École polytechnique )
  33. Serge Lechenne (ENS ULM)
  34. Louise Leclerc (LIX, Polytechnique)
  35. Jérémy Ledent (IRIF, Université Paris Cité)
  36. Meven Lennon-Bertrand (INRIA – IRIF, Université Paris Cité)
  37. Elsa Lubek (IRIF)
  38. Luidnel Maignan (LACL / Université Paris-Est Créteil)
  39. Paul-André Melliès (CNRS)
  40. Samuel Mimram (École polytechnique)
  41. François Métayer (IRIF)
  42. Niyousha Najmaei (LIX, École Polytechnique )
  43. Thomas Perez (INRIA Saclay)
  44. Vincent Peth (ENS PSL)
  45. Alexis Pocquet (Institut Polytechnique de Paris)
  46. Stiéphen Pradal (University of Nottingham)
  47. Antoine Spicher (LACL - Université Paris Est Créteil)
  48. Lutz Straßburger (Inria & LIX)
  49. Lionel Vaux Auclair (I2M, Aix Marseille)
  50. Aymeric Walch (ISAE-SUPAERO)
  51. Jonathan Weinberger (Chapman University)
  52. Théo Winterhalter (LMF, INRIA Saclay)
  53. Noam Zeilberger (Ecole Polytechnique)
  54. Sam van Gool (LMF, ENS Paris-Saclay)

Related events

Contacts

In case of any question you can contact the organizers

Support