Practical Automated Deduction

Researchers

Grant status

Completed-Pending Reports

Grant start date

07/05/2014

Grant funding

  • 2014: $117,000 from Australian Research Council (ARC)
  • 2015: $117,000 from Australian Research Council (ARC)
  • 2016: $124,000 from Australian Research Council (ARC)

Updated:  22 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers