KaMCAM SIGNED
Kac-Moody groups and Computer Assistants in Mathematics
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0KaMCAM project word cloud
Explore the words cloud of the KaMCAM project. It provides you a very rough idea of what is the project "KaMCAM" about.
Project "KaMCAM" data sheet
The following table provides information about the project.
| Coordinator |
THE UNIVERSITY OF BIRMINGHAM
Organization address contact info |
| Coordinator Country | United Kingdom [UK] |
| Project website | http://spatchcoq.co.uk/spatchcoq/ |
| 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 |
Partnership
Take a look of project's partnership.
| # | ||||
|---|---|---|---|---|
| 1 | THE UNIVERSITY OF BIRMINGHAM | UK (BIRMINGHAM) | coordinator | 195˙454.00 |
Map
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.
Publications
| year | authors and title | journal | last update |
|---|---|---|---|
| 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 (fabio@fabiodisconzi.com) 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.