Opendata, web and dolomites


Kac-Moody groups and Computer Assistants in Mathematics

Total Cost €


EC-Contrib. €






Project "KaMCAM" data sheet

The following table provides information about the project.


Organization address
address: Edgbaston
postcode: B15 2TT

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 195˙454 €
 EC max contribution 195˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2014
 Funding Scheme MSCA-IF-EF-RI
 Starting year 2015
 Duration (year-month-day) from 2015-08-01   to  2017-07-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 


 Project objective

This fellowship will enable the experienced Researcher Dr Rieuwert Blok - a currently USA-based European Union national - and Dr Corneliu Hoffman - as Host researcher based at the University of Birmingham - to carry out innovative and mutually beneficial research utilising their complementary skill sets. Blok brings extensive research experience in buildings, Lie theory and geometries while Hoffman's background is in group theory, representation theory and number theory. The fellowship aims to create optimal conditions for the Researcher to reintegrate into ERA for the benefit of both the Researcher and the ERA.

The action comprises two distinct, yet interconnected Work Packages. The first one concerns Curtis-Tits groups, a large family of groups recently introduced by the Researcher and Dr Hoffman. This family includes groups of established importance, namely groups of Lie and Kac-Moody type, but in fact contains many new groups of great theoretical significance and practical interest. The action develops methods that open up this promising family for further study. It then determines key properties such as simplicity, and explores and establishes applications in geometric group theory, combinatorics, group presentations, and computer science. The subject area is an innovative blend of group theory, homological algebra, topology, geometry, number theory and computer science.

The second package is an interdisciplinary project between mathematics and computer science, exploring the promise of effectively using the recent developments surrounding proof assistants in teaching and research. It builds forth upon pioneering work in this direction by both researchers at their respective universities.


year authors and title journal last update
List of publications.
2017 Rieuwert J. Blok, Corneliu G. Hoffman
Curtis–Tits groups of simply-laced type
published pages: 1-32, ISSN: 0097-3165, DOI: 10.1016/j.jcta.2016.08.009
Journal of Combinatorial Theory, Series A 146 2019-06-18

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "KAMCAM" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "KAMCAM" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

FOCUSIS (2020)

Focal volume Control Using Structured Illumination Sources

Read More  

MIGPSC (2018)

Shaping the European Migration Policy: the role of the security industry

Read More  

DEMOS (2019)

Disfluencies and Eye MOvements during Speech: what can they reveal about language production?

Read More