ACM SIGLOG
E14502
ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
Aliases (1)
Statements (32)
| Predicate | Object |
|---|---|
| instanceOf |
ACM special interest group
→
professional association subgroup → |
| abbreviation |
SIGLOG
→
|
| aim |
to promote the development of logic in computer science
→
to support the logic in computer science community → |
| collaboratesWith |
researchers in logic in computer science
→
|
| country |
United States
→
|
| field |
logic in computer science
→
mathematical logic → theoretical computer science → |
| focusesOn |
activities in logic in computer science
→
research in logic in computer science → |
| fullName |
ACM Special Interest Group on Logic
→
|
| hasParentAcronym |
ACM
→
|
| language |
English
→
|
| membershipType |
individual members
→
professional members → student members → |
| organizationType |
learned society subgroup
→
|
| parentOrganization |
Association for Computing Machinery
→
|
| publishes |
newsletters on logic in computer science
→
|
| scope |
international
→
|
| sponsor |
conferences in logic in computer science
→
schools and tutorials in logic in computer science → workshops in logic in computer science → |
| topic |
automated reasoning
→
computational logic → formal methods → model checking → program verification → proof theory in computer science → |
| website |
https://siglog.org/
→
|
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
SIG
→
|
associatedWith |
|
ACM SIGLOG
("ACM Special Interest Group on Logic")
→
|
fullName |