Dan Marsden (@StringDiagram) header
Dan Marsden (@StringDiagram) profile picture

Dan Marsden

@StringDiagram

Categories, computer science and logic. @stringdiagram@mathstodon.xyz

stringdiagram.com/
Joined January 2020
  • Tweets258
  • Following178
  • Followers1.1K
19Media
Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)Photo by Dan Marsden (@StringDiagram)
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 29th November 2024. Please share! tinyurl.com/jfp-phd-abstract…
9
34
2,816
The Applied Category Theory Adjoint School 2025 is coming! golem.ph.utexas.edu/category…
11
2
41
2,616
FP fans - 11 new PhD abstracts have just been published in the Journal of Functional Programming, with links to the full dissertations! doi.org/10.1017/S09567968240…
PhD Abstracts | Journal of Functional Programming | Cambridge Core

PhD Abstracts | Journal of Functional Programming | Cambridge Core

PhD Abstracts - Volume 34

cambridge.org
17
98
4,000
Dan Marsden retweeted
Jeremy Gibbons (@jer_gib) profile picture
Jeremy Gibbons@jer_gib25 Sep 2024
St John's College Oxford is currently advertising for CDRF (analogous to a JRF) in CS. This is a great opportunity: basically to be a postdoc on your own project rather than someone else's. sjc.ox.ac.uk/discover/vacanc…
1
2
1
2
833
Picturing Quantum Software is a brand new book covering state of the art methods in quantum compiling, circuit optimisation, classical simulation, and fault-tolerant quantum computing using the language of the ZX-calculus. Get the preprint for free: github.com/zxcalc/book
Image from Aleks Kissinger (@AleksKissinger)
2
34
130
6,614
Interested in learning about compiler calculation? Check out Patrick Bahr's great talk on our paper at #ICFP in Milan this week: tinyurl.com/53uvyjxy. The paper is freely available from: dl.acm.org/doi/10.1145/36746….
1
11
1
58
4,826
I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 at the University of Sheffield, UK. Further details will be announced as soon as they are available. cs.nott.ac.uk/MGS/
Image from Graham Hutton (@haskellhutt)
4
25
2,062
I'm hiring a postdoc to work with me at the University of Kent on programming languages, tools, and systems for climate science in partnership with @Cambridge_ICCS jobs.kent.ac.uk/Vacancy.aspx… Closing date 9th September 2024. Potential topics include:
Job Opportunity at the University of Kent: Research Associate

Job Opportunity at the University of Kent: Research Associate

We seek a talented and motivated Research Associate to join the School of Computing at the University of Kent. If you are committed to excellence in research, this exciting opportunity may be...

jobs.kent.ac.uk
1
13
14
1,980
I just put a new version of my book on a category-theoretical approach to Formal Language Theory onto my homepage. It includes two new chapters on power sets and distributive laws. fi.muni.cz/~blumens/ALT.pdf
4
11
1,157
I have a new blog post comparing exponentials with their fixed point encodings in linear logic on The Proof Theory Blog: prooftheory.blog/2024/06/27/… . Any comments are welcome!
1
1
323
Interested in joining our project on semantics-directed compiler construction? @danghica is advertising a 3-year postdoctoral position in Birmingham, UK. Please share, and pass on to anyone who may be interested in applying! Closing date 11 July 2024. lists.seas.upenn.edu/piperma…
1
11
1
24
2,702
E.g., should the string diagrammatists be reading more Peirce, or should the @symbolica people be reading Ernst Cassirer? Here's the link to attend online: teams.microsoft.com/l/meetup…
2
1
1
8
1,634
Dan Marsden retweeted
ACM SIGLOG (@acmsiglog) profile picture
ACM SIGLOG@acmsiglog6 Jun 2024
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to Thomas Ehrhard and Laurent Regnier for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence.
1
11
1
35
2,693
Dan Marsden retweeted
Marco Paviotti (@m4rk1x) profile picture
Marco Paviotti@m4rk1x31 May 2024
We are still looking for talk proposal for SREPLS 15 / CW. This will be in in Canterbury, UK, on the 18th-19th of July. Participation is free, but you need to register. cw-srepls-24.github.io Functional programming/Category Theory talks highly welcome ;)
6
1
5
2,198
Dan Marsden retweeted
Jeremy Gibbons (@jer_gib) profile picture
Jeremy Gibbons@jer_gib22 May 2024
The proceedings of FLOPS 2024 are free to read and download until end of June 2024. You have to get there via the conference website: conf.researchr.org/home/flop…
8
14
1,491
I just uploaded a new version of my book on monadic second-order logic. It includes a new chapter on the Caucal hierarchy and some minor additions to the old chapters. You can find the current draft at fi.muni.cz/~blumens/MSO.pdf Just 1.5 more chapters more to go.
5
16
936
FP friends -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2024. Please share! tinyurl.com/jfp-phd-abstract…
31
59
6,230
Interested in joining our project on semantics-directed compiler construction? @danghica is advertising a 3-year postdoctoral position in Birmingham, UK. Please share, and pass on to anyone who may be interested in applying! edzz.fa.em3.oraclecloud.com/…
1
15
1
25
3,455
My book is out! worldscientific.com/worldsci…
Image from Paolo Perrone (@PaoloPMath)
22
95
6
627
62,174
Book is on the arXiv now: arxiv.org/abs/2404.07273 Feedback's very welcome!
Combinatorics of higher-categorical diagrams

Combinatorics of higher-categorical diagrams

This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting and expanding results scattered...

arxiv.org
Amar Hadzihasanovic (@amar_hh) profile pictureAmar Hadzihasanovic@amar_hh9 Apr 2024
Finished my book draft! 😊 Hoping to drop this on the arxiv before the end of the week.
Top part of the front page of a book draft. Title: Combinatorics of higher-categorical diagrams Author: Amar Hadzihasanovic - Tallinn University of Technology First part of abstract: This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting, and expanding results scattered across the literature, informed by recent advances and practical experience with higher-dimensional diagram rewriting.

ALT Top part of the front page of a book draft. Title: Combinatorics of higher-categorical diagrams Author: Amar Hadzihasanovic - Tallinn University of Technology First part of abstract: This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting, and expanding results scattered across the literature, informed by recent advances and practical experience with higher-dimensional diagram rewriting.

3
13
1
88
10,190
Load more