Abstracts for USMaC2016
13 abstracts submitted.
Authors  Title  Session  Timetabled  Abstract 

Assoc Yoshihiro Mizoguchi  Theory of Relational Calculus and its formalization  20160629 11:00:00  There are many network structures (relations between ... 

Dr Marcel Jackson  Universal Algebra of Constraint Satisfaction Problems  20160629 15:00:00  This talk will provide a short survey ... 

Dr Murray Elder  Pattern languages and solutions to equations in groups  20160628 14:30:00  I will explain what pattern languages are ... 

Dr Shunichi Yokoyama  Explicit methods to compute numbertheoretic objects  20160628 15:00:00  We survey explicit methods in number theory ... 

Dr Tim Stokes  Constellations: Arrows Without Targets.  20160628 11:00:00  Constellations are partial algebras that are onesided ... 

Dr Tomasz Kowalski  Network satisfaction problem over McKenzie's algebra  20160628 17:00:00  A (general) network satisfaction problem (GENSAT) over ... 

Dr Walter Guttmann  RelationAlgebraic Verification of Prim's Minimum Spanning Tree Algorithm  20160628 12:00:00  Relationalgebraic methods have been used to develop ... 

Mr Christopher Taylor  Heyting algebras with operators  20160628 16:00:00  It is wellknown that congruences on a ... 

Prof Brian Davey and Asha Gair  An abstract definition of a restricted Priestley duality with applications to discriminator varieties  20160628 16:30:00  Anyone who has ever worked with a ... 

Prof Jochen Renz  Relational Approaches to Physical Reasoning  20160629 09:30:00  We study problems faced by AI agents ... 

Prof Martin Bunder  The simplest (consistent?) foundation for logic and mathematics?  20160629 14:30:00  The system has just 3 constants, ... 

Prof Michael Johnson  Universal updates arising among bidirectional transformations  20160628 09:30:00  Bidirectional transformations are a computer science notion ... 

Prof Rob Goldblatt  Spatial Logic of Tangled Closure and Derivative Operators  20160629 12:00:00  The tangled closure of a collection of ... 