SIGLOG

URI: https://gptkb.org/entity/SIGLOG
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:advocacy_group
gptkbp:abbreviation gptkb:SIGLOG
gptkbp:affiliation gptkb:ACM
gptkbp:country gptkb:United_States
gptkbp:focus gptkb:theoretical_computer_science
logic in computer science
computational logic
gptkbp:fullName gptkb:ACM_Special_Interest_Group_on_Logic_and_Computation
gptkbp:parentOrganization gptkb:Association_for_Computing_Machinery
gptkbp:publishes gptkb:SIGLOG_News
gptkbp:sponsor gptkb:ACM-IEEE_Symposium_on_Logic_in_Computer_Science
gptkbp:website https://siglog.org/
gptkbp:bfsParent gptkb:ACM_(Association_for_Computing_Machinery)
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label SIGLOG