LABORATORY J.A. DIEUDONNE UMR CNRS-UNS N°6621

Luca Reggio

IMPORTANT! This website is not maintained. Please go to my new web page.

PhD candidate (Algebra, Topology and Geometry team)

I am a 3rd year PhD student under the supervision of Mai Gehrke. I hold a scholarship from Sorbonne Paris Cité, and I have been working on the ERC-advanced project DuaLL, which started in September 2015. I have spent my first two years of graduate studies at Université Paris 7 (at the Institut de Recherche en Informatique Fondamentale), and in September 2017 I moved to the Laboratoire J.A. Dieudonné in Nice. At the lab, we currently run a weekly seminar on "Stone duality, formal languages, and logic". NEW: In September 2018 I will defend my PhD thesis, entitled "Quantifiers and Duality". For this occasion, a Workshop of the DuaLL project will take place on September 11 at Paris-Diderot.

Upcoming events: SYSMICS Summer School (Les Diablerets, 22-26 August 2018) LATD 2018 and AIML 2018 (Bern, 27-31 August 2018) Past events: ToLo VI (Tbilisi, 2-6 July 2018) PhilMathMED: Philosophie, Histoire et Didactique des Mathématiques en Méditerranée (Montpellier, 31 May - 1 June 2018) Journées niçoises : Logique catégorique, topos et dualités (Nice, 8-12 January 2018)

Address : Laboratoire J.A. Dieudonné UMR CNRS-UNS N°6621 Université de Nice Sophia-Antipolis Parc Valrose 06108 NICE Cedex 2

Phone Number : 04 92 07 61 79 Mail : reggio [at] unice [dot] fr

Here are some of my research interests:

• Duality theory
• Logic (especially, many-valued logics, categorical logic & logic in computer science)
• Universal algebra and general topology

Here is the list of the talks I have given so far.

Submitted:

1. Codensity, profiniteness and algebras of semiring-valued measures [arXiv Preprint]
   Luca Reggio.


2. A characterisation of the category of compact Hausdorff spaces [arXiv Preprint]
   Vincenzo Marra and Luca Reggio.


3. Quantifiers on languages and codensity monads - Extended version [arXiv Preprint]
   Mai Gehrke, Daniela Petrisan and Luca Reggio.

List of publications in reverse chronological order:

4. An open mapping theorem for finitely copresented Esakia spaces [Published Paper] [arXiv Preprint]
   Sam van Gool and Luca Reggio, Topology and its Applications, Vol. 240, 2018, pp. 69-77.


5. Quantifiers on languages and codensity monads [Published Paper]
   Mai Gehrke, Daniela Petrisan and Luca Reggio.
   32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1-12, 2017.


6. Stone duality above dimension zero: Axiomatising the algebraic theory of C(X) [Published Paper] [arXiv Preprint]
   Vincenzo Marra and Luca Reggio.
   Advances in Mathematics, Vol. 307, 2017, pp. 253-287.


7. The Schutzenberger Product for Syntactic Spaces [Published Paper]
   Mai Gehrke, Daniela Petrisan and Luca Reggio.
   43rd International Colloquium on Automata, Languages, and Programming (ICALP), LIPICS Vol. 55, pp. 112:1-112:14, 2016.

Copyright @ 2010 Laboratory J.A. Dieudonné