# Abstracts for USMaC2016

13 abstracts submitted.

Authors | Title | Session | Keynote | Timetabled | Abstract | Accepted |
---|---|---|---|---|---|---|

Assoc Yoshihiro Mizoguchi | Theory of Relational Calculus and its formalization | ✗ | 2016-06-29 11:00:00 | There are many network structures (relations between ... |
Accepted | |

Dr Marcel Jackson | Universal Algebra of Constraint Satisfaction Problems | ✗ | 2016-06-29 15:00:00 | This talk will provide a short survey ... |
Accepted | |

Dr Murray Elder | Pattern languages and solutions to equations in groups | ✗ | 2016-06-28 14:30:00 | I will explain what pattern languages are ... |
Accepted | |

Dr Shunichi Yokoyama | Explicit methods to compute number-theoretic objects | ✗ | 2016-06-28 15:00:00 | We survey explicit methods in number theory ... |
Accepted | |

Dr Tim Stokes | Constellations: Arrows Without Targets. | ✗ | 2016-06-28 11:00:00 | Constellations are partial algebras that are one-sided ... |
Accepted | |

Dr Tomasz Kowalski | Network satisfaction problem over McKenzie's algebra | ✗ | 2016-06-28 17:00:00 | A (general) network satisfaction problem (GEN-SAT) over ... |
Accepted | |

Dr Walter Guttmann | Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm | ✗ | 2016-06-28 12:00:00 | Relation-algebraic methods have been used to develop ... |
Accepted | |

Mr Christopher Taylor | Heyting algebras with operators | ✗ | 2016-06-28 16:00:00 | It is well-known that congruences on a ... |
Accepted | |

Prof Brian Davey and Asha Gair | An abstract definition of a restricted Priestley duality with applications to discriminator varieties | ✗ | 2016-06-28 16:30:00 | Anyone who has ever worked with a ... |
Accepted | |

Prof Jochen Renz | Relational Approaches to Physical Reasoning | ✗ | 2016-06-29 09:30:00 | We study problems faced by AI agents ... |
Accepted | |

Prof Martin Bunder | The simplest (consistent?) foundation for logic and mathematics? | ✗ | 2016-06-29 14:30:00 | The system has just 3 constants, ... |
Accepted | |

Prof Michael Johnson | Universal updates arising among bidirectional transformations | ✗ | 2016-06-28 09:30:00 | Bidirectional transformations are a computer science notion ... |
Accepted | |

Prof Rob Goldblatt | Spatial Logic of Tangled Closure and Derivative Operators | ✗ | 2016-06-29 12:00:00 | The tangled closure of a collection of ... |
Accepted |