|
Universal Structures in Mathematics and Computing
28-29 June 2016 !!please note corrected date!!
categories, logic, universal algebra, relational and graph theoretic foundations for computer science and mathematics
La Trobe University, Melbourne
|
The workshop has been timed to immediately precede the annual conference of the Australasian Association for Logic, which is being held at the same venue from June 30 to July 2.
Invited speakers
Rob Goldblatt (Victoria University of Wellington)
Walter Guttmann (University of Canterbury)
Michael Johnson (Macquarie University) |
Jochen Renz (Australian National University)
Tim Stokes (University of Waikato)
Yoshihiro Mizoguchi (Kyushu University)
|
|
Contact the organisers (Marcel Jackson and Tomasz Kowalski)
Thanks to: La Trobe University's Discipline Research Program in Mathematics and Computing (financial support), John Banks (registration), Lucy Ham (logo artist)
|
|