Participants
Institutions
- Australian National University
- Knowledge Representation and Reasoning program, NICTA Kensington Laboratory
- Logic and Computation Program, NICTA Canberra Laboratory
- Monash University
- Network Information Processing program, NICTA Victoria Laboratory
- University of Melbourne
- University of New South Wales
Individuals
Professor Peter Stuckey (Project Leader)
Professor Michael Maher
Professor Kim Marriott
Professor John Slaney
Professor Mark Wallace
Professor Toby Walsh
A/Prof Maria Garcia de la Banda
A/Prof Peter Baumgartner
Dr Anbulagan
Dr Sebastian Brand
Dr Gregory Duck
Dr Jinbo Huang
Dr George Katsirelos
Dr Phil Kilby
Dr Nicholas Nethercote
Dr Jakob Puchinger
Dr Andrew Slater
Dr Zoltan Somogyi
Dr Andrew Verden
Ms Viorica Botea
Mr Mark Brown
Mr Julien Fischer
Mr Paul Tyler