Skip to content
Governance Register
Sign inFind yourself
Find yourselfSign in
Search How it works For organisations For professionals

Edition

United KingdomIrelandUnited States (current)New ZealandCanadaAustraliaScotlandNorthern Ireland
US nonprofit · EIN 050309724 · Storrs, CTiSource and licenceOrganisation record IRS Exempt Organizations Business Master File (EIN 050309724) - NTEE activity code, address.Board and officers IRS Form 990 annual filings, Part VII (directors, trustees, officers, key employees), read year by year to observe time served.Latest return IRS Form 990 series e-file data - 990 for the year to 31 December 2025: assets, liabilities, staff, website, telephone, pay.Finances by year IRS Form 990 e-file data - total revenue and total expenses by tax year.Renewal outlook Computed by Governance Register from the observed filing history and filed revenue. Not a statement that the organisation is recruiting.Deductibility IRS Publication 78 data (code PC), downloaded 18 October 2026.Licence US Federal Government public domain.How we handle data

Association of Symbolic Logic

Donations deductible
Revenue
$657k
year to 31 December 2025
Expenses
$545k
year to 31 December 2025
Total assets
$1.2m
$239k liabilities
Net assets
$965k
assets less liabilities
Directors and trustees
30
2.4 years on average
Staff
0
90 volunteers
Left since last filing
0
no seats appear to have opened
Officers and senior staff
5
named in Part VII
How am I connected?

Association of Symbolic Logic's network

30 people2 organisationsi30 people and 2 organisations on this map.The large node is the subject of this page. Solid lines are what the register itself records (30). Violet dotted lines (2) are likely: the same full name sits on the current board of another organisation in the same register and region. Form 990 filings give names without a person identifier; SEC insider filings carry a CIK. It may be a different person.

The board

30 listediTime on the board is observed from the annual filings: the IRS files no appointment date, so the bar counts years from the first filing the person appears on - a lower bound, not a filed start date. Names are exactly as filed. The IRS publishes no person identifier, so this edition does not yet link a person across organisations in the tables. The network map shows same-name matches as likely links only, never as confirmed.Time served and departures are observed across annual filings. Observed time served is a lower bound - a member may have joined before the first year on record. The organisation reported 30 voting members of its governing body on its latest Form 990 Part VI, which matches the board listed here.
NameRole as filedSinceOn the board
Andrew AranaCouncil Member2024
2 yrs
Byunghan KimCouncil Member2024
2 yrs
Carolin AntosCouncil Member2025
1 yr
Dana BartosovaCouncil Member2024
2 yrs
David R Solomon (also filed as David Solomon)Secretarytreasurer2024
2 yrs
Dilip RaghavanCouncil Member2024
2 yrs
Dima SinapovaCouncil Member2024
2 yrs
Elaine PimentelCouncil Member2024
2 yrs
Graham Leach-KrouseCouncil Member2024
2 yrs
Henry TowsnerCouncil Member2024
2 yrs
James CummingsCouncil Member2024
2 yrs
Jon LitlandCouncil Member2024
2 yrs
Juan AguileraCouncil Member2024
2 yrs
Julia KnightCouncil Member2024
2 yrs
Matthias AschenbrennerVice President2024
2 yrs
Natasha DobrinenPresident2024
2 yrs
Noam GreenbergCouncil Member2024
2 yrs
Paul LarsonCouncil Member2024
2 yrs
Phokion KolaitisCouncil Member2024
2 yrs
QI FengCouncil Member2024
2 yrs
Rehana PatelCouncil Member2024
2 yrs
Richard A ShoreCouncil Member2024
2 yrs
Russell MillerSecretarytreasurer2024
2 yrs
Samson AbramskyCouncil Member2024
2 yrs
Sandra MullerCouncil Member2024
2 yrs
Steve AwodeyCouncil Member2024
2 yrs
SU GAOCouncil Member2024
2 yrs
Wesley HollidayCouncil Member2024
2 yrs
Willem ConradieCouncil Member2024
2 yrs
Xavier CaicedoCouncil Member2024
2 yrs
Under 5 years5 to 6 years6 years or moreShow all 30 →

