Conveners
Workflows for data pipelines
- Joerg Schaarschmidt (Karlsruher Institute of Technology)
Formal methods are essential for ensuring the correctness of algorithms
and they are used in many different variants. Algorithms are verified using
temporal logic, separation logic and type-theoretic approaches, for example.
In particular, type-theoretic formalisms, as implemented by the Coq Proof Assistant
offer the possibility of even synthesising software from its specification by...
To address the urgent need to understand changes in greenhouse gas
(GHG) emissions, there has been dramatic growth in GHG measurement
and modelling systems in recent years. However, this growth has led to
substantial challenges; to date, there has been little standardisation of data products, and the interpretation of GHG data requires combined information from numerous models.
OpenGHG is...
Als mit der Veröffentlichung von ChatGPT die Aufmerksamkeit in einem verstärkten Maße auf Large Language Models gelenkt wurde, wusste man zwar, dass sich damit vieles verändern würde, doch die konkreten Auswirkungen waren noch nicht absehbar. Mit unserem Vortrag wollen wir für die Geschichtswissenschaften aufzeigen, was diese neue Technologie ganz konkret für unser Fach leisten kann. Am...
Consider you are a reviewer checking the correctness of a research artifact or a data scientist searching for a data cleaning step or visualization to reuse.
Either way you are confronted with hundreds of lines of code, usually involving various datasets and several different plots, making it difficult to understand the code's purpose and the data flow within the program.
Addressing this...
