Bruce Kapron
@bmkapron.bsky.social
Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
www.cs.uvic.ca/~bmkapron
Reposted by Bruce Kapron
Online Southern Summer #Logic Day
1/14/25 AEDT
Kolaitis: Homomorphism counts & query #algorithms
Goldblatt: FO temporal logic
Nick Smith: What is a formal proof
Mares: Partial & false information
Goranko: Logics for reasoning abt socially interacting agents
sites.google.com/view/aalogic...
#🧮 🧪
1/14/25 AEDT
Kolaitis: Homomorphism counts & query #algorithms
Goldblatt: FO temporal logic
Nick Smith: What is a formal proof
Mares: Partial & false information
Goranko: Logics for reasoning abt socially interacting agents
sites.google.com/view/aalogic...
#🧮 🧪
AAL - World Logic Day 2025
With the purpose of celebrating the UNESCO World Logic Day, the Australasian Association for Logic will host a Southern Summer Logic Day. The event will take place on Zoom (contact Guillermo Badia at...
sites.google.com
December 12, 2024 at 7:07 PM
Online Southern Summer #Logic Day
1/14/25 AEDT
Kolaitis: Homomorphism counts & query #algorithms
Goldblatt: FO temporal logic
Nick Smith: What is a formal proof
Mares: Partial & false information
Goranko: Logics for reasoning abt socially interacting agents
sites.google.com/view/aalogic...
#🧮 🧪
1/14/25 AEDT
Kolaitis: Homomorphism counts & query #algorithms
Goldblatt: FO temporal logic
Nick Smith: What is a formal proof
Mares: Partial & false information
Goranko: Logics for reasoning abt socially interacting agents
sites.google.com/view/aalogic...
#🧮 🧪
Reposted by Bruce Kapron
CMU is hosting the 2025 Progic Conference on combining probability and logic. This year's focus: Theoretical Approaches to Learning and Learnability
Deadline for abstracts is December 15. I cannot derive your probability of getting in, but you should submit anyway :)
www.cmu.edu/progic2025/c...
Deadline for abstracts is December 15. I cannot derive your probability of getting in, but you should submit anyway :)
www.cmu.edu/progic2025/c...
Call for Papers - Progic 2025 - The 12th Workshop on Combining Probability and Logic - Carnegie Mellon University
Summarize your website here; it will help search engines find and prioritize your content.
www.cmu.edu
December 6, 2024 at 8:19 PM
CMU is hosting the 2025 Progic Conference on combining probability and logic. This year's focus: Theoretical Approaches to Learning and Learnability
Deadline for abstracts is December 15. I cannot derive your probability of getting in, but you should submit anyway :)
www.cmu.edu/progic2025/c...
Deadline for abstracts is December 15. I cannot derive your probability of getting in, but you should submit anyway :)
www.cmu.edu/progic2025/c...
Reposted by Bruce Kapron
Join us later today for this talk on monitoring damage to cultural heritage during times of conflict.
Join us Thursday at 10am EST/4pm CET as we speak to the @cornelluniversity.bsky.social team behind @caucasushw.bsky.social . With @godin.bsky.social we'll be unpacking how you might use open source tools to monitor and assess damage to cultural heritage during conflict.
discord.gg/nCrVdaUA?eve...
discord.gg/nCrVdaUA?eve...
December 5, 2024 at 9:25 AM
Join us later today for this talk on monitoring damage to cultural heritage during times of conflict.
Reposted by Bruce Kapron
I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...
Karp: A Language for NP Reductions
docs.racket-lang.org
November 27, 2024 at 4:48 AM
I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...
Reposted by Bruce Kapron
Since the 70s, economics has shifted beyond markets & governments to civil society. SFI Profs Sam Bowles, Wendy Carlin & former UCR student Sahana Subramanyam use experiments & data to study identity, cooperation, & power, showing how non-market relationships shape our world. tinyurl.com/yeyt2j4v
November 25, 2024 at 6:42 PM
Since the 70s, economics has shifted beyond markets & governments to civil society. SFI Profs Sam Bowles, Wendy Carlin & former UCR student Sahana Subramanyam use experiments & data to study identity, cooperation, & power, showing how non-market relationships shape our world. tinyurl.com/yeyt2j4v