My
main page has moved to the LIAFA
Mai
Gehrke
IMAPP – Institute for
Mathematics, Astrophysics and Particle Physiscs
FNWI – Faculteit der Natuurwetenschappen,
Wiskunde en Informatica
Visiting
address: Huygens building, Room HG03.064
Heyendaalseweg 135, 6525 AJ Nijmegen, NL
Postal
address: P.O. Box 9010, 6500 GL Nijmegen, NL
+31
24 365 3220 (office), +31 24 3652140
(fax)
Algebra
and Logic seminar  Mathematics
Colloquium
Submissions
to the Houston
Journal of Mathematics in general algebra and logic are welcome. For
submission requirements please refer to the Information for Authors.
Onderzoeksschool Logica  New webpages
Upcoming
Events:
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
Recent
papers:

Duality and recognition,
Invited paper for MFCS
2011. To be
published in Lecture Notes in
Computer Science 6907.

Generalised
Kripke semantics for the LambekGrishin
calculus, with Anna Chernilovskaya and Lorijn van Rooijen, submitted to
the Logic Journal of
the IGPL.

Delta_{1}completions of a poset, with Ramon Jansana and
Alessandra Palmigiano, submitted to Order.

Canonical
extension and canonicity via DCPO presentations, with Jacob Vosmaer, Journal of Theoretical Computer Science 412 (25), 27142723, 2011. doi:10.1016/j.tcs.2010.12.032.

A view of
canonical extensions,
with Jacob Vosmaer, in N. Bezhanishvili
and L. Spada (eds) TbiLLC 2009, LNAI 6618, 77100, 2011.

Finitely
generated free Heyting algebras via Birkhoff duality and coalgebra, with Nick Bezhanishvili, to appear in Logical Methods in Computer Science. http://arxiv.org/abs/1102.2828

A topological
approach to recognition, with Serge Grigorieff and
JeanEric Pin, Samson Abramsky et al. (Eds.): Automata, Languages and Programming, 37th
International Colloquium (ICALP 2010), Lecture Notes in Computer Science 6199(2),
Springer 2010,151162.

Canonical extensions for congruential logics with the deduction theorem, with Ramon Jansana and
Alessandra Palmigiano, Annals of Pure and Applied Logic 161 (2010),
15021519.

Distributive
latticestructured ontologies, with Hans Bruun and Dion Coumans, In A. Kurz et al.(Eds.): Algebra and Coalgebra in Computer Science (CALCO 2009), Lecture Notes in
Computer Science 5728 (2009), 267–283.

Stone Duality
and the Recognisable Languages over an Algebra, in Kurz
et al. (Eds.): Algebra
and Coalgebra in Computer Science (CALCO 2009) Lecture Notes in
Computer Science 5728 (2009), 236–250.
Universal Algebra – Spring 2011
Students:
(PhD)
Candida
Palma (dissertation)
Hideo
Nagahashi
Alex
Pogel
(Master)
Lorijn van Rooijen (paper with Anna Cherlinovskaya)
Mirte Dekkers (thesis)
(Bachelor)
Hanne
Kause (thesis)
Ruud van der Weide
(thesis)
Abel
Planting (thesis)
Bram
Westerbaan (thesis)
(Other)
Anna Chernilovskaya
(AiMLÕ08 extended abstract)
Recent
outreach activities:
High
school project on the Sierpinski triangle: description,
pictures
Minicourse for high school students on the Place Value System
and barcodes
Pictures of my
kids.
My inaugural speech on
duality
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