1 Meetup Group matches “Formal methods” near Boston, MA
-
less than 1 mile away in Cambridge, MA344 TheoreticiansPredictive (Response) Modeling uses Logistic Regression effectively. Our goal is to understand why LR works doing our math.… Read moreWho's attending?
63 attendingPurpose? A joint effort to learn, discuss and tackle the fundamental problems and theorems of Theoretical Computer Science, including Program Synthesis, Theory of Computation (Turing 1937), Recursion Theory (Kleene), Incompleteness in Logic (Godel 1931, Rosser 1936), Paradoxes (Liar and Russell's) and any other problem related to the topics discussed on Googe Groups sci.logic If Godel, Turing and paradoxes (and even Rosser and Smullyan) turn you on, if you spend time reading about, thinking a …
Didn't find the Meetup Group for you? You can…
Get on the list
Get an alert email when new Meetup Groups like this start near you.
Sign up and be the first to knowCreate the Meetup Group you've been looking for
You'll get advice, help finding members, and tools to make running a Meetup Group easier.
Start a Meetup GroupSearch again. Here are some tips:
- Try fewer words. (Each word narrows your results.)
- all Meetup Groups near Boston
