Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:parliamentary_committee
|
| gptkbp:abbreviation |
gptkb:SIGLOG
|
| gptkbp:country |
gptkb:United_States
|
| gptkbp:focusArea |
Logic and Computation
Logic in Computer Science |
| gptkbp:foundedYear |
2014
|
| gptkbp:fullName |
Association for Computing Machinery Special Interest Group on Logic and Computation
|
| gptkbp:language |
English
|
| gptkbp:officialWebsite |
https://siglog.org/
|
| gptkbp:parentOrganization |
gptkb:Association_for_Computing_Machinery
|
| gptkbp:publishes |
gptkb:SIGLOG_News
|
| gptkbp:sponsorsConference |
ACM-IEEE Symposium on Logic in Computer Science (LICS)
|
| gptkbp:bfsParent |
gptkb:Alonzo_Church_Award
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
ACM SIGLOG
|