FroCoS
E900630
FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
All labels observed (2)
| Label | Occurrences |
|---|---|
| FroCoS canonical | 1 |
| International Symposium on Frontiers of Combining Systems | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11035693 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: FroCoS Context triple: [IJCAR, typicalEventsUnified, FroCoS]
-
A.
European Association for Theoretical Computer Science
The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
-
B.
Proceedings of the IEEE Symposium on Logic in Computer Science
Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
Conference on Automated Deduction
The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
-
E.
FOCS
FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: FroCoS Target entity description: FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
-
A.
European Association for Theoretical Computer Science
The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
-
B.
Proceedings of the IEEE Symposium on Logic in Computer Science
Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
Conference on Automated Deduction
The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
-
E.
FOCS
FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
international conference ⓘ |
| audience |
graduate students
ⓘ
researchers in automated reasoning ⓘ researchers in formal verification ⓘ researchers in logic ⓘ |
| community |
automated reasoning community
ⓘ
logic and computation community ⓘ |
| field |
automated reasoning
ⓘ
formal methods ⓘ logic in computer science ⓘ |
| focus |
combination of automated reasoning systems
ⓘ
combination of logics ⓘ integration of logics ⓘ interoperability of reasoning tools ⓘ |
| fullName |
International Symposium on Frontiers of Combining Systems
ⓘ
linked to:
FroCoS
|
| goal |
to advance methods for combining reasoning systems
ⓘ
to foster collaboration between developers of reasoning tools ⓘ to provide a forum for presenting new results on combinations of logics ⓘ |
| hasActivity |
contributed talks
ⓘ
invited lectures ⓘ panel discussions ⓘ tool demonstrations ⓘ |
| hasEventType | symposium ⓘ |
| hasFormat | single-track conference ⓘ |
| hasProceedings | peer-reviewed conference proceedings ⓘ |
| hasScope |
applications of integrated reasoning in software and hardware verification
ⓘ
foundations of combinations of logics ⓘ implementation of combined reasoning tools ⓘ theory and practice of combining systems ⓘ |
| hasSubmissionType |
regular papers
ⓘ
short papers ⓘ system descriptions ⓘ |
| language | English ⓘ |
| publishes |
invited talks
ⓘ
research papers ⓘ system descriptions ⓘ tool papers ⓘ |
| reviewProcess | peer review ⓘ |
| topic |
applications of combined reasoning systems
ⓘ
constraint solving ⓘ decision procedures ⓘ knowledge representation ⓘ model checking ⓘ non-classical logics ⓘ proof assistants ⓘ satisfiability modulo theories ⓘ theorem proving ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: FroCoS Description of subject: FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.