{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ATSNL2UUG42D4F2MRNLHVRSRV4","short_pith_number":"pith:ATSNL2UU","canonical_record":{"source":{"id":"1711.10224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-28T11:05:51Z","cross_cats_sorted":["cs.FL","cs.SE"],"title_canon_sha256":"f1f7070e5a7a3a09dbee7d248641a5931b8991a9de480929e6a5bb92615e5188","abstract_canon_sha256":"50d5dc1d6a71356ab65eb2dec996de00fdfbb5a5f9a6529cab1861e0dad03044"},"schema_version":"1.0"},"canonical_sha256":"04e4d5ea9437343e174c8b567ac651af1d6f6f965f6bef16f9618685bf6c2979","source":{"kind":"arxiv","id":"1711.10224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.10224","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"arxiv_version","alias_value":"1711.10224v1","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.10224","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"pith_short_12","alias_value":"ATSNL2UUG42D","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"ATSNL2UUG42D4F2M","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"ATSNL2UU","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ATSNL2UUG42D4F2MRNLHVRSRV4","target":"record","payload":{"canonical_record":{"source":{"id":"1711.10224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-28T11:05:51Z","cross_cats_sorted":["cs.FL","cs.SE"],"title_canon_sha256":"f1f7070e5a7a3a09dbee7d248641a5931b8991a9de480929e6a5bb92615e5188","abstract_canon_sha256":"50d5dc1d6a71356ab65eb2dec996de00fdfbb5a5f9a6529cab1861e0dad03044"},"schema_version":"1.0"},"canonical_sha256":"04e4d5ea9437343e174c8b567ac651af1d6f6f965f6bef16f9618685bf6c2979","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:22.880629Z","signature_b64":"GvV5k18ZbM+ucIy70ke94IukmwCZK1gSDJyW0EURXOV/gcfsLYwhz1a3GLrx+xnn04xK28o7NHJUMKbALrepBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04e4d5ea9437343e174c8b567ac651af1d6f6f965f6bef16f9618685bf6c2979","last_reissued_at":"2026-05-18T00:29:22.879960Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:22.879960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.10224","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:29:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Cy+TOAjrWJ3v3o9H3kjqxTG6kIFRFA2rE+G2rQaR8HjdNkrCHMhka8U+xowPRU/Blm48lH2pxMtcalvtI5X8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:36:19.450948Z"},"content_sha256":"3336f62431d38a2b64952c9e0496b867fd1cee57a5e1853d7b75543c93cceeee","schema_version":"1.0","event_id":"sha256:3336f62431d38a2b64952c9e0496b867fd1cee57a5e1853d7b75543c93cceeee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ATSNL2UUG42D4F2MRNLHVRSRV4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Sixth Workshop on Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Dana Fisman (Ben-Gurion University), Swen Jacobs (Saarland University)","submitted_at":"2017-11-28T11:05:51Z","abstract_excerpt":"The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation. Application domains include software, hardware, embedded, and cyber-physical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.10224","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:29:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mUR632iV90MXDHgYru5NhCXSIqo0vLQp29LdEv46RAh98J4XSaUUlRwkvGyL2eI5X0CZSrQZZBzNo9PguxmKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:36:19.451615Z"},"content_sha256":"0ef4ac8ee7d9d9c5e2b8f9324971abe3db6a477ad9b693ce4cb82fadc51e4063","schema_version":"1.0","event_id":"sha256:0ef4ac8ee7d9d9c5e2b8f9324971abe3db6a477ad9b693ce4cb82fadc51e4063"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/bundle.json","state_url":"https://pith.science/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T23:36:19Z","links":{"resolver":"https://pith.science/pith/ATSNL2UUG42D4F2MRNLHVRSRV4","bundle":"https://pith.science/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/bundle.json","state":"https://pith.science/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ATSNL2UUG42D4F2MRNLHVRSRV4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ATSNL2UUG42D4F2MRNLHVRSRV4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"50d5dc1d6a71356ab65eb2dec996de00fdfbb5a5f9a6529cab1861e0dad03044","cross_cats_sorted":["cs.FL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-28T11:05:51Z","title_canon_sha256":"f1f7070e5a7a3a09dbee7d248641a5931b8991a9de480929e6a5bb92615e5188"},"schema_version":"1.0","source":{"id":"1711.10224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.10224","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"arxiv_version","alias_value":"1711.10224v1","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.10224","created_at":"2026-05-18T00:29:22Z"},{"alias_kind":"pith_short_12","alias_value":"ATSNL2UUG42D","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"ATSNL2UUG42D4F2M","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"ATSNL2UU","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:0ef4ac8ee7d9d9c5e2b8f9324971abe3db6a477ad9b693ce4cb82fadc51e4063","target":"graph","created_at":"2026-05-18T00:29:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation. Application domains include software, hardware, embedded, and cyber-physical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating s","authors_text":"Dana Fisman (Ben-Gurion University), Swen Jacobs (Saarland University)","cross_cats":["cs.FL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-28T11:05:51Z","title":"Proceedings Sixth Workshop on Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.10224","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3336f62431d38a2b64952c9e0496b867fd1cee57a5e1853d7b75543c93cceeee","target":"record","created_at":"2026-05-18T00:29:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"50d5dc1d6a71356ab65eb2dec996de00fdfbb5a5f9a6529cab1861e0dad03044","cross_cats_sorted":["cs.FL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-28T11:05:51Z","title_canon_sha256":"f1f7070e5a7a3a09dbee7d248641a5931b8991a9de480929e6a5bb92615e5188"},"schema_version":"1.0","source":{"id":"1711.10224","kind":"arxiv","version":1}},"canonical_sha256":"04e4d5ea9437343e174c8b567ac651af1d6f6f965f6bef16f9618685bf6c2979","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04e4d5ea9437343e174c8b567ac651af1d6f6f965f6bef16f9618685bf6c2979","first_computed_at":"2026-05-18T00:29:22.879960Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:22.879960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GvV5k18ZbM+ucIy70ke94IukmwCZK1gSDJyW0EURXOV/gcfsLYwhz1a3GLrx+xnn04xK28o7NHJUMKbALrepBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:22.880629Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.10224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3336f62431d38a2b64952c9e0496b867fd1cee57a5e1853d7b75543c93cceeee","sha256:0ef4ac8ee7d9d9c5e2b8f9324971abe3db6a477ad9b693ce4cb82fadc51e4063"],"state_sha256":"7067398c48652a0b6ed3c00bb1b2f31920286ae3a42790f4741461c881db7e32"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x2eJ1SvGFyYm5RcFJVaNkD7KyLeAKxqZQtR3LNt0GDWFjIXXDpx2EvPZTronm0/+Vjakq6BSjpneJC8P9PdJAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T23:36:19.455407Z","bundle_sha256":"d38144b4a159b96d003fe2ee73d00356af50fc6f36e0be310632886ad9f95a89"}}