Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop
Event name
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop
Event type
Event for scientific audience
Start date
30-06-2020
End date
01-07-2020
Location
Paris
Country
France
Event format Veranstaltungsformat
Online