The Americans .US! | Group for Theoretical and Applied Logic (GTAL) | Activity https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/ Activity feed for the group, Group for Theoretical and Applied Logic (GTAL). Sun, 12 Jul 2026 02:51:57 -0700 https://buddypress.org/?v= en-US 30 hourly 2 2076c81f5db96c7f640bfee2db07a64a America1 posted an update in the group Group for Theoretical and Applied Logic (GTAL): https://theamericans.us/activity/p/98597/ Wed, 19 May 2021 18:08:27 -0700 0 17b06615cb85039d117e30925d2763d2 America1 started the topic Type Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/type-theory/ Tue, 19 Mar 2019 05:00:39 -0700 Areas of Strength:

]]> ca160b2a3b05891a6c519064fa702d86 America1 started the topic Set Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/set-theory/ Tue, 19 Mar 2019 04:59:31 -0700 Areas of Strength:

]]> 3e8c687f06f622286d971ab430e6c384 America1 started the topic Theory of Computing in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/theory-of-computing/ Tue, 19 Mar 2019 04:58:32 -0700 Areas of Strength:

]]> 5171336ffaf01f9fb2c304dacf850d40 America1 started the topic Temporal And Modal Logics in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/temporal-and-modal-logics/ Tue, 19 Mar 2019 04:57:30 -0700 Areas of Strength:

]]> 0ad53dbb4d8a45f0dec88f7cfb9947e9 America1 started the topic Proof Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/proof-theory/ Tue, 19 Mar 2019 04:56:30 -0700 Areas of Strength:

]]> 9326caca8eae36ecebfe2b8ad8a2876a America1 started the topic Model Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/model-theory/ Tue, 19 Mar 2019 04:55:32 -0700 Areas of Strength:

]]> 57c44cc4a1e0052f90c450cd952c6497 America1 started the topic Learning Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/learning-theory/ Tue, 19 Mar 2019 04:54:35 -0700 Areas of Strength:

]]> 11b3b054211aba8f49d8e5d648b5b927 America1 started the topic Lambda Calculus in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/lambda-calculus/ Tue, 19 Mar 2019 04:53:36 -0700 Areas of Strength:

]]> 00354047523ecbf7acd891ca6de9dfe9 America1 started the topic Logic In Linguistics in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/logic-in-linguistics/ Tue, 19 Mar 2019 04:52:36 -0700 Areas of Rhetoric:

]]> daec236f8b0d575a8528d1ffe472c942 America1 started the topic Logics of Programs in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/logics-of-programs/ Tue, 19 Mar 2019 04:50:21 -0700 Areas of Strength:

]]> 58dc88bc7b6a92357dda412fd9b42f7e America1 started the topic Homotopy Type Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/homotopy-type-theory/ Tue, 19 Mar 2019 04:49:17 -0700 Areas of Strength:

]]> 24e5f8ca233e3e29e9c56e9e4bc02337 America1 started the topic Foundations of Programming Languages in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/foundations-of-programming-languages/ Tue, 19 Mar 2019 04:47:07 -0700 Areas of II.I.JI.STRENGTH.II.I.JI. JI. I:

]]> 0768fe0a24d2bc71a89354deb3a313a1 America1 started the topic Foundations of Decision Theory in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/foundations-of-decision-theory/ Tue, 19 Mar 2019 04:45:21 -0700 Areas of Strength:

]]> 2980c75aa64f6fadbf4e3f510359cca2 America1 started the topic Formal Verification in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/formal-verification/ Tue, 19 Mar 2019 04:41:01 -0700 Areas of Strength:

]]> 979d383edf04027017d3882ede7a4f79 America1 started the topic Constructive Mathematics in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/constructive-mathematics/ Tue, 19 Mar 2019 04:33:56 -0700 Areas of Strength:

]]> 0892e616a06e730f2cc7c1ef45d87aba America1 started the topic Category Theory and Categorical Logic in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/category-theory-and-categorical-logic/ Tue, 19 Mar 2019 04:32:16 -0700 Areas of Strength:

]]> 9de145a39cba3d0808c97544b7d916b6 America1 started the topic Automated Theorem Proving in the forum Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/groups/group-for-theoretical-and-applied-logic-gtal/forum/topic/areas-of-strength/ Tue, 19 Mar 2019 04:28:54 -0700 Areas of Strength:

]]> b843329860c001bbd8c7d272abfab923 America1 created the group Group for Theoretical and Applied Logic (GTAL) https://theamericans.us/activity/p/62981/ Tue, 19 Mar 2019 04:25:21 -0700 0