Mai Gehrke, Institut de Recherche en Informatique Fondamentale
Automates et Applications

NEW! ERC funded project DuaLL to
start September 2015. PhD and postdoc positions will be available. For more information see DuaLL
Submissions
to the Houston Journal of Mathematics
in general algebra and logic are welcome. For submission requirements please
refer to the Information for
Authors.
Upcoming
events 
Logic, Algebra and Truth Degrees 2016, Phalaborwa, South Africa, 2830 June 2016
LICS 2016, New York
City, NEW York, 59 July 2016
Logical Structures in
Computation, Simon’s Institute, UC Berkeley, 17 August – 16 December, 2016
Recent
papers 
• Uniform
Birkhoff, with Michael Pinsker.
• 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), 290−332.
•
A
noncommutative Priestley duality, with Andrej Bauer, Karin CvetkoVah, Sam van Gool, and Ganna Kudryatseva. Topology and its Applications 160 (12) (2013), 1423–1438.
•
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), 9−41.
• Relational
semantics for full linear logic, with Dion Coumans
and Lorijn van Rooijen. Journal of Applied Logic 12 (1), March 2014, 50–66, http://dx.doi.org/10.1016/j.jal.2013.07.005.
Links 
· DuaLL, ERC
project (20152020)
· Frec, ANR project (through 2014)
Students 
(PhD)
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)
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

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