NEW! I am in
the process of moving my webpage to Nice – please be patient with me. I am
still an affiliated member of IRIF and my new webpage can be found there
|
Mai Gehrke, affiliated
member 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 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 |
37th
Linz Seminar on Fuzzy Set Theory: Enriched category theory and related topics,
Linz Austria, February 7-10, 2017
Mathematics Colloquium, University College Cork, February 16, 2017
Topology, Algebra, and
Categories in Logic 2017, Prague, June 26-30, 2017
Logic Colloquium ’17,
Stockholm, August 14-20, 2017
AiML 2018,
Bern, Switzerland, 27--31 August 2018
|
Recent
papers |
• Duality in
Computer Science, Proceedings of the 31st Annual ACM/IEEE Symposium on
Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016}, 12-26.
• 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 MV-algebras and lattice-ordered abelian
groups via duality, with Sam van Gool and
Vincenzo Marra, Journal
of Algebra 417 (2014), 290−332.
•
A
non-commutative Priestley duality, with Andrej Bauer, Karin Cvetko-Vah, 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,
435-461, see http://dx.doi.org/10.1007/s11083-013-9311-7
• 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 (2015-2020)
· Frec, ANR project (through 2014)
|
Students |
(PhD)
Sebastian Schöner (since 2016)
Luca Reggio
(since 2015)
Anna
Carla Russo (cotutelle with Antonio Di Nola,
co-supervised with Olivia Caramello)
Rutger Kuyper (co-director with Peter Stevenhagen,
main adviser Sebastiaan
Terwijn)
Candida
Palma (dissertation)
(Master)
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 Non-Classical Logics III and its
associated workshops, Oxford, 4-12 August. Pictures from the workshops by Juergen Koslowski: group, other.
Arbeitstagung Allgemeine Algebra
– Lecture on Canonical extensions, duality theory, and Formal Concept Analysis,
November 2-4, 2007, TU Darmstadt, Germany.
Second Indian Winter
School on Logic – Course on Algebraic Logic, January 14-26, 2008, IIT
Kanpur, India.
LINZ 2008,
Foundations of Lattice-Valued Mathematics with Applications to Algebra and
Topology – Lecture, 12-16 February, 2008, Linz,
Austria.
DIAMANT/EIDMA
Symposium – Lecture, 29-30 May, 2008, Leiden, the
Netherlands.
ManyVal'08,
Applications of topological dualities to measure theory in algebraic
many-valued logic – Lecture, May 19-21, 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
MV-algebras, 6-10 August, 2008, Boulder, Colorado.
Sheaves
in Geometry and Quantum Theory, a three-day workshop on the interplay
between logic, topology/geometry and quantum theory, 3-5 September 2008.
AiML 2008, Advances in Modal Logic, Lecture: Using duality theory to export methods from modal
logic, 9-12 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 7-11 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 25-26 2009.
AAA78,
Arbeitstagung Allgemeine Algebra
78, Advances in topological duality theory, Bern, Switzerland, June 11-14,
2009.
Topology,
Algebra, and Categories in Logics 2009 (TACL), Program Committee,
Amsterdam, NL, July 7-11 2009.
Seventh Panhellenic Logic Symposium (PLS7), Invited talk, Patras, Greece,
July 15-19 2009.
Conference on Algebra and Coalgebra in
Computer Science 2009 (CALCO), Invited talk,
Udine, Italy September 6-10 2009.
8th
International Tbilisi Symposium on Language, Logic, and Computation,
Tutorial on Logic, Tbilisi, Georgia, September 21-25, 2009.
Dagstuhl Seminar, Coalgebraic
Logics, Schloss Dagstuhl,
Germany, December 6-9, 2009.
MLNL 2010, 27-28 May
2010, Utrecht
DIAMANT/EIDMA
Symposium Spring 2010, 27-28 May 2010, Nunspeet
Séminaire Complexité, Logique
et Informatique, Groupe de Logique, 1 june, Paris
Séminaire de l’institut Gaspard-Monge, 22 juin, Marne-la-Vallée
ICALP 2010,
July 5-10, 2010, Bordeaux
Tbilisi
Topology Workshop 2010, June 8-10, 2010, Tbilisi
Logic
Colloquium 2010, July 25-31, Paris
Categorical
information flow in quantum physics and linguistics, 29-31 October 2010, CompLab, Oxford
Logique,
catégories, sémantique,
12-13 November 2010, Bordeaux
DIAMANT/EIDMA
Symposium, 25-26 November 2010, Lunteren
Workshop
on Modal Logic and Stone Duality, 13 December 2010, ILLC, Amsterdam
PhDs in Logic III, 17-18
February 2011, Brussels
Workshop on Universal models,
24 February 2011, Amsterdam
Mathematics
Colloquium, Korteweg-de Vries
Institute, UvA, 20 April 2011, Amsterdam
Mathematical
Logic in the Netherlands 2011 (MLNL11), Rijksuniversiteit
Groningen, Groningen, NL, May 19-20 2011.
European
Women in Mathematics Summer School, 6-10 June 2011, Leiden
Second
International Conference in Order, Algebra and Logics, 6 - 10 June 2011,
Krakow
Topology, Algebra, and Categories
in Logic (TACL 2011), 25-30 July, Marseille
36th
International Symposium on Mathematical Foundations of Computer Science
(MFCS 2011), 22-26 August 2011, Warsaw
Ordered
Groups and Lattices in Algebraic Logic, 20-23 September 2011, Tbilisi
Concept
Lattices and their Applications, 17-21 October 2011, Nancy
ALCOP 2012, 16-18 April
2012, Prague
DIAMANT
Symposium, 31 May-1 June 2012, Nunspeet
FREC meeting, 4-7 June 2012, Bordeaux
Duality theory in algebra,
logic, and computer science, June 13-14 and
August 15-17, 2012, Oxford
Coalgebraic Logics, 7-12 October 2012, Dagstuhl
CUSO
Winter School in Mathematics and Computer Science: Proof and Computation,
27-31 January 2013, Les Diablerets
Journées
Topologie et Informatique/Topology
and Informatics days, 21-22 March 2013, Paris
PhDs in Logic V, 8-10
April 2013, München
ALCOP
2013, April 18-20 2013, Utrecht
A scientific meeting
in honor of Antonino Salibra,
July 1-2 2013, Paris
Duality in
Computer Science, 29 July- 2 August 2013, Dagstuhl
Boolean algebras,
Lattices, Algebraic Logic, Set Theory, and Topology (BLAST 2013), August 5-9
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),
28-30 April 2014
Séminaire "Des Mathématiques",
2 avril, ENS Ulm, Paris
AAA88
Workshop on General Algebra, Warsaw, 19-22 June 2014
TOLO4
International Workshop on Topological Methods in Logic IV, Tbilisi, 23-27 June
2014
AiML 2014 Advances in Modal Logic, Groningen,
August 5-8 2014
SLS2014
Scandinavian Logic Symposium, Tampere, 25-27 August 2014
Domains
XI, 8-10 September 2014, Paris
BEYOND 2014, Florence, 3-5 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 March-Mai 2015
Descriptive Set Theory Seminar, Théorie de Eilenberg-Reiterman
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), 2012-2015
TACL
2015, Ischia, 21-26 June 2015
Duality in
Computer Science, Dagstuhl seminar, 25-30 October
2015
Logic,
Algebra and Truth Degrees 2016, Phalaborwa, South
Africa, 28-30 June 2016
LICS 2016, New York
City, NEW York, 5-9 July 2016
Logic Colloquium,
Berkeley, November 4, 2016
Logical Structures in
Computation, Simon’s Institute, UC Berkeley, 17 August – 16 December, 2016
|
|
· Pictures
of my kids
· My
favourite mathematician (by the Wiskundemeisjes)