Skip to content

Share&Code: Interactive Applied-Category-Theory in Julia

Photo of stephan sahm
Hosted By
stephan s.
Share&Code: Interactive Applied-Category-Theory in Julia

Details

EVENT is ONLINE: https://www.wonder.me/r?id=1b0a1d09-39b3-4ebe-9dd0-36efa915218f

Share&Code is always on Mondays - the first normal Monday every second month, 08.November, ...

Interactive Applied-Category-Theory in Julia
▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔
Category theory is the backbone of many advances in programming languages and mighty coding abstractions. Julia's support for applied category theory is exceptionally good, a whole ecosystem called www.algebraicjulia.org.

I am glad to welcome Owen Lynch as our speaker, a main contributor of Catlab.jl, the core of algebraicjulia, and the creator of Semagrams.jl, a visualization toolbox for Applied Category Theory.
He will give a hands-on introduction to the ecosystem. Everything will be beginner friendly and slow-paced.

┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉AGENDA┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉
• 18:30 - 19:10: Owen Lynch (creator of Semagrams.jl): Interactive Applied-Category-Theory in Julia

  • An introduction to ACSets, using Semagrams as a teaching tool.

• 19:10 - 19:50: individual booths with short demo

  • AlgebraicDynamics
  • AlgebraicPetri
  • Conjunctive Queries
  • Semagrams itself (using Semagrams to implement new user interfaces)

• 19:50 - open end: Time for further discussion

┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉┉

The event is going to be online. The link will be made available 15 min before the actual start. Please join 5 min ahead, the session is going to start on-time, 06.09.2021 Monday 18:30.

Looking forward to see you all,
best,
Stephan

Always looking for suggestions
▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔▔
If someone of you has a cool package or blog post or anything she/he really likes - please reach out to me here at Meetup, or at stephan.sahm@gmx.de, I am always in search for suggestions!

Photo of Julia User Group Munich group
Julia User Group Munich
See more events