{"action":"opened","issue":{"url":"https://api.github.com/repos/rchain/bounties/issues/821","repository_url":"https://api.github.com/repos/rchain/bounties","labels_url":"https://api.github.com/repos/rchain/bounties/issues/821/labels{/name}","comments_url":"https://api.github.com/repos/rchain/bounties/issues/821/comments","events_url":"https://api.github.com/repos/rchain/bounties/issues/821/events","html_url":"https://github.com/rchain/bounties/issues/821","id":337873027,"node_id":"MDU6SXNzdWUzMzc4NzMwMjc=","number":821,"title":"Meetup \"Smart Contract Formal Verification\", Europe/Ukraine/Kharkiv, 4 July","user":{"login":"golovach-ivan","id":8914273,"node_id":"MDQ6VXNlcjg5MTQyNzM=","avatar_url":"https://avatars0.githubusercontent.com/u/8914273?v=4","gravatar_id":"","url":"https://api.github.com/users/golovach-ivan","html_url":"https://github.com/golovach-ivan","followers_url":"https://api.github.com/users/golovach-ivan/followers","following_url":"https://api.github.com/users/golovach-ivan/following{/other_user}","gists_url":"https://api.github.com/users/golovach-ivan/gists{/gist_id}","starred_url":"https://api.github.com/users/golovach-ivan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/golovach-ivan/subscriptions","organizations_url":"https://api.github.com/users/golovach-ivan/orgs","repos_url":"https://api.github.com/users/golovach-ivan/repos","events_url":"https://api.github.com/users/golovach-ivan/events{/privacy}","received_events_url":"https://api.github.com/users/golovach-ivan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-03T12:14:28Z","updated_at":"2018-07-03T12:14:28Z","closed_at":null,"author_association":"NONE","body":"Holding tech/math meetup in Europe/Ukraine/Kharkiv, July 4.\r\nTopic: \"Smart Contract formal verification: Process Calculus and Modal Logics\".\r\n\r\n### Event Program\r\n1. Tell about the RChain Coop.\r\n2. Tell about bounty program.\r\n3. Tell about \"Designing Computational Calculi\" course.\r\n\r\n4. Big topic: Chemical Abstract Machine, LTS and CSS.\r\n5. Big topic: Propositional Logic, Predicate Logic and Hennessy-Milner Logic.\r\n\r\n6. Intro into Pi-calculi + Caires/Cardelli logic.\r\n7. Intro into RHO-calculi + Namespace logic.\r\n\r\n### Benefit to RChain\r\n1. Set up local dev/math commulity (<a href=\"https://en.wikipedia.org/wiki/Kharkiv\">Kharkiv, 1.5M population, engineering city</a>, 15k-20k IT people).\r\n2. Involving developers and mathematicians to RChain Coop (#775).\r\n3. Develop a \"meetup in a box\" (#779) slides + practical tasks for Formal Verification meetups/techtalks.\r\n4. Publishing video on <a href=\"https://www.youtube.com/user/KharkovITCourses\">youtube channel for 25.000 developers</a>.\r\n\r\n### Budget and Objective\r\n\r\n#### Involved\r\ngolovach.ivan - 75%\r\nkovmargo - 25%\r\n\r\n#### Expenses\r\nPublicity, Banners, Digital graphics $250\r\nHall renting $150\r\nCamera and associated gadgets renting $80\r\nLogistics $110\r\n\r\n_Estimated Budget of Task:_ **$[1500]**\r\n_Estimated Timeline Required to Complete the Task:_ **[3 days]**\r\n_How will we measure completion?_ \r\n    - meetup video - published on youtube channel\r\n    - slides - published into RChain google.docs"}}
{"actor":{"display_login":"golovach-ivan"}}