Register for: USMaC2016

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