Register for: USMaC2016

Participants in Universal Structures in Mathematics and Computing

Participant Institution Talks
Prof Martin Bunder University of Wollongong The simplest (consistent?) foundation for logic and mathematics?
Prof Brian Davey La Trobe University An abstract definition of a restricted Priestley duality with applications to discriminator varieties
Dr Murray Elder University of Technology, Sydney Pattern languages and solutions to equations in groups
Mr Yoong Kuan Goh University of Technology, Sydney
Prof Rob Goldblatt Victoria University of Wellington Spatial Logic of Tangled Closure and Derivative Operators
Dr Walter Guttmann University of Canterbury Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm
Ms Lucy Ham La Trobe University
Mr Nick Ham University of Tasmania
Ms Eli Hazel La Trobe University
Dr Marcel Jackson La Trobe University Universal Algebra of Constraint Satisfaction Problems
Prof Michael Johnson Macquarie University Universal updates arising among bidirectional transformations
Dr Tomasz Kowalski La Trobe University Network satisfaction problem over McKenzie's algebra
Dr Nick McConnell Defence Science and Technology Organisation
Assoc Prof Yoshihiro Mizoguchi Kyushu University Theory of Relational Calculus and its formalization
Mr Murray Neuzerling La Trobe University
Dr William Erik Pettersson RMIT University
Dr Jane Pitkethly La Trobe University
Mx Ainsley Pullen The University of Queensland
Prof Jochen Renz Australian National University Relational Approaches to Physical Reasoning
Dr Tim Stokes University of Waikato Constellations: Arrows Without Targets.
Mr Christopher Taylor La Trobe University Heyting algebras with operators
Dr Shunichi Yokoyama Kyushu University Explicit methods to compute number-theoretic objects