—SEC. 05 — Research Groups and Centers
Research Groups and Centers
— SEC. 01
Subcategories
Subcategories
Browse by subcategory.
— SEC. 02
Listings
Listings
All links in this category.
Showing 1–4 of 4 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
North_America
Las Cruces, New Mexico
www.cs.nmsu.edu
Laboratory for Logic,Databases and Advanced Programming.
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