Officers and senior leadership

5 listediNamed in Part VII as officers, key employees or highest-compensated staff - not board members, shown for completeness.
NameTitle as filedOn the filings
David R SolomonTreasurersince 2020
Julia KnightPresident2020
Natasha DobrinenVice Presidentsince 2022
Phokian KolaitisVice Presidentsince 2020
Russell MillerCompany secretarysince 2020

Pay and hours

year to 31 December 2025iFrom Part VII of the Form 990: compensation reported for each officer, director, trustee, key employee and highest-paid staff member, and the average hours a week they report. Most board members are unpaid; a blank means nothing was reported. Pay from related organisations is shown separately.
NameTitle as filedHours a weekPay from the organisationRelated organisationsOther
Richard A ShoreCouncil Member0.25$41k
David R SolomonSecretarytreasurer10$20k
Russell MillerSecretarytreasurer5$18k
Samson AbramskyCouncil Member0.25$0
Juan AguileraCouncil Member0.25$0
Carolin AntosCouncil Member0.25$0
Andrew AranaCouncil Member0.25$0
Matthias AschenbrennerVice President5$0
Steve AwodeyCouncil Member0.25$0
Dana BartosovaCouncil Member0.25$0
Xavier CaicedoCouncil Member0.25$0
Willem ConradieCouncil Member0.25$0
James CummingsCouncil Member0.25$0
Natasha DobrinenPresident5$0
Qi FengCouncil Member0.25$0
Su GaoCouncil Member0.25$0
Noam GreenbergCouncil Member0.25$0
Wesley HollidayCouncil Member0.25$0
Byunghan KimCouncil Member0.25$0
Julia KnightCouncil Member0.25$0
Phokion KolaitisCouncil Member0.25$0
Paul LarsonCouncil Member0.25$0
Graham Leach-KrouseCouncil Member0.25$0
Jon LitlandCouncil Member0.25$0
Sandra MullerCouncil Member0.25$0
Rehana PatelCouncil Member0.25$0
Elaine PimentelCouncil Member0.25$0
Dilip RaghavanCouncil Member0.25$0
Dima SinapovaCouncil Member0.25$0
Henry TowsnerCouncil Member0.25$0

About

Legal name
Association of Symbolic Logic
EIN
050309724
Address
341 Mansfield Road Ste U-1009, Storrs, CT, 06269-1009
State
Connecticut
Mission
To further education, understanding, and studies in the field of formal & symbolic logic among members and students (as filed on the Form 990)
Activity (NTEE)
U34Z Science and technology research
IRS classification
501(c)03 (tax-exempt under section 501(c)(3) where shown)
Classified purpose
Science & Technology
Size band
6 (IRS master file code)
Formed
1955
Principal officer
David R Solomon (as named on the Form 990)
IRS ruling date
1 March 1955
Status
Code 01 (unconditional exemption)
Form 990 filings on record
2, latest 2025
IRS Publication 78
PC (contributions deductible)

Most connected

Longest observed on the filings

≥2years on the filingsAndrew Arana
≥2years on the filingsByunghan Kim
≥2years on the filingsDana Bartosova
≥2years on the filingsDavid R Solomon

Latest return

year to 31 December 2025iFigures from the newest Form 990 or 990-EZ in the IRS e-file releases of 2025 and 2026, for the year ending 31 December 2025. US dollars, as filed.
Total assets
$1.2m
Total liabilities
$239k
Net assets or fund balances
$965k
Contributions and grants received
$128k
Program service revenue
$485k
Grants and similar paid out
$1k
Employees
0
Volunteers
90

Filed finances

1 yeariTotals as filed on the IRS Form 990 (revenue and expenses), by tax year.
Tax yearTotal revenueTotal expensesSurplus or deficit
2024$552k$541k$11k

As filed on the IRS Form 990. US dollars.