Back to All Events

C&S: Property Based Types: pbtOmega Forum

  • Code & Supply Community Center 5648 Friendship Avenue Pittsburgh, PA, 15206 United States (map)

Property based types (PBT) is a theory of human reasoning that explains how the human mind is able to create, understand, and reason soundly about mathematical, scientific, and technological concepts while other living things cannot. PBT technology has the potential to improve the reliability of existing automated systems, to multiply the numbers of valid applications, and to magnify human intellectual abilities.

This group is a forum for presentation, discussion, and networking related to any aspect of property based types (PBT) from mathematical foundations, through previously unimagined applications, to social and economic implications. Additional information can be found at