|
Mai Gehrke LIAFA, Automates et
Applications
|
Submissions
to the Houston Journal of Mathematics
in general algebra and logic are welcome. For submission requirements please
refer to the Information for
Authors.
|
Recent
papers |
•
Urzyczyn and Loader are Logically Related, with Sylvain
Salvati, Giulio Manzonetto, and Henk Barendregt. Accepted for ICALP 2012.
•
Canonical
extensions, Esakia spaces, and universal models,
Chapter in Leo Esakia
on duality in modal and intuitionistic logics, upcoming
special volume in the series Trends in Logic (Outstanding Contributions
subseries) dedicated to the achievements of Leo Esakia.
•
Relational semantics for
full linear logic, with Dion Coumans and Lorijn van Rooijen. To appear in Journal of Applied Logic.
•
Duality
and recognition. In Murlak and Sankowski (Eds.): Mathematical
Foundations of Computer Science (MFCS 2011). LNCS 6907, 3-18.
•
Generalised Kripke semantics for
the Lambek-Grishin calculus, with Anna Chernilovskaya and Lorijn van Rooijen, to appear in the Logic Journal of the IGPL. doi:10.1093/jigpal/jzr051
•
Delta1-completions
of a poset, with Ramon Jansana
and Alessandra Palmigiano, to appear in Order. http://www.springerlink.com/content/g013350782557284/
•
Canonical
extension and canonicity via DCPO presentations, with Jacob Vosmaer, Journal of
Theoretical Computer Science 412
(25), 2714-2723, 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, 77-100, 2011.
•
Finitely
generated free Heyting algebras via Birkhoff duality and coalgebra,
with Nick Bezhanishvili, Logical
Methods in Computer Science 7(2): (2011).
http://arxiv.org/abs/1102.2828
•
A
topological approach to recognition, with Serge Grigorieff
and Jean-Eric Pin. In Abramsky et al. (Eds.): Automata, Languages and Programming
(ICALP 2010), LNCS 6199(2), 151-162.
•
Canonical
extensions for congruential logics with the deduction
theorem, with Ramon Jansana and Alessandra Palmigiano, Annals of
Pure and Applied Logic 161
(2010), 1502-1519.
|
Links |
· Frec, projet ANR
|
Students |
(PhD)
Candida
Palma (dissertation)
(Master)
Lorijn van Rooijen (paper with Anna Chernilovskaya)
Mirte Dekkers (thesis)
Julie Manisha de Montgomery Nørgaard
|
Upcoming
events |
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, 5-day Dagstuhl seminar, 7-12 October 2012, Dagstuhl
Duality in
Computer Science, 5-day Dagstuhl seminar, 29
July- 2 August 2013, Dagstuhl
|
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
|
|
· Pictures
of my kids
· My
favourite mathematician (by the Wiskundemeisjes)