Laboratoire
J.A. Dieudonné (LJAD)
Algèbre, Topologie
et Géométrie

ERC funded project DuaLL started September 2015.
A postdoc position is available – interested
candidates should apply by 30 April 2018. For more information
see DuaLL
Submissions to Mathematical
Logic Quarterly and the Houston
Journal of Mathematics in logic and general algebra are welcome. For
submission requirements please refer to the journal webpages: MLQ online submissions page
and HJM’s Information for
Authors, respectively.
Upcoming
events 
Noncommutative structures
2018, Portorož,
2327 May 2018
SGSLPS
Spring school, Bern,
May 28 2018
International Workshop on Topological
Methods in Logic (Tolo VI), Tbilisi
, 26 July
2018
International conference on semigroups, Lisbon, July 1114, 2018
Computability in
Europe 2018, Kiel, 30 July – 3 August 2018
AiML
2018, Bern, 2731 August 2018
Workshop on Algebra,
Logic and Topology,
Coimbra, 2729 September, 2018
Topological
and categorical methods in algebra, with Carlos Simpson,
2^{nd} trimester Master 2 course  6 ECTS
(201819 and 201920)
Recent
papers 
• Stone Duality and the Substitution principle,
with Silke Czarnetzki, Mai Gehrke, Andreas Krebs. Computer Science Logic:13:113:20 (2017)
•
Stone duality
for languages and complexity,
with Andreas Krebs. ACM SIGLOG News 4 (2), April 2017, 2953
•
Quantifiers on languages and codensity monads, with Daniela Petrisan
and Luca Reggio. To appear in LICS
2017
•
Sheaves
and duality, with Sam van Gool. Journal of Pure and Applied Logic,
online since September 2018
•
Duality
in Computer Science, Proceedings of
the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016,
New York, NY, USA, July 58, 2016, 1226
• Uniform
Birkhoff, with Michael Pinsker. Journal of Pure and Applied Algebra 222(5), 2018, 12421250
•
The Schützenberger
product for Syntactic Spaces, with Daniela Petrişan and Luca Reggio. To
appear in ICALP 2016
•
Ultrafilters on words for a
fragment of logic, with
Andreas Krebs and JeanÉric Pin. Theoretical Computer Science, Volume 610, Part A
(2016), 37–58
•
From ultrafilters on words to the expressive power of a fragment of logic, with Andreas Krebs and
JeanÉric Pin. Proceedings of the 16th International Workshop on Descriptional
Complexity of Formal Systems. Jürgensen et al (eds.), Lecture Notes in Computer Science 8614 (2014), 138−149
•
Stone duality, topological
algebra, and recognition, Journal of Pure and Applied Algebra,
Volume 220, Issue 7,
July 2016, Pages 2711–2747
• Topological
Duality and Algebraic Completions, Chapter to appear in Hiroakira Ono on Residuated Lattices and Substructural Logics, Outstanding Contributions Series
(Springer)
•
Sheaf
representations of MValgebras and latticeordered abelian
groups via duality, with Sam van Gool and
Vincenzo Marra, Journal
of Algebra 417
(2014), 290332
• A
noncommutative Priestley duality, with Andrej Bauer, Karin CvetkoVah, Sam van Gool, and Ganna Kudryatseva. Topology and its Applications 160 (12) (2013), 14231438
• Distributive
envelopes and topological duality for lattices via canonical extensions,
with Sam van Gool. Order 31,
Issue 3,
435461, see http://dx.doi.org/10.1007/s1108301393117
•
Canonical
extensions, Esakia spaces, and universal models,
Chapter in Leo
Esakia on duality in modal and intuitionistic logics,
Trends in Logic (Outstanding Contributions subseries) 4 (2014), 941
•
Relational
semantics for full linear logic, with Dion Coumans
and Lorijn van Rooijen. Journal of Applied Logic 12 (1), March 2014, 5066, http://dx.doi.org/10.1016/j.jal.2013.07.005.
Links 
·
DuaLL, ERC project (20152020)
Students 
(PhD)
Axel Osmond (since 2017; jointly
supervised with PaulAndré Melliès)
Mehdi Zaïdi (since 2017)
Luca
Reggio (since 2015)
Anna
Carla Russo (cotutelle with Antonio Di Nola,
cosupervised with Olivia Caramello)
Rutger Kuyper (codirector with Peter Stevenhagen,
main adviser Sebastiaan
Terwijn)
Candida Palma (dissertation)
(Master)
Axel Osmond (2017)
Zaïdi Mehdi (thesis 2016)
Lorijn van Rooijen (paper with
Anna Chernilovskaya)
Mirte Dekkers (thesis)
Julie Manisha de Montgomery Nørgaard
Past
events 
TANCL’07 –
Algebraic and Topological Methods in NonClassical Logics III and its
associated workshops, Oxford, 412 August. Pictures from the workshops by Juergen Koslowski: group, other.
Arbeitstagung Allgemeine Algebra
– Lecture on Canonical extensions, duality theory, and Formal Concept Analysis,
November 24, 2007, TU Darmstadt, Germany.
Second Indian Winter
School on Logic – Course on Algebraic Logic, January 1426, 2008, IIT
Kanpur, India.
LINZ 2008,
Foundations of LatticeValued Mathematics with Applications to Algebra and
Topology – Lecture, 1216 February, 2008, Linz,
Austria.
DIAMANT/EIDMA
Symposium – Lecture, 2930 May, 2008, Leiden, the
Netherlands.
ManyVal'08, Applications of topological
dualities to measure theory in algebraic manyvalued logic – Lecture, May
1921, 2008, Milano, Italy.
E.W.Beth
Centenary Minisymposium on Mathematical Logic,
5th European Congress of Mathematics (5ECM), Lecture: Duality
theory as a Rosetta Stone for relational semantics, July 15, Amsterdam,
Netherland.
Visiting
Professorship, PPS, Université
de Paris Diderot – Paris 7, July 2008.
BLAST 2008, Lecture: Duality for MValgebras, 610 August, 2008, Boulder, Colorado.
Sheaves in Geometry and Quantum Theory,
a threeday workshop on the interplay between logic, topology/geometry and
quantum theory, 35 September 2008.
AiML 2008,
Advances in Modal Logic, Lecture: Using duality
theory to export methods from modal logic, 912 September, Nancy, France.
Duality between two
worlds, invited talk, Parallelle
Werelden, Muziekgebouw aan 't IJ in Amsterdam, NL, 8 December 2008.
Workshop on Algebraic Logic
ICLA 2009, Program Committee, January 711 2009.
Algebra and Geometry
Seminar, An overview of canonical
extensions of lattices,
Laboratoire de Mathematiques
Nicolas Oresme, Caen, France, January 27 2009.
Duality,
Oratie, Radboud Universiteit, Nijmgen, NL, March
12 2009.
Leiden
Mathematics Colloquium, Duality as a
Rosetta Stone, Leiden University, Leiden, NL, April 2, 2009.
Van Melsen Prijs, Opening of
ceremony, FNWI, Radboud Universiteit,
Nijmegen, NL, April 3, 2009.
Semantics Colloquium, Relational semantics for substructural
logic, Nijmegen Center for Semantics, Radboud Universiteit, Nijmegen, NL, May 12, 2009.
Mathematical
Logic in the Netherlands 2009 (MLNL09), Organiser, Radboud Universiteit, Nijmegen, NL, May 2526 2009.
AAA78, Arbeitstagung
Allgemeine Algebra 78, Advances in topological
duality theory, Bern, Switzerland, June 1114, 2009.
Topology, Algebra, and Categories in
Logics 2009 (TACL), Program Committee, Amsterdam, NL, July 711 2009.
Seventh Panhellenic Logic Symposium
(PLS7), Invited talk, Patras, Greece, July 1519
2009.
Conference on Algebra
and Coalgebra in Computer Science 2009 (CALCO), Invited talk, Udine, Italy September 610 2009.
8^{th} International Tbilisi
Symposium on Language, Logic, and Computation, Tutorial on Logic, Tbilisi,
Georgia, September 2125, 2009.
Dagstuhl Seminar, Coalgebraic
Logics, Schloss Dagstuhl,
Germany, December 69, 2009.
MLNL 2010, 2728 May
2010, Utrecht
DIAMANT/EIDMA
Symposium Spring 2010, 2728 May 2010, Nunspeet
Séminaire Complexité, Logique
et Informatique, Groupe de Logique, 1 june, Paris
Séminaire de l’institut GaspardMonge,
22 juin, MarnelaVallée
ICALP 2010, July 510, 2010, Bordeaux
Tbilisi Topology Workshop 2010, June
810, 2010, Tbilisi
Logic Colloquium 2010, July 2531, Paris
Categorical
information flow in quantum physics and linguistics, 2931 October 2010, CompLab, Oxford
Logique,
catégories, sémantique,
1213 November 2010, Bordeaux
DIAMANT/EIDMA
Symposium, 2526 November 2010, Lunteren
Workshop on Modal Logic and Stone
Duality, 13 December 2010, ILLC, Amsterdam
PhDs in Logic III, 1718
February 2011, Brussels
Workshop on Universal models,
24 February 2011, Amsterdam
Mathematics
Colloquium, Kortewegde Vries
Institute, UvA, 20 April 2011, Amsterdam
Mathematical Logic in the Netherlands
2011 (MLNL11), Rijksuniversiteit Groningen,
Groningen, NL, May 1920 2011.
European
Women in Mathematics Summer School, 610 June 2011, Leiden
Second International Conference in Order,
Algebra and Logics, 6  10 June 2011, Krakow
Topology, Algebra, and
Categories in Logic (TACL 2011), 2530 July, Marseille
36th International Symposium on Mathematical
Foundations of Computer Science (MFCS 2011), 2226 August 2011, Warsaw
Ordered Groups and Lattices in Algebraic Logic,
2023 September 2011, Tbilisi
Concept Lattices and their Applications,
1721 October 2011, Nancy
ALCOP 2012, 1618 April
2012, Prague
DIAMANT
Symposium, 31 May1 June 2012, Nunspeet
FREC
meeting, 47 June 2012, Bordeaux
Duality theory in algebra,
logic, and computer science, June 1314 and
August 1517, 2012, Oxford
Coalgebraic
Logics, 712 October 2012, Dagstuhl
CUSO Winter School in Mathematics
and Computer Science: Proof and Computation, 2731 January 2013, Les Diablerets
Journées
Topologie et Informatique/Topology
and Informatics days, 2122 March 2013, Paris
PhDs in Logic V, 810
April 2013, München
ALCOP 2013, April 1820 2013, Utrecht
A scientific meeting
in honor of Antonino Salibra,
July 12 2013, Paris
Duality in
Computer Science, 29 July 2 August 2013, Dagstuhl
Boolean algebras,
Lattices, Algebraic Logic, Set Theory, and Topology (BLAST 2013), August
59 2013, Chapman University, Orange
Master 2 –
LMFI – cours: Théorie de la dualité en logique et informatique\Duality
theory in logic and informatics, Winter 2014
Workshops on
Duality and Probabilistic Systems (Belairs
Research Center, McGill University), Holetown,
Barbados, March 2014
Frontiers
of Recognizability, Centre International de Rencontres Mathématiques (CIRM),
2830 April 2014
Séminaire "Des Mathématiques",
2 avril, ENS Ulm, Paris
AAA88 Workshop on General Algebra,
Warsaw, 1922 June 2014
TOLO4 International Workshop on Topological
Methods in Logic IV, Tbilisi, 2327 June 2014
AiML 2014 Advances in Modal
Logic, Groningen, August 58 2014
SLS2014 Scandinavian Logic Symposium,
Tampere, 2527 August 2014
Domains
XI, 810 September 2014, Paris
BEYOND 2014, Florence, 35 December 2014
Master 2 –
LMFI – cours: Théorie de la dualité en logique et informatique\Duality
theory in logic and informatics, Winter 2015
FSMP funded Research
visit of Achim
Jung, LIAFA, Paris, 2 months in MarchMai 2015
Descriptive
Set Theory Seminar, Théorie de EilenbergReiterman
et dualité de Stone, Paris 6, 24 March 2015
Visit, Logic
group, University of Milan, 31 May 6 June 2015
Member of
CoNRS section 41
lead by the National Institute of
Mathematical sciences and their interactions (INSMI), 20122015
TACL 2015, Ischia, 2126 June 2015
Duality in
Computer Science, Dagstuhl seminar, 2530 October
2015
Logic, Algebra and Truth Degrees 2016, Phalaborwa, South Africa, 2830 June 2016
LICS 2016, New York
City, NEW York, 59 July 2016
Logic Colloquium,
Berkeley, November 4, 2016
Logical Structures in
Computation, Simon’s Institute, UC Berkeley, 17 August – 16 December, 2016
37^{th}
Linz Seminar on Fuzzy Set Theory: Enriched category theory and related topics,
Linz Austria, February 710, 2017
Mathematics Colloquium, University College Cork,
February 16, 2017
Topology,
Algebra, and Categories in Logic 2017, Prague, June 2630, 2017
Logic
Colloquium ’17, Stockholm, August 1420, 2017
CSL
2017, Stockholm, August 2024, 2017
Logical Structures
in Computation Reunion Workshop, Simons Institute, Berkeley, 1114 December
2017
Journée
Niçoises : Logique catégorique, topos et dualités, Laboratoire J.A.
Dieudonné, Nice, 812 January 2018

·
Pictures of my kids
·
My
favourite mathematician (by the Wiskundemeisjes)