The workshop aims at bringing together researchers and practitioners with interests in logic, algebra, category theory and their applications in computing science. Modern specification languages are based on logic. For any such language there exists a specific logical system underlying the language’s features and constructions. The logic-based approach has great advantages for formal software verification, […]
The AMSI Research & Higher Education program supports Australia’s academic community, fostering the critical links between researchers in universities, government agencies and business.
Stay Up To Date
Subscribe to e-news
Join the Research and Higher Education e-news mailing list here