International Federation Of Computational Logic
Ifcolog
- Country
- England & Wales
- Charity number
- 1112512
- Status
- Registered
- Registered
- Dec. 13, 2005
- Legal form
- Charitable company
Address
- Address
- BERG KAPROW LEWIS
35 BALLARDS LANE
LONDON
N3 1XW
Contact
- Phone
- 02089229222
- [email protected]
- Website
ifcolog.net
Activities
Advancement of education in the field of Computational Logic, by collection, collation and public dissemination of information, the conduct of seminars, conferences and similar events and the sponsorship of Msc and Phd degrees in Logic at such universities or other educational establishments.
Classification
- How
- Makes Grants To Organisations, Provides Services, Provides Advocacy/advice/information, Sponsors Or Undertakes Research, Acts As An Umbrella Or Resource Body
- What
- Education/training, Economic/community Development/employment
- Who
- Other Defined Groups, The General Public/mankind
Areas of operation
- Region
- Throughout England And Wales
Finances
| Period end | Income | Expenditure |
|---|---|---|
| June 30, 2025 | £13 | £7,229 |
| June 30, 2024 | £15 | £1,500 |
| June 30, 2023 | £2,368 | £925 |
| June 30, 2022 | — | £963 |
| June 30, 2021 | £5,175 | £843 |
Trustees
| Name | Appointed |
|---|---|
| Leon Van Der Torre | March 26, 2019 |
| Professor Dov Gabbay | |
| Professor Joergmans Siekmann |