—SEC. 06 — Europe
Europe
— SEC. 01
Subcategories
Subcategories
Browse by subcategory.
- 011 linksBrowse
— SEC. 02
Listings
Listings
All links in this category.
Showing 1–3 of 3 editor-approved links.
Europe
(France) Paris 7
www.logique.jussieu.fr
Mathematical Logic Team. [Flags are language selectors]
Added May 10, 2026
Europe
ERCIM Working Group on Constraints
contraintes.inria.fr
Background, objectives, members and workshops.
Added May 10, 2026
United_Kingdom
University of Leeds
www.amsta.leeds.ac.uk
Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.
Added May 10, 2026