Monoidics Ltd
Company profile
DissolvedUnited Kingdom
Documents & history
Available account evidence and business events. This is not a complete filing history or document library.
Accounts to 2012-12-31
IXBRL · 73 source facts · 16 selected values
Not assessedlegacy record
Accounts to 2012-12-31
IXBRL · 73 source facts · 16 selected values
Not assessed
legacy record
- Reporting period
- 2012-01-01 to 2012-12-31
- Extraction status
- Legacy / not assessed
- Numeric facts
- 44
- Documents processed
- Not recorded
- XBRL standards validation
- Not assessed
- Filing-profile validation
- Not assessed
- Parser
- Legacy parser
- Taxonomy
- uk-gaap-full-2009-09-01.xsd
- Currency
- GBP
- Source identifier
- Prod224_9993_06805518_20121231
- Source archive
- Accounts_Monthly_Data-August2013.zip
Registered details
06805518- Status
- Dissolved
- Type
- Unknown
- Incorporated
- —
- Jurisdiction
- —
- Registered office
- —
Classification
0 SIC codesNo SIC classification available.
Capital & company events
Reconstructed equity rounds and matched research funding.
Equity fundraising
0 SH01-derived roundsNo reconstructed allotment rounds.
Research and innovation
4 matched grantsPartial order semantics for concurrent program verificationEPSRC · Research Grant · 2014-02-26 – 2016-02-25 · with 2 other participants£97,999whole project
Partial order semantics for concurrent program verification
EPSRC · Research Grant · 2014-02-26 – 2016-02-25 · with 2 other participants
£97,999
whole project
MathSoMac: the social machine of mathematicsEPSRC · Fellowship · 2014-01-01 – 2014-01-31 · with 13 other participants£1,157,932whole project
MathSoMac: the social machine of mathematics
EPSRC · Fellowship · 2014-01-01 – 2014-01-31 · with 13 other participants
£1,157,932
whole project
Queen Mary University Of LondonleadDepartment of Energy and Climate ChangeD-RisQ LtdIBM (United Kingdom)Institute of Mathematics and its ApplicaJacobs University BremenLemma 1London Mathematical SocietyMicrosoft Research LimitedMonoidics LtdSmith InstituteStanford UniversityTechnology Dev Group BioDundeeWestern University (Ontario)
Boosting Automated Verification Using Cyclic ProofEPSRC · Research Grant · 2013-11-11 – 2017-05-09 · with 3 other participants£550,181whole project
Boosting Automated Verification Using Cyclic Proof
EPSRC · Research Grant · 2013-11-11 – 2017-05-09 · with 3 other participants
£550,181
whole project
Logical Foundations of ResourceEPSRC · Fellowship · 2011-12-01 – 2012-05-31 · with 4 other participants£465,503whole project
Logical Foundations of Resource
EPSRC · Fellowship · 2011-12-01 – 2012-05-31 · with 4 other participants
£465,503
whole project
Queen Mary University Of LondonleadAustralian National UniversityMicrosoft Research LimitedMonoidics LtdUniversity Of Aberdeen