Jonathan Hellwig
Events1
Conferences1
Talks1
Years active2024
Appearances by year
- JuliaCon
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Jul 9, 2024 | JuliaCon 2024 | JuliaCon | speaker | Automated Theorem Proving with dL in JuliaIn this talk, we introduce a Julia package that transforms hybrid system models into a formal language for theorem proving, providing a new tool to analyze your…Show lessIn this talk, we introduce a Julia package that transforms hybrid system models into a formal language for theorem proving, providing a new tool to analyze your model. | Slides |
Frequent co-speakers
No one else spoke at two or more of the same events.
Speakers with the same name are merged into one entry, so this page may combine more than one person. Affiliations are shown as each conference listed them.