{"action":"created","issue":{"url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/10","labels_url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/10/labels{/name}","comments_url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/10/comments","events_url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/10/events","html_url":"https://github.com/OpenDreamKit/OpenDreamKit/issues/10","id":104903733,"number":10,"title":"WP6 Workshop on Type/Module Systems","user":{"login":"kohlhase","id":4037538,"avatar_url":"https://avatars.githubusercontent.com/u/4037538?v=3","gravatar_id":"","url":"https://api.github.com/users/kohlhase","html_url":"https://github.com/kohlhase","followers_url":"https://api.github.com/users/kohlhase/followers","following_url":"https://api.github.com/users/kohlhase/following{/other_user}","gists_url":"https://api.github.com/users/kohlhase/gists{/gist_id}","starred_url":"https://api.github.com/users/kohlhase/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kohlhase/subscriptions","organizations_url":"https://api.github.com/users/kohlhase/orgs","repos_url":"https://api.github.com/users/kohlhase/repos","events_url":"https://api.github.com/users/kohlhase/events{/privacy}","received_events_url":"https://api.github.com/users/kohlhase/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"kohlhase","id":4037538,"avatar_url":"https://avatars.githubusercontent.com/u/4037538?v=3","gravatar_id":"","url":"https://api.github.com/users/kohlhase","html_url":"https://github.com/kohlhase","followers_url":"https://api.github.com/users/kohlhase/followers","following_url":"https://api.github.com/users/kohlhase/following{/other_user}","gists_url":"https://api.github.com/users/kohlhase/gists{/gist_id}","starred_url":"https://api.github.com/users/kohlhase/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kohlhase/subscriptions","organizations_url":"https://api.github.com/users/kohlhase/orgs","repos_url":"https://api.github.com/users/kohlhase/repos","events_url":"https://api.github.com/users/kohlhase/events{/privacy}","received_events_url":"https://api.github.com/users/kohlhase/received_events","type":"User","site_admin":false},"milestone":null,"comments":2,"created_at":"2015-09-04T14:42:57Z","updated_at":"2015-09-11T09:23:31Z","closed_at":null,"body":"On the kickoff meeting, we discovered that there is a strong interest in looking at type/module systems of the systems and data bases and how they relate to the OMDoc/MMT Module systems. The vision is that we can combine the the computational semantics from the systems with the deductive semantics in a fine-grained mode.\r\n\r\nThe workshop is intended to give a forum for looking at the dbs and type systems in detail and possibly start on writing some exporter code. Intended Participants are system/db specialists and students/new hires.\r\n\r\nWe identified the second half of January as a plausible time frame for the workshop. JacobsUni has offered to organize it, but other nominations for venue are also welcome.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/comments/139497973","html_url":"https://github.com/OpenDreamKit/OpenDreamKit/issues/10#issuecomment-139497973","issue_url":"https://api.github.com/repos/OpenDreamKit/OpenDreamKit/issues/10","id":139497973,"user":{"login":"alex-konovalov","id":5751387,"avatar_url":"https://avatars.githubusercontent.com/u/5751387?v=3","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"created_at":"2015-09-11T09:23:31Z","updated_at":"2015-09-11T09:23:31Z","body":"@kohlhase We have a suggestion for St Andrews as an alternative venue for this workshop. We are currently considering an opportunity to run the 1st Joint GAP-SageMath days in St Andrews from Monday January 18th till Friday January 22nd. In this case, we could run the WP6 workshop immediately prior of after that, assuming that some project partners would be interested to participate in both events.\r\n "}}