At first side event for International Data Week in Brisbane, a session on next steps for WorldFAIR and the Cross-Domain Interoperability Framework.
🚨 The deadline for proposals for sessions and individual presentations is 23:59 AEST (Brisbane timezone) on Tuesday 25 April 2025.
🚨 The deadline for posters is 23:59 AEST on Thursday 15 May 2025.
📑 Submit proposal at https://scidatacon.org/event/9/abstracts/
PS: This is not the same as registering for International Data Week 2025. The IDW conference registration is available at https://idw2025.org/registration/
SciDataCon 2025 is an integral part of International Data Week 2025 taking place in Brisbane, Australia, 13-16 October 2025. SciDataCon is organized by the International Science Council (ISC)'s two data bodies: CODATA (the ISC's Committee on Data) and the World Data System (WDS). SciDataCon is the international conference for scrutiny and discussion of the frontier issues of data in research. The scope of SciDataCon covers policy matters and the place of data in the scientific endeavour and...
Excellent opportunity for an experienced professional seeking a full-time, fixed-term role and eager to work in an innovative international team of experts to advance science and the use of data to address today’s global, multifaceted societal challenges. Location: Paris, France or remote working EU Deadline for applications: 22 November 2024 Desired start date: January 2025 […]
#UNESCO in partnership with #CODATA has launched a consultation to explore how the principles of #OpenScience could guide efficient policies for #datasharing in times of crisis such as pandemics.
Interested experts are invited to provide feedback on the UNESCO factsheet, guidance document and checklist for Open Science-driven data policies for times of crisis until December 16.
The webinar "Impact of FAIR and AI on Standards in Official Statistics, webinar" looks at the changing data landscape, and how it is and will continue to impact the development of standards in the world of official statistics.
📆 26. September
When? Thursday 26 September, from at 14:00 UTC / 16:00 CEST / 10:00 EDT – 15:30 UTC / 17:30 CEST / 11:30 EDT Where? The webinar is open to anyone who is interested, but registration is required. Register here! This webinar looks at the changing data landscape, and how it is and will continue to impact the […]
From CODATA: CODATA and the Australian Research Data Commons (ARDC) are delighted to announce the publication of the machine-actionable CODATA Research Data Management Terminology (RDMT). The Terminology is open to the public and free to use via the ARDC’s Research Vocabularies Australia (RVA). The RDMT enables those working on research data management (RDM) to access […]
3/3 Codata Applications:
This approach is particularly useful for:
- Representing infinite structures (e.g., streams)
- Encoding constraints (via indexed codata)
- Implementing lazy evaluation in strict languages
- Representing thunks or constructs like Lazy, Delay, or Later
2/3 Continuing on Codata:
- Like operations on a Java interface: define how to get values out, caller chooses which operation to call
- You construct an object with computations (methods) to produce values on demand
Key distinction:
- You consume (destruct) data by pattern matching on a value
- You construct codata by providing computations to implement the destructors
1/3 Demystifying Codata (or coinduction):
In strict functional programming, we typically think about:
- Values (data): constructed upfront, directly visible, accessible
- Computations (functions): consume/destruct data, opaque
Codata flips this around:
- We define how to observe/destruct it
- Construction happens on-demand when observed (observed = selecting one of the methods in the object to call)
Donald Hobern
PSDI
Dr Laura Molloy
Hanna Shmagun
Steffi Genderjahn
infoDOCKET
Yuri Not Igor