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

ERC funded project DuaLL running
September 2015 to end of August 2021.
A postdoc position is available – interested
candidates should apply. 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 
Symbolic reasoning
and formal logics, with Carlos Simpson, 2^{nd}
trimester Master 2 course MathInfo UCA  6 ECTS (201920)
99th Arbeitstagung
Allgemeine Algebra, invited speaker, 2123 February 2020,
Siena
Resources and
coresources workshop, 2527 March,
Cambridge
15th Workshop on Coalgebraic Methods
in Computer Science (CMCS 2020), 2526 April, Dublin
47th International Colloquium on Automata,
Languages, and Programming (ICALP), PC member, 812 July 2020, Beijing
18th
Relational and Algebraic Methods in Computer Science (RAMICS), PC member,
811 April 2020, Palaiseau
19th
Relational and Algebraic Methods in Computer Science (RAMICS), coorganiser, 14 November 2021, Luminy
Recent
papers 
•
A duality theoretic view on limits of finite structures, with Tomas Jakl and Luca Reggio.
•
A note on powers of Boolean spaces with internal semigroups, with Célia
Borlido.
•
Difference hierarchies and duality with an application to formal
languages, with Célia Borlido, Andreas
Krebs, and Howard Straubing.
• Canonical extensions  an algebraic
approach to Stone duality. Algebra Universalis
79 (3)
2018: 63
•
An interpolant in predicate Gödel logic, with Matthias Baaz and Sam van Gool (preprint
2018)
• 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. LICS 2017: 112
•
Sheaves
and duality, with Sam van Gool. Journal of Pure and Applied Logic, 222
(8) (2018) 21642180
•
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. ICALP 2016: 112:1112:14
•
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
•
Distributive
envelopes and topological duality for lattices via canonical extensions,
with Sam van Gool. Order 31, Issue
3, (2014), 435461
• 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
Links 
·
DuaLL,
ERC project (20152021)
Students 
(PhD)
Axel Osmond (since 2017; jointly
supervised with PaulAndré Melliès)
Mehdi Zaïdi (since 2017)
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
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
Achim Jung Fest, 8 September 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)
Mathematics Colloquium, University of
Oregon, 15 April 2019
Algebra seminar, University of
Oregon, 17 April 2019
Lonseth Alumni Lecture, Oregon State
University, 19 April 2019
De la triangulation padique à la théorie des modèles des
algèbres de Heyting, et viceversa, rapporteur, Fall 2019, HDR, Luck Darniere,
Université d’Angers.
Circularity in Syntax and Semantics (CISS 2019), invited speaker, 2022 November 2019
Logic
and Structure in Computer Science and Beyond (LSCSB), participant, December 913 2019, Lorentz
Center@Oort – Leiden

